Open Access

Hyers-Ulam stability of a generalized additive set-valued functional equation

Journal of Inequalities and Applications20132013:101

https://doi.org/10.1186/1029-242X-2013-101

Received: 9 November 2012

Accepted: 24 February 2013

Published: 13 March 2013

Abstract

In this paper, we define a generalized additive set-valued functional equation, which is related to the following generalized additive functional equation:

f ( x 1 + + x l ) = ( l 1 ) f ( x 1 + + x l 1 l 1 ) + f ( x l )

for a fixed integer l with l > 1 , and prove the Hyers-Ulam stability of the generalized additive set-valued functional equation.

MSC:39B52, 54C60, 91B44.

Keywords

Hyers-Ulam stabilitygeneralized additive set-valued functional equationclosed and convex setcone

1 Introduction and preliminaries

The theory of set-valued functions has been much related to the control theory and the mathematical economics. After the pioneering papers written by Aumann [1] and Debreu [2], set-valued functions in Banach spaces have been developed in the last decades. We can refer to the papers by Arrow and Debreu [3], McKenzie [4], the monographs by Hindenbrand [5], Aubin and Frankowska [6], Castaing and Valadier [7], Klein and Thompson [8] and the survey by Hess [9].

The stability problem of functional equations originated from a question of Ulam [10] concerning the stability of group homomorphisms. Hyers [11] gave the first affirmative partial answer to the question of Ulam for Banach spaces. Hyers’ theorem was generalized by Aoki [12] for additive mappings and by Th.M. Rassias [13] for linear mappings by considering an unbounded Cauchy difference. A generalization of the Th.M. Rassias theorem was obtained by Găvruta [14] by replacing the unbounded Cauchy difference with a general control function in the spirit of Th.M. Rassias’ approach. The stability problems of several functional equations have been extensively investigated by a number of authors, and there are many interesting results concerning this problem (see [1517]).

Let Y be a Banach space. We define the following:

2 Y : the set of all subsets of Y;

C b ( Y ) : the set of all closed bounded subsets of Y;

C c ( Y ) : the set of all closed convex subsets of Y;

C c b ( Y ) : the set of all closed convex bounded subsets of Y.

On 2 Y we consider the addition and the scalar multiplication as follows:
C + C = { x + x : x C , x C } , λ C = { λ x : x C } ,

where C , C 2 Y and λ R . Further, if C , C C c ( Y ) , then we denote C C = C + C ¯ .

It is easy to check that
λ C + λ C = λ ( C + C ) , ( λ + μ ) C λ C + μ C .

Furthermore, when C is convex, we obtain ( λ + μ ) C = λ C + μ C for all λ , μ R + .

For a given set C 2 Y , the distance function d ( , C ) and the support function s ( , C ) are respectively defined by
For every pair C , C C b ( Y ) , we define the Hausdorff distance between C and C by
h ( C , C ) = inf { λ > 0 : C C + λ B Y , C C + λ B Y } ,

where B Y is the closed unit ball in Y.

The following proposition reveals some properties of the Hausdorff distance.

Proposition 1.1 For every C , C , K , K C c b ( Y ) and λ > 0 , the following properties hold:
  1. (a)

    h ( C C , K K ) h ( C , K ) + h ( C , K ) ;

     
  2. (b)

    h ( λ C , λ K ) = λ h ( C , K ) .

     

Let ( C c b ( Y ) , , h ) be endowed with the Hausdorff distance h. Since Y is a Banach space, ( C c b ( Y ) , , h ) is a complete metric semigroup (see [7]). Debreu [2] proved that ( C c b ( Y ) , , h ) is isometrically embedded in a Banach space as follows.

Lemma 1.2 [2]

