A new approach for studying fuzzy functional equations
Abstract. We deï¬ne the concept of a âlargestâ and a âsmallestâ solution to an underlying equation and then show that a fuzzy solution of the corresponding fuzzy equation is bounded above and below by these solutions, respectively. 2000 Mathematics Subject Classiï¬cation. 03E72, 39A99. 1. Introduction. The study of functional equations with its wide range of applications is an interesting subject that dates back to the work of Abel. Mathematical models of numerous applied problems result in either ordinary diï¬erential, partial diï¬erential, diï¬erence or algebraic equations. It is standard to assume that the sought variable in these equations is deterministic and can be obtained using numerical or analytical methods. However, in modeling applied problems only partial information may be known or there may be a degree of uncertainty in the parameters used in the model or some measurements may be imprecise. Because of such features, we are tempted to consider the study of functional equations in the fuzzy setting. Indeed, in [1, 2, 3, 4, 5] the authors did initiate this study. The methods presented for solving the fuzzy functional equations depended on having a solution to the classical equations for end points of Î±-cuts. In this paper, we present a rather diï¬erent approach that will provide an upper and a lower bound of the solution. In Section 2, we will discuss the basic background needed for the manuscript and in Section 3, we will present the main results of the paper along with examples. 2. Preliminaries. We present, for the sake of completeness, some background material needed in the sequel. For a detailed study, we refer the reader to [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]. Let X be any nonempty set. The set A is a fuzzy set on X if A is a function from X into the interval [0,1]. The value A(x) is sometimes referred to as the membership of x in A. The set A is said to be convex if every t â [0, 1], A(tx1 + (1 â t)x2 ) â¥ min{A(x1 ), A(x2 )}. A is said to be normalized if there exists an x such that A(x) = 1. By the Î±-level of a fuzzy subset A, denoted by [A]Î± , we mean [A]Î± = {x â X | A(x) â¥ Î±}. (2.1) It is well known that the Î±-levels of a fuzzy subset A determine A. Also, it can be easily veriï¬ed that for any fuzzy subset A of X: (C1) A is convex if and only if [A]Î± is convex and (C2) if A is continuous, then A is convex if and only if [A]Î± is a closed interval. In this setting by a fuzzy number N, we mean a fuzzy subset of X, the set of positive reals, which is continuous, convex, normalized and vanishing at inï¬nity. Deï¬ne a function g : X â X. The extension principle, in one dimension (see [12, 13, 14, 15]) states that g can be extended to fuzzy subsets of X as follows: g(A)(y) = sup A y1 , (2.2) where the sup is taken over all y1 such that g(y1 ) = y and A is a fuzzy subset of X. Finally, we will need a basic result of Nguyen [10] which addresses the following question. When does the relation g(A) Î± = g [A]Î± (2.3) hold for any continuous function g and for any fuzzy subset A? It was shown in [10] that (2.3) holds if and only if the sup in (2.2) is attained. That is, there exists x â such that g(A)(z) = A x â , where z = g(x â ). 3. Main results. Before we discuss the bounds on the fuzzy solution to a functional equation we need the following lemmas. First, we will deï¬ne the notion of the âlargestâ solution. We consider the equation sup x(t) â§ A(t) = Î», (2.4) (3.1) where A(t) is a given function of t, Î» is a known parameter, 0 â¤ Î» â¤ 1 and x(t) is an unknown function. If there is a solution x(t), 0 â¤ x(t) â¤ 1, then we claim that the âlargest solutionâ to (3.1) is ï£± ï£²1, xâ (t) = ï£³Î», First we show that xâ is a solution. Indeed, xâ (t) â§ A(t) â¤ Î», xâ (t) â§ A(t) â¤ Î», if A(t) â¤ Î», if A(t) > Î». (3.3) A(t) â¤ Î», A(t) > Î». (3.2) Thus supt {xâ (t)â§A(t)} â¤ Î» and 0 â¤ xâ (t) â¤ 1. Moreover, if A(t) exceeds or assumes the value of Î» for some value t, then supt {xâ (t) â§ A(t)} = Î». We now show that xâ is the largest solution. If x(t) is any other solution satisfying (3.1), then for A(t) > Î», x(t) â¤ Î» = xâ (t) and for A(t) â¤ Î», x(t) â¤ 1 = xâ (t). We have, therefore, shown the following lemma. Lemma 3.1. The function xâ is the largest solution to (3.1) among all solutions x, 0 â¤ x(t) â¤ 1, provided A(t) â¥ Î» for some t. Next, we deï¬ne the notion of âsmallestâ solution. To this end, we consider the equation inf x(t) â¨ B(t) = Âµ, (3.4) where B(t) is a given function of t, Âµ is a known parameter, 0 â¤ Âµ â¤ 1 and x(t) is an unknown function. If there is a solution x(t), 0 â¤ x(t) â¤ 1, then we claim that the âsmallest solutionâ to (3.4) is ï£± ï£²0, xâ (t) = ï£³Âµ, B(t) â¥ Âµ, B(t) < Âµ. (3.5) We ï¬rst show that xâ (t) is a solution. Indeed, xâ (t) â¨ B(t) â¥ Âµ, xâ (t) â¨ B(t) â¥ Âµ, if B(t) â¥ Âµ, if B(t) < Âµ. (3.6) Thus inf t {xâ (t) â¨ B(t)} â¥ Âµ and 0 â¤ xâ (t) â¤ 1. Moreover, if B(t) is less than or assumes the value of Âµ for some value t, then inf t {xâ (t) â¨ B(t)} = Âµ. We now show that xâ is the smallest solution. If x(t) is any other solution satisfying (3.4), then for B(t) < Âµ, Âµ = xâ (t) â¤ x(t) and for B(t) â¥ Âµ, 0 = xâ (t) â¤ x(t). Thus we have shown the following lemma. Lemma 3.2. The function xâ is the smallest solution of (3.4) among all solutions x(t), 0 â¤ x(t) â¤ 1, provided B(t) â¤ Âµ for some t. Remark 3.3. The computation of Î» and Âµ for a speciï¬ed choice of A(t) and B(t) is central for determining the bounds on the solution. We now look at the equation xn+1 = f xn (3.7) with given initial condition x0 . We assume x0 is a fuzzy subset of R and we extend f to a fuzzy subsets of R using the extension principle. Then the diï¬erence equation reads xn+1 (t) = f xn (t) = sup xn t1 , (3.8) where the sup is taken over all t1 for which f (t1 ) = t. However, for simplicity of notation we write (3.8) as xn+1 (t) = f xn (t). (3.9) We assume that (1) f : R â R is a one-to-one function. Thus f ân is also a one-to-one function for every n (f â1 denotes the inverse of f ), (2) limnââ f ân (t) is either â
or a singleton for all t. If it is a point, we denote this by f ââ (t). We may deï¬ne the fuzzy solution as xâ (t) = x0 f ââ (t) . (3.10) The motivation for this deï¬nition comes from the extension principle where xn (t) = sup x0 (â¨) (3.11) â¨âf ân (t) and the assumption that f is one-to-one xn (t) = x0 (f ân (t)). Then as n â â, we get the above deï¬nition. The problem we consider is as follows: if we put certain bounds on the initial fuzzy set x0 , what bounds do we have on the fuzzy solution xâ ? Theorem 3.4. Let f : R â R be a one-to-one function such that limnââ f ân (t) = f (t) for all t. Assume there exist functions A(t) and B(t) with values in [0, 1] such that ââ sup x0 f ââ (t) â§ A(t) = Î», inf x0 f ââ (t) â¨ B(t) = Âµ, (3.12) and A(t) â¥ Î» and B(t) â¤ Âµ for some t. Then the largest solution, xâ , and smallest solution, xâ , are respectively the upper and lower bounds of the solution to (3.9) with fuzzy initial condition x0 . Proof. The equation xn+1 = f (xn ) with initial condition x0 has formally the solution xn+1 = f n+1 (x0 ). The fuzzy extension of this is xn+1 (t) = sup â¨âf â(n+1) (t) x0 (â¨). (3.13) Since f â1 is one-to-one and since f ââ (t) = limnââ f â(n+1) (t) exists, we can write the above expression as xn+1 (t) = x0 f â(n+1) (t) or write the solution as xâ (t) = x0 f ââ (t) . Thus sup xâ (t) â§ A(t) = Î», (3.14) (3.15) inf xâ (t) â¨ B(t) = Âµ. (3.16) The proof then follows from Lemmas 3.1 and 3.2. Example 3.5. Consider the standard equation xn+1 = Î±xn (3.17) with speciï¬ed initial condition x0 and known Î±. The solution to this equation is given by ï£± ï£´0, Î± < 1, ï£´ ï£´ ï£² n xâ = lim Î± x0 = x0 , Î± = 1, (3.18) ï£´ nââ ï£´ ï£´ ï£³â, Î± > 1. In this example f (t) = Î±t. We consider each case separately. Case 1. Consider that Î± < 1. In this case ï£± ï£²â, ââ f (t) = ï£³0, t â 0, t = 0. (3.19) Assume that A(t) = Ïa (t), the characteristic function for a given a â R. We will look for the largest (3.20) Î» = sup x0 f ââ (t) â§ A(t) = Ïx0 (0) â§ Ïa (0). If x0 â 0 or a â 0, then Î» = 0. In this case ï£± ï£²1, xâ (t) = ï£³0, t â a, t = a. (3.21) If x0 = a = 0, then Î» = 1 and xâ (t) = 1 for all t. In either case, xâ â¤ xâ . Case 2. Consider Î± = 1. Note that f â1 (t) = t. In this case, ï£± ï£²0, x â a, 0 Î» = sup Ïx0 (t) â§ Ïa (t) = ï£³1, x0 = a. t (3.22) Thus when x0 â a, xâ (t) = 1 and xâ (x0 ) = 1; when x0 = a, xâ (t) = 1 for all t. In either case, xâ â¤ xâ . Case 3. Consider Î± > 1. In this case, xâ = â means that no t is a solution to the given equation. In this case, Î» = sup Ïx0 (0) â§ Ïa (t) = 0, t ï£± ï£²1, x â a, xâ (t) = ï£³0, x = a. Again, in this case xâ â¤ xâ . We now look for the smallest solution. When Î± < 1 and x0 â 0 Âµ = inf Ïx0 (0) â¨ Ïb (t) . x0 â 0, (3.23) (3.24) If x0 â 0 and we pick t â b, Âµ = 0. Thus xâ (t) = 0 for all t. If x0 â 0, we have when Î± = 1 or Î± â 1, Âµ = 0. Thus, xâ (t) = 0 for all t. Hence xâ â¤ xâ . The previous techniques may be applied to solutions where much less information is given on x0 and f . The next example illustrates this situation. Example 3.6. Assume that f is an increasing function on [0, 1] with f > 0 on [0, t â ] and f < 0 on [t â , 1] where t â â [0, 1] is such that f (t â ) = t â . Then f ââ (t) = t â for t â 0, t â 1 and f ââ (0) = 0 and f ââ (1) = 1. Assume that x0 , A, and B are fuzzy subsets of [0, 1]. Then Î» = x0 t â â§ A t â Âµ = x0 t â â¨ x0 (0) â§ A(0) â¨ x0 (1) â§ A(1) , â§ x0 (0) â¨ B(0) â§ x0 (1) â¨ B(1) â¨B t â (3.25) and the previous bounds xâ and xâ are readily computed. In the previous examples f was assumed to be one-to-one function, what happens when f is not one-to-one? In the computation of Î» and Âµ, x0 [f ââ (t)] must be replaced by supâ¨âf â (t) x0 (â¨). The next example illustrated this situation. Example 3.7. Consider the equation xn = 4xnâ1 1 â xnâ1 (3.26) with fuzzy initial condition x0 . In this example f (x) = 4x(1 â x). Assume, for simplicity sake, that x0 , A, and B are all fuzzy subsets of [0, 1]. Then f â (t) = {(1 â â â 1 â t)/2, (1 + 1 â t)/2}. It is easy to see that f ââ (t) = {0, 1/2, 1} for all t. If supt A(t) = 1, then Î» = x0 (0) â¨ x0 Âµ = x0 (0) â¨ x0 1 â¨ x0 (1), 2 1 â¨ x0 (1) â¨ inf B(t) t 2 (3.27) and the bound estimates are readily computed. Note 1. The solution to (3.9) with initial condition x0 may be viewed as an intervalvalued fuzzy set. The bounds previously obtained involve, 0, 1, Î», and Âµ. Can we get more precise estimates? If we consider Î» and Âµ as given by (3.1) and (3.4), we set Î» = poss[x, A], Âµ = nec x, B c , (3.28) where poss[x, A] is the largest intersection of x and A and nec[x, B c ] is the weakest implication not B â x. It therefore makes sense that we could sharpen the bounds if we had a family of known possibilities and known necessities. Again assume f is oneto-one and f ân (t) â f ââ (t) for all t. We deï¬ne âan implication operatorâ on [0, 1] by ï£± ï£²1, aÏb = ï£³b, a â¤ b, a > b. (3.29) We assume that for each y â Y , poss[x0 f ââ , Ay ] is known. We set p(y) = poss x0 f ââ , Ay and let u(x) = inf y {Ay (x)Ïp(y)}. Theorem 3.8. Assume that for every y â Y , there exists xy such that Ay (xy ) > p(y). Then u as deï¬ned above is an upper bound for the solution of (3.30). Proof. Consider poss[x0 f ââ , Ay ] = p(y) for y â Y . By Theorem 3.4, for each ï¬xed y, the largest solution is given by xâ,y (t) = ï£± ï£²1, Ay (t) â¤ p(y), ï£³p(y), A (t) > p(y). y (3.30) (3.31) Therefore, by deï¬nition of the implication operator, Ï, xâ,y (t) = Ay (t)Ïp(y). (3.32) Since this is an upper bound for all y â Y , the sharpest upper bound generated is u(t) = inf xâ,y (t) = inf Ay (t)Ïp(y) . y y (3.33) We now apply a similar approach to establish a lower bound for the solution of the diï¬erence equation (3.30) with fuzzy initial condition x0 . The operator analogous to Ï is deï¬ned as ï£± ï£´b, ï£² ï£´ ï£³0, a < b, a â¥ b. aÎ²b = (3.34) c We assume nec[x0 f ââ , By ] is known for a family of y â Y . We set c nec x0 f ââ , By = N(y), (3.35a) (3.35b) L(t) = sup By (t)Î²N(y) . Theorem 3.9. Assume that for every y â Y , there exists xy such that By (xy ) â¤ N(y). Then L as deï¬ned in (3.35b) is a lower bound of the solution to (3.35a). c Proof. Let nec[x0 f ââ , By ] = N(y). By Theorem 3.8, for each y, the smallest solution is given by xâ,y (t) = ï£± ï£´0, ï£² ï£´ ï£³N(y), By (t) â¥ N(y), By (t) < N(y). (3.36) Thus, by deï¬nition of Î², xâ,y (t) = By (t)Î²N(y). This is a lower bound for all y so the sharpest lower bound generated is L(x) = sup xâ,y (t) = sup By (t)Î²N(y) . (3.37) The previous result can be applied when x0 is not completely determined. This is demonstrated in the next example. Example 3.10. Consider a function f such that we may ï¬nd a partition Pi such that f ââ (Pi ) = ti , 1 â¤ i â¤ l. We also assume that f ân converges to a point for all t which we denote by f ââ (t). Also assume given two fuzzy sets: Ay1 and Ay2 . Then sup x0 ti â§ Ay1 (t) = p1 = p y1 , sup x0 ti â§ Ay2 (t) = p2 = p y2 . (3.38) The left-hand sides of the above two equations are poss[xâ , Ay1 ] and poss[xâ , Ay2 ] where xâ is a solution to (3.38) with initial fuzzy condition. Now for k = 1, 2 Ayk (t)Ïpk = ï£± ï£²1, ï£³p , k Ayk (t) â¤ pk Ayk (t) > pk . (3.39) â â â â So if t â [Ay1 ]p1 â§ [Ay2 ]p2 (p1 > p1 , p2 > p2 ), then xâ (t) â¤ p1 â§ p2 . We note that Ë x0 (ti ) â§ suptâPt Ak (t) can be reinterpreted as follows: let Ak,i be the restriction of Ak Ëk,i ]â§x0 (ti ), where the set Pi is identiï¬ed to Pi , then x0 (ti )â§suptâ Ay (t) = poss[Pi , A i k with its characteristic function. The possibility of the solution and Ak is then given by Ë sup x0 ti â§ poss pi , Ak,i â§ x0 ti 1â¤iâ¤l (3.40) not knowing the precise value of x0 (ti ) but knowing the above expression enables us to assign an upper bound to the solution. A similar example could be constructed for a lower bound. The approach we have taken here is to deï¬ne the initial condition, x0 (t), as a function of t with values in [0, 1]. This indicates the degree to which the number t is the initial condition. The bounds obtained on x0 along with the assumptions on f led to a solution to the fuzzy diï¬erence equation. The novelty of this approach over the one used in [1, 2, 3, 4, 5] is that in this approach we do not assume that the classical equation must have an explicit solution. We rather obtain bounds on the solution. The approach can be applied to a variety of problems. References [1] [2] [3] [4] [5] , On a fuzzy diï¬erence equation, IEEE Transaction on Fuzzy Systems 3 (1995), no. 4, 469â472. E. Deeba, A. de Korvin, and E. L. Koh, A fuzzy diï¬erence equation with an application, J. Diï¬er. Equations Appl. 2 (1996), no. 4, 365â374. MR 99b:39006. Zbl 0882.39002. , On a fuzzy logistic diï¬erence equation, Diï¬erential Equations Dynam. Systems 4 (1996), no. 2, 149â156. MR 99g:39006. Zbl 0873.39002. E. Deeba, A. de Korvin, and S. Xie, Pexider functional equationsâtheir fuzzy analogs, Int. J. Math. Math. Sci. 19 (1996), no. 3, 529â538. MR 97h:39019. Zbl 0852.39006. , Techniques and applications of fuzzy set theory to diï¬erence and functional equations and their utilization in modeling diverse systems, Fuzzy Theory Systems: Techniques and Applications, vol. 1â4, Academic Press, California, 1999, pp. 87â110. CMP 1 737 450. D. Dubois and H. Prade, Operations on fuzzy numbers, Internat. J. Systems Sci. 9 (1978), no. 6, 613â626. MR 58#10464. Zbl 0383.94045. , Fuzzy Sets and Systems. Theory and Applications, Mathematics in Science and Engineering, vol. 144, Academic Press, New York, 1980. MR 82c:03074. Zbl 0444.94049. H. M. Hersch and A. Camarazza, A fuzzy-set approach to modiï¬ers and vagueness in natural languages, J. Exp. Psychol. General 105 (1976), 254â276. O. Kaleva, Fuzzy performance of a coherent system, J. Math. Anal. Appl. 117 (1986), no. 1, 234â246. MR 87g:60074. Zbl 0601.90058. H. T. Nguyen, A note on the extension principle for fuzzy sets, J. Math. Anal. Appl. 64 (1978), no. 2, 369â380. MR 58#243. Zbl 0377.04004. [6] [7] [8] [9] [10] A NEW APPROACH FOR STUDYING FUZZY FUNCTIONAL EQUATIONS [11] [12] [13] [14] [15] [16] G. C. Oden, Integration of fuzzy logical information, Journal of Experimental Psychology: Human Perception and Performance 3 (1977), no. 4, 565â575. L. A. Zadeh, Fuzzy sets, Information and Control 8 (1965), 338â353. MR 36#2509. Zbl 0139.24606. , The concept of a linguistic variable and its application to approximate reasoning. I, Information Sci. 8 (1975), 199â249. MR 52#7225a. Zbl 0397.68071. , The concept of a linguistic variable and its application to approximate reasoning. II, Information Sci. 8 (1975), 301â357. MR 52#7225b. Zbl 0404.68074. , The concept of a linguistic variable and its application to approximate reasoning. III, Information Sci. 9 (1975), no. 1, 43â80. MR 52#7225c. Zbl 0404.68075. H. J. Zimmermann, Results of empirical studies in fuzzy set theory, Applied General Systems Research (G. J. Klir, ed.), Plenum Press, New York, 1978, pp. 303â312. Zbl 0403.94040. Elias Deeba: Department of Computer and Mathematical Sciences, University of Houston-Downtown, One Main Street, Houston, TX 77002, USA E-mail address: deebae@dt.uh.edu Andre de Korvin: Department of Computer and Mathematical Sciences, University of Houston-Downtown, One Main Street, Houston, TX 77002, USA E-mail address: dekorvin@dt.uh.edu
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png
http://www.deepdyve.com/lp/hindawi-publishing-corporation/a-new-approach-for-studying-fuzzy-functional-equations-fJHG9hIHNi

/lp/hindawi-publishing-corporation/a-new-approach-for-studying-fuzzy-functional-equations-fJHG9hIHNi

- With DeepDyve, you can stop worrying about how much articles cost, or if it's too much hassle to order — it's all at your fingertips. Your research is important and deserves the top content.
- Read from thousands of the leading scholarly journals from
*Springer, Elsevier, Nature, IEEE, Wiley-Blackwell*and more. - All the latest content is available, no embargo periods.

- We’ll send you automatic email updates on the keywords and journals you tell us are most important to you.
- There is a lot of content out there, so we help you sift through it and stay organized.

## “Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”

Daniel C.

## “Whoa! It’s like Spotify but for academic articles.”

@Phil_Robichaud

## “I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”

@deepthiw

## “My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”

@JoseServera

Your PayPal account has been charged $**0**.

Your
credit card
has been charged **$0**.

You can now print this article. A purchase receipt has also been sent to your email address.

Read and print from thousands of top scholarly journals.

System error. Please try again!

or

By signing up, you agree to DeepDyve's Terms of Service and Privacy Policy.

Already have an account? Log in