Stability of additivity and fixed point methods
© Brzdęk; licensee Springer. 2013
Received: 30 July 2013
Accepted: 4 October 2013
Published: 8 November 2013
We show that the fixed point methods allow to investigate Ulam’s type stability of additivity quite efficiently and precisely. Using them we generalize, extend and complement some earlier classical results concerning the stability of the additive Cauchy equation.
Keywordsadditivity fixed point Ulam stability
(As usual, denotes the family of all functions mapping a set into a set .) Roughly speaking, -stability of equation (1) means that every approximate (in the sense of (2)) solution of (1) is always close (in the sense of (3)) to an exact solution to (1).
Let us mention that this type of stability has been a very popular subject of investigations for the last nearly fifty years (see, e.g., [1–10]). The main motivation for it was given by S.M. Ulam (cf. [4, 11]) in 1940 in his talk at the University of Wisconsin, where he presented, in particular, the following problem.
then a homomorphism exists with for ?
Hyers  published a partial answer to it, which can be stated as follows.
Quite often we describe that result of Hyers simply saying that Cauchy functional equation (1) is Hyers-Ulam stable (or has the Hyers-Ulam stability).
In the next few years, Hyers and Ulam published some further stability results for polynomial functions, isometries and convex functions in [12–15]. Let us mention yet that now we are aware of an earlier (than that of Hyers) result concerning such stability that is due to Pólya and Szegö [, Teil I, Aufgabe 99] (see also [, Part I, Ch. 3, Problem 99]) and reads as follows (ℕ stands for the set of positive integers).
For every real sequence with , there is a real number ω such that . Moreover, .
The next theorem is considered to be one of the most classical results.
It was motivated by Th.M. Rassias (see [18–20]) and is composed of the outcomes in [18, 21, 22]. Note that Theorem 1 with yields the result of Hyers and it is known (see ; cf. also [23, 24]) that for an analogous result is not valid. Moreover, it was shown in  that estimation (5) is optimum for in the general case.
Theorem 1 has a very nice simple form. However, recently, it was shown in  that it can be significantly improved; namely, in the case , each satisfying (4) must actually be additive and the assumption of completeness of is not necessary in such a situation. So, taking into account that result in , we can reformulate Theorem 1 in the following way.
Theorem 2 Let and be two normed spaces and and be fixed real numbers. Let be a mapping satisfying (4). If and is complete, then there exists a unique additive function such that (5) holds. If , then f is additive.
The second statement of Theorem 2, for , can be described as the φ-hyperstability of the additive Cauchy equation for . Unfortunately, such result does not remain valid if we restrict the domain of f, as the following remark shows it.
1 The main result
In this paper we prove the following complement to Theorem 1, which covers also the situation described in Remark 1 (see Remark 2).
It is easily seen that Theorem 3 yields the subsequent corollary.
which is sharper than (5) for .
for any real , any bounded function with , and any such that for , (for instance, we can take for , with some additive ).
In some cases, estimation (9) provided in Corollary 1 is optimum as the subsequent example shows. Unfortunately, this is not always the case, because the possibly sharpest such estimation we have in Theorem 2 for .
Actually, the calculations are very elementary, but for the convenience of readers, we provide them.
2 Auxiliary result
The proof of Theorem 3 is based on a fixed point result that can be easily derived from [, Theorem 2] (cf. [, Theorem 1] and ). Let us mention that [, Theorem 2] was already used, in a similar way as here, for the first time in  for proving some stability results for the functional equation of p-Wright affine functions, next in [26, 31] in proving hyperstability of the Cauchy equation, and (very recently) also for investigations of stability and hyperstability of some other equations in [32–34] (the Jensen equation, the general linear equation, and the Drygas functional equation, respectively).
The fixed point approach to Ulam’s type stability was proposed for the first time in  (cf.  for a generalization; see also ) and later applied in numerous papers; for a survey on this subject, we refer to .
X is a nonempty set and is a complete metric space.
are given maps.
- (H3)is an operator satisfying the inequality
- (H4)is an operator defined by
Now we are in a position to present the above mentioned fixed point result following from [, Theorem 2].
Moreover, for .
3 Proof of Theorem 3
for every , , . Consequently, for each , also (H3) is valid with and .
for some (the case is trivial, so we exclude it here). Observe yet that T and are solutions to equation (16) for all .
This implies (7) with ; clearly, equality (22) means the uniqueness of T as well.
Remark 3 Note that from the above proof we can derive a much stronger statement on the uniqueness of T than the one formulated in Theorem 3. Namely, it is easy to see that is the unique additive mapping such that (19) holds with some .
- Brillouët-Belluot N, Brzdęk J, Ciepliński K: On some recent developments in Ulam’s type stability. Abstr. Appl. Anal. 2012., 2012: Article ID 716936Google Scholar
- Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, London; 2002.View ArticleGoogle Scholar
- Faĭziev VA, Rassias TM, Sahoo PK:The space of -additive mappings on semigroups. Trans. Am. Math. Soc. 2002, 354: 4455–4472. 10.1090/S0002-9947-02-03036-2View ArticleGoogle Scholar
- 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
- Hyers DH, Isac G, Rassias TM: Stability of Functional Equations in Several Variables. Birkhäuser, Boston; 1998.View ArticleGoogle Scholar
- Hyers DH, Isac G, Rassias TM: On the asymptoticity aspect of Hyers-Ulam stability of mappings. Proc. Am. Math. Soc. 1998, 126: 425–430. 10.1090/S0002-9939-98-04060-XMathSciNetView ArticleGoogle Scholar
- Hyers DH, Rassias TM: Approximate homomorphisms. Aequ. Math. 1992, 44: 125–153. 10.1007/BF01830975MathSciNetView ArticleGoogle Scholar
- Jung S-M: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor; 2001.Google Scholar
- Jung S-M Springer Optimization and Its Applications 48. In Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis. Springer, New York; 2011.View ArticleGoogle Scholar
- Moszner Z: On the stability of functional equations. Aequ. Math. 2009, 77: 33–88. 10.1007/s00010-008-2945-7MathSciNetView ArticleGoogle Scholar
- Ulam SM: A Collection of Mathematical Problems. Interscience, New York; 1960. Reprinted as: Problems in Modern Mathematics. Wiley, New York (1964)Google Scholar
- Hyers DH: Transformations with bounded m th differences. Pac. J. Math. 1961, 11: 591–602. 10.2140/pjm.1961.11.591MathSciNetView ArticleGoogle Scholar
- Hyers DH, Ulam SM: On approximate isometries. Bull. Am. Math. Soc. 1945, 51: 288–292. 10.1090/S0002-9904-1945-08337-2MathSciNetView ArticleGoogle Scholar
- Hyers DH, Ulam SM: Approximate isometries of the space of continuous functions. Ann. Math. 1947, 48: 285–289. 10.2307/1969171MathSciNetView ArticleGoogle Scholar
- Hyers DH, Ulam SM: Approximately convex functions. Proc. Am. Math. Soc. 1952, 3: 821–828. 10.1090/S0002-9939-1952-0049962-5MathSciNetView ArticleGoogle Scholar
- Pólya G, Szegö G: Aufgaben und Lehrsätze aus der Analysis I. Springer, Berlin; 1925.View ArticleGoogle Scholar
- Pólya G, Szegö G: Problems and Theorems in Analysis I. Springer, Berlin; 1972.View ArticleGoogle Scholar
- 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
- Rassias TM: Problem. Aequ. Math. 1990, 39: 309.Google Scholar
- Rassias TM: On a modified Hyers-Ulam sequence. J. Math. Anal. Appl. 1991, 158: 106–113. 10.1016/0022-247X(91)90270-AMathSciNetView ArticleGoogle Scholar
- 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
- Gajda Z: On stability of additive mappings. Int. J. Math. Math. Sci. 1991, 14: 431–434. 10.1155/S016117129100056XMathSciNetView ArticleGoogle Scholar
- Rassias TM, Šemrl P: On the behavior of mappings which do not satisfy Hyers-Ulam stability. Proc. Am. Math. Soc. 1992, 114: 989–993. 10.1090/S0002-9939-1992-1059634-1View ArticleGoogle Scholar
- Rassias TM, Šemrl P: On the Hyers-Ulam stability of linear mappings. J. Math. Anal. Appl. 1993, 173: 325–338. 10.1006/jmaa.1993.1070MathSciNetView ArticleGoogle Scholar
- Brzdęk J: A note on stability of additive mappings. In Stability of Mappings of Hyers-Ulam Type. Edited by: Rassias TM, Tabor J. Hadronic Press, Palm Harbor; 1994:19–22.Google Scholar
- Brzdęk J: Hyperstability of the Cauchy equation on restricted domains. Acta Math. Hung. 2013, 141: 58–67. 10.1007/s10474-013-0302-3View ArticleGoogle Scholar
- Brzdęk J, Ciepliński K: A fixed point approach to the stability of functional equations in non-Archimedean metric spaces. Nonlinear Anal. 2011, 74: 6861–6867. 10.1016/j.na.2011.06.050MathSciNetView ArticleGoogle Scholar
- Brzdęk J, Chudziak J, Páles Z: A fixed point approach to stability of functional equations. Nonlinear Anal. 2011, 74: 6728–6732. 10.1016/j.na.2011.06.052MathSciNetView ArticleGoogle Scholar
- Cădariu L, Găvruţa L, Găvruţa P: Fixed points and generalized Hyers-Ulam stability. Abstr. Appl. Anal. 2012., 2012: Article ID 712743Google Scholar
- Brzdęk J: Stability of the equation of the p-Wright affine functions. Aequ. Math. 2013, 85: 497–503. 10.1007/s00010-012-0152-zView ArticleGoogle Scholar
- Brzdęk J: A hyperstability result for Cauchy equation. Bull. Aust. Math. Soc. 2013. 10.1017/S0004972713000683Google Scholar
- Bahyrycz A, Piszczek M: Hyperstability of the Jensen functional equation. Acta Math. Hung. 2013. 10.1007/s10474-013-0347-3Google Scholar
- Piszczek M: Remark on hyperstability of the general linear equation. Aequ. Math. 2013. 10.1007/s00010-013-0214-xGoogle Scholar
- Piszczek M, Szczawińska J: Hyperstability of the Drygas Functional Equation. J. Funct. Spaces Appl. 2013., 2013: Article ID 912718Google Scholar
- Baker JA: The stability of certain functional equations. Proc. Am. Math. Soc. 1991, 112: 729–732. 10.1090/S0002-9939-1991-1052568-7View ArticleGoogle Scholar
- Cǎdariu L, Moslehian MS, Radu V: An application of Banach’s fixed point theorem to the stability of a general functional equation. An. Univ. Vest. Timiş., Ser. Mat.-Inform. 2009, 47: 21–26.Google Scholar
- Cǎdariu L, Radu V: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory Appl. 2008., 2008: Article ID 749392Google Scholar
- Ciepliński K: Applications of fixed point theorems to the Hyers-Ulam stability of functional equations - a survey. Ann. Funct. Anal. 2012, 3: 151–164.MathSciNetView ArticleGoogle Scholar
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.