Let C ( B Y ) be the Banach space of continuous real-valued functions on B Y endowed with the uniform norm u . Then the mapping j : ( C c b ( Y ) , , h ) C ( B Y ) , given by j ( A ) = s ( , A ) , satisfies the following properties:
  1. (a)

    j ( A B ) = j ( A ) + j ( B ) ;

     
  2. (b)

    j ( λ A ) = λ j ( A ) ;

     
  3. (c)

    h ( A , B ) = j ( A ) j ( B ) u ;

     
  4. (d)

    j ( C c b ( Y ) ) is closed in C ( B Y )

     

for all A , B C c b ( Y ) and all λ 0 .

Let f : Ω ( C c b ( Y ) , h ) be a set-valued function from a complete finite measure space ( Ω , Σ , ν ) into C c b ( Y ) . Then f is Debreu integrable if the composition j f is Bochner integrable (see [18]). In this case, the Debreu integral of f in Ω is the unique element ( D ) Ω f d ν C c b ( Y ) such that j ( ( D ) Ω f d ν ) is the Bochner integral of j f . The set of Debreu integrable functions from Ω to C c b ( Y ) will be denoted by D ( Ω , C c b ( Y ) ) . Furthermore, on D ( Ω , C c b ( Y ) ) , we define ( f + g ) ( ω ) = f ( ω ) g ( ω ) for all f , g D ( Ω , C c b ( Y ) ) . Then we obtain that ( ( Ω , C c b ( Y ) ) , + ) is an abelian semigroup.

Set-valued functional equations have been extensively investigated by a number of authors, and there are many interesting results concerning this problem (see [1927]).

In this paper, we define a generalized additive set-valued functional equation and prove the Hyers-Ulam stability of the generalized additive set-valued functional equation.

Throughout this paper, let X be a real vector space and Y be a Banach space.

2 Stability of a generalized additive set-valued functional equation

Definition 2.1 Let f : X C c b ( Y ) . The generalized additive set-valued functional equation is defined by
f ( x 1 + + x l ) = ( l 1 ) f ( x 1 + + x l 1 l 1 ) f ( x l )
(1)

for all x 1 , , x l X . Every solution of the generalized additive set-valued functional equation is called a generalized additive set-valued mapping.

Note that there are some examples in [28].

Theorem 2.2 Let φ : X l [ 0 , ) be a function such that
φ ˜ ( x 1 , , x l ) : = j = 0 1 l j φ ( l j x 1 , , l j x l ) <
(2)
for all x 1 , , x l X . Suppose that f : X ( C c b ( Y ) , h ) is a mapping satisfying
h ( f ( x 1 + + x l ) , ( l 1 ) f ( x 1 + + x l 1 l 1 ) f ( x l ) ) φ ( x 1 , , x l )
(3)
for all x 1 , , x l X . Then there exists a unique generalized additive set-valued mapping A : X ( C c b ( Y ) , h ) such that
h ( f ( x ) , A ( x ) ) 1 l φ ˜ ( x , , x )
(4)

for all x X .

Proof Let x 1 = = x l = x in (3). Since f ( x ) is convex, we get
h ( f ( l x ) , l f ( x ) ) φ ( x , , x ) ,
(5)
and if we replace x by l n x , n N in (5), then we obtain
h ( f ( l n + 1 x ) , l f ( l n x ) ) φ ( l n x , , l n x )
and
h ( f ( l n + 1 x ) l n + 1 , f ( l n x ) l n ) 1 l n + 1 φ ( l n x , , l n x ) .
So,
h ( f ( l n x ) l n , f ( l m x ) l m ) 1 l j = m n 1 1 l j φ ( l j x , , l j x )
(6)

for all integers n, m with n m . It follows from (2) and (6) that { f ( l n x ) l n } is a Cauchy sequence in ( C c b ( Y ) , h ) .

Let A ( x ) = lim n f ( l n x ) l n for each x X . Then we claim that A is a generalized additive set-valued mapping. Note that
h ( f ( l n ( x 1 + + x l ) ) l n , ( l 1 ) f ( l n ( x 1 + + x l 1 ) l n ( l 1 ) ) f ( l n x l ) l n ) 1 l n φ ( l n x 1 , , l n x l ) .
Since h ( A B , C D ) h ( A , C ) + h ( B , D ) , we have

which tends to zero as n . So, A is a generalized additive set-valued mapping. Letting m = 0 and passing the limit m in (6), we get the inequality (4).

Now, let T : X ( C c b ( Y ) , h ) be another generalized additive set-valued mapping satisfying (1) and (4). So,
h ( A ( x ) , T ( x ) ) = 1 l n h ( A ( l n x ) , T ( l n x ) ) 1 l n h ( A ( l n x ) , f ( l n x ) ) + 1 l n h ( T ( l n x ) , f ( l n x ) ) 2 l n + 1 φ ˜ ( l n x , , l n x ) ,

which tends to zero as n for all x X . So, we can conclude that A ( x ) = T ( x ) for all x X , which proves the uniqueness of A, as desired. □

Corollary 2.3 Let 1 > p > 0 and θ 0 be real numbers, and let X be a real normed space. Suppose that f : X ( C c b ( Y ) , h ) is a mapping satisfying
h ( f ( x 1 + + x l ) , ( l 1 ) f ( x 1 + + x l 1 l 1 ) f ( x l ) ) θ j = 1 l x j p
(7)
for all x 1 , , x l X . Then there exists a unique generalized additive set-valued mapping A : X Y satisfying
h ( f ( x ) , A ( x ) ) l θ l l p x p

for all x X .

Proof

The proof follows from Theorem 2.2 by taking
φ ( x 1 , , x l ) : = θ j = 1 l x j p

for all x 1 , , x l X . □

Theorem 2.4 Let φ : X l [ 0 , ) be a function such that
φ ˜ ( x 1 , , x l ) : = j = 1 l j φ ( x 1 l j , , x l 2 j ) <
for all x 1 , , x l X . Suppose that f : X ( C c b ( Y ) , h ) is a mapping satisfying (3). Then there exists a unique generalized additive set-valued mapping A : X ( C c b ( Y ) , h ) such that
h ( f ( x ) , A ( x ) ) 1 l φ ˜ ( x , , x )

for all x X .

Proof It follows from (5) that
h ( f ( x ) , l f ( x l ) ) φ ( x l , , x l )

for all x X .

The rest of the proof is similar to the proof of Theorem 2.2. □

Corollary 2.5 Let p > 1 and θ 0 be real numbers, and let X be a real normed space. Suppose that f : X ( C c b ( Y ) , h ) is a mapping satisfying (7). Then there exists a unique generalized additive set-valued mapping A : X Y satisfying
h ( f ( x ) , A ( x ) ) l θ l p l x p

for all x X .

Proof

The proof follows from Theorem 2.4 by taking
φ ( x 1 , , x l ) : = θ j = 1 l x j p

for all x 1 , , x l X . □

Declarations

Acknowledgements

SYJ was supported by the 2012 Research Fund of University of Ulsan and had written this paper during visiting the Research Institute of Mathematics, Seoul National University. CP was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2012R1A1A2004299).

Authors’ Affiliations

(1)
Department of Mathematics, University of Ulsan
(2)
Department of Mathematics, Research Institute for Natural Sciences, Hanyang University
(3)
Faculty of Electrical and Electronics Engineering, Ulsan College

References

  1. Aumann RJ: Integrals of set-valued functions. J. Math. Anal. Appl. 1965, 12: 1–12. 10.1016/0022-247X(65)90049-1MathSciNetView ArticleGoogle Scholar
  2. Debreu G: Integration of correspondences. II. Proceedings of Fifth Berkeley Symposium on Mathematical Statistics and Probability 1967, 351–372. part IGoogle Scholar
  3. Arrow KJ, Debreu G: Existence of an equilibrium for a competitive economy. Econometrica 1954, 22: 265–290. 10.2307/1907353MathSciNetView ArticleGoogle Scholar
  4. McKenzie LW: On the existence of general equilibrium for a competitive market. Econometrica 1959, 27: 54–71. 10.2307/1907777MathSciNetView ArticleGoogle Scholar
  5. Hindenbrand W: Core and Equilibria of a Large Economy. Princeton University Press, Princeton; 1974.Google Scholar
  6. Aubin JP, Frankow H: Set-Valued Analysis. Birkhäuser, Boston; 1990.Google Scholar
  7. Castaing C, Valadier M Lect. Notes in Math. 580. In Convex Analysis and Measurable Multifunctions. Springer, Berlin; 1977.View ArticleGoogle Scholar
  8. Klein E, Thompson A: Theory of Correspondence. Wiley, New York; 1984.Google Scholar
  9. Hess C: Set-valued integration and set-valued probability theory: an overview. In Handbook of Measure Theory. North-Holland, Amsterdam; 2002. vols. I, IIGoogle Scholar
  10. Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1940. chapter VI, Science edn.Google Scholar
  11. Hyers DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleGoogle Scholar
  12. Aoki T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2: 64–66. 10.2969/jmsj/00210064View ArticleGoogle Scholar
  13. Rassias TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72: 297–300. 10.1090/S0002-9939-1978-0507327-1View ArticleGoogle Scholar
  14. Gǎvruta P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 1994, 184: 431–436. 10.1006/jmaa.1994.1211MathSciNetView ArticleGoogle Scholar
  15. Aczel J, Dhombres J: Functional Equations in Several Variables. Cambridge University Press, Cambridge; 1989.View ArticleGoogle Scholar
  16. Eshaghi Gordji M, Savadkouhi MB: Stability of a mixed type cubic-quartic functional equation in non-Archimedean spaces. Appl. Math. Lett. 2010, 23: 1198–1202. 10.1016/j.aml.2010.05.011MathSciNetView ArticleGoogle Scholar
  17. Hyers DH, Isac G, Rassias TM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel; 1998.View ArticleGoogle Scholar
  18. Cascales T, Rodrigeuz J: Birkhoff integral for multi-valued functions. J. Math. Anal. Appl. 2004, 297: 540–560. 10.1016/j.jmaa.2004.03.026MathSciNetView ArticleGoogle Scholar
  19. Cardinali T, Nikodem K, Papalini F: Some results on stability and characterization of K -convexity of set-valued functions. Ann. Pol. Math. 1993, 58: 185–192.MathSciNetGoogle Scholar
  20. Lu G, Park C: Hyers-Ulam stability of additive set-valued functional equations. Appl. Math. Lett. 2011, 24: 1312–1316. 10.1016/j.aml.2011.02.024MathSciNetView ArticleGoogle Scholar
  21. Nikodem K: On quadratic set-valued functions. Publ. Math. (Debr.) 1984, 30: 297–301.MathSciNetGoogle Scholar
  22. Nikodem K: On Jensen’s functional equation for set-valued functions. Rad. Mat. 1987, 3: 23–33.MathSciNetGoogle Scholar
  23. Nikodem K: Set-valued solutions of the Pexider functional equation. Funkc. Ekvacioj 1988, 31: 227–231.MathSciNetGoogle Scholar
  24. Nikodem, K: K-Convex and K-Concave Set-Valued Functions. Zeszyty Naukowe 559, Lodz (1989)Google Scholar
  25. Park C, O’Regan D, Saadati R: Stability of some set-valued functional equations. Appl. Math. Lett. 2011, 24: 1910–1914. 10.1016/j.aml.2011.05.017MathSciNetView ArticleGoogle Scholar
  26. Piao YJ:The existence and uniqueness of additive selection for ( α , β ) - ( β , α ) type subadditive set-valued maps. J. Northeast Normal Univ. 2009, 41: 38–40.MathSciNetGoogle Scholar
  27. Popa D:Additive selections of ( α , β ) -subadditive set-valued maps. Glas. Mat. 2001, 36(56):11–16.Google Scholar
  28. Lee, K: Stability of functional equations related to set-valued functions. PreprintGoogle Scholar

Copyright

© Jang et al.; licensee Springer. 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.