Journal of Function Spaces

Volume 2017, Article ID 1946394, 6 pages

https://doi.org/10.1155/2017/1946394

## Hyperstability of Some Functional Equations on Restricted Domain

Faculty of Applied Mathematics, AGH University of Science and Technology, Mickiewicza 30, 30-059 Kraków, Poland

Correspondence should be addressed to Anna Bahyrycz; moc.liamg@azcyryhab

Received 20 April 2017; Accepted 30 May 2017; Published 16 July 2017

Academic Editor: Adrian Petrusel

Copyright © 2017 Anna Bahyrycz and Jolanta Olko. 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

The paper concerns functions which approximately satisfy, not necessarily on the whole linear space, a generalization of linear functional equation. A Hyers-Ulam stability result is proved and next applied to give conditions implying the hyperstability of the equation. The results may be used as tools in stability studies on restricted domains for various functional equations. We use the main theorem to obtain a few hyperstability results of Fréchet equation on restricted domain for different control functions.

#### 1. Introduction

The famous Cauchy equationhas a very long history, which started with A. M. Legendre in 1791 and C. F. Gauss in 1809, but the first important result about the solutions of (1) was proved by Cauchy (see [1]) and due to this outcome (1) is today named after him, as is mentioned in [2]. In the meantime, many authors have dealt with this equation, and next Fréchet in [3] studied an important generalization of Cauchy equation, characterizing the polynomials among the continuous mappings, namely, the equationwhere denotes the difference operator defined as usual by for . From the result of Fréchet it follows that a continuous function satisfies (2) for all and if and only if is a polynomial of degree smaller than or equal to (cf. [2, 4]). As a generalization we can consider the functional equationwhere and are the linear spaces over a field , , and .

The stability and hyperstability of the above functional equation and its particular cases were studied by many mathematicians (cf., e.g., [5–16]). Let us recall (see [9]) that the theory of Hyers-Ulam stability, in general, was motivated by a problem raised in 1940 by Ulam [17] and a partial answer to it was provided by Hyers [18]. The term* hyperstability*, in the meaning used here, was introduced presumably in [19] (cf. also [20]).

Our basic assumptions are the following. is a normed space over a field , are the nonempty subsets of such that , and is a nonempty subset of such that . Denote and , for , and a sum of numbers over an empty set is defined to be zero. In the sequel, for nonempty set .

We say that the equation is -hyperstable in the class of functions (with a control function ), if satisfies the inequalityfor all , and fulfills (5).

The above notion of hyperstability for functions defined on subsets of a linear space (not necessarily on the whole space but on the restricted domain) is a counterpart of hyperstability considered in [8]. In this paper we obtain, applying the fixed point theorem, some results concerning stability and hyperstability for (4) on restricted domain. Our outcomes allow studying the behavior of functions approximately fulfilling functional equations of this linear type on different subsets of the linear space, and this also applies to domain restrictions for control functions. This way we give a tool for the further Hyers-Ulam stability research. Its application is presented in the last section where some new as well as generalizations of known results on hyperstability of Cauchy and Fréchet equation are obtained.

#### 2. Auxiliary Result

First we establish a counterpart of stability result from [7] on restricted domain, and to do this we use the fixed point theorem. This result will be needed to show our main theorem which provides criteria for hyperstability of many functional equations of the linear type on a restricted domain.

Lemma 1. *Assume that is a Banach space, or “ and ,” and . Suppose that there exist and such that Let satisfy the inequalityIf fulfills the estimationthen there exists a unique function satisfying (5) such that*

*Proof. *Take and such that assumptions (7) and (8) hold.

First consider the case . Taking and substituting , , in (9) we haveDefineThen (11) may be rewritten as follows:By induction, for every and Since , we see thatNotice that all assumptions of Theorem in [21] are satisfied for operators (12) and (13) and . According to this fixed point theorem, the function given by for is a fixed point of fulfilling (10).

It is sufficient to show that satisfies (5) (with ). First we prove that for every and every such that Obviously, the case is just (9). Next, fix , , and and assume that (18) holds. Then Thus by induction hypothesis and (8) we have which finishes the proof of (18). Letting in (18), we prove that satisfies (5), which completes the proof in the first case.

In the case where and , the function , , satisfiesfor , and . Consequently, we conclude that there exists a unique function such thatObviously and is the desired function.

Denote

*Remark 2. *It is easily seen that functions (i);(ii);(iii);(iv);(v);with some , , , and fulfill condition (8) for some function . For instance, in case (iv) we can use for , and in case (v) we may take where . If there exists at least one such that or then

#### 3. The Main Result

We can now state a counterpart (on restricted domain) of Theorem in [8], concerning -hyperstability of (5).

Theorem 3. *Let be a normed space over , or “ and ,” , , and satisfy (9). If there exist and a sequence of elements of such thatthen satisfies (5).*

*Proof. *We can certainly assume that is a Banach space, for if not we replace it by its completion.

Take and the sequence of the elements of such that conditions (25), (26), and (27) hold. Hence we can find and such thatTherefore, according to Lemma 1, for each there exists a unique function satisfying equation (5) such thatIn this way we obtain the sequence of functions satisfying (5). Letting in (30) , we get, using (28), that satisfies (5).

#### 4. Applications

Using the above outcome we can get the results for the particular form of (5), as, for instance, for Fréchet functional equation, presented in this section.

Corollary 4. *Assume that is a normed space over , , is a nonempty subset of such that there exists a positive integer withIf fulfills the inequalitywith and , then is a solution of the equation*

*Proof. *Put , and for and consider two cases: (a),(b).In the case (a) we define the sequence as follows: It follows easily that the assumptions of Theorem 3 are satisfied with and .

In case (b) we can find such that Define There exists such that and for We will verify that we can apply Theorem 3 for . Namely, Therefore Thus conditions (26) and (28) hold, which finishes the proof.

Corollary 5. *Assume that is a normed space over , , and is a nonempty subset of such that there exists a positive integer with (31).**If fulfills the inequalitywith and , for , then is a solution of (33).*

*Proof. *Putting , , and for , where , , andwe get that and therefore for , and consequently condition (26) is satisfied. Also, condition (28) holds, because which with Theorem 3 completes the proof.

Denote

Corollary 6. *Assume that is a normed space over , , and is a nonempty subset of such that there exists a positive integer withIf fulfills the inequalitywith and , then is a solution of the equation*

*Proof. *Put , , and for There exist and , such that , , and for . Define the sequence as follows: The assumptions of Theorem 3 are fulfilled with and , as is easy to check, which finishes the proof.

In the same way as Corollary 5 we can prove the following corollary.

Corollary 7. *Assume that is a normed space over , , and is a nonempty subset of such that there exists a positive integer with (31).**If fulfills the inequalitywith and for , then is a solution of (45).*

*Remark 8. *Observe that putting in the above two corollaries we get hyperstability results for Cauchy equation. Corollary 7 generalizes the result from [9] (see Theorem ), where and (in our considerations may be different). Corollaries 6 and 7 generalize the outcomes from [6].

We end the paper with an example, which shows that the additional assumption on , appearing in the above corollaries, is essential.

*Example 9. *Let , , and be defined by , . Then satisfies the estimations for , and but satisfies neither (33) nor (45).

#### Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

#### References

- A. L. Cauchy, “Cours d’analyse de l’École royale polytechnique,” Paris, 1821.
- J. M. Almira and A. J. López-Moreno, “On solutions of the Fréchet functional equation,”
*Journal of Mathematical Analysis and Applications*, vol. 332, no. 2, pp. 1119–1133, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - M. Fréchet, “Un définition fonctionnelle des polynômes,”
*Nouvelles Annales de Mathematiques*, vol. 9, no. 4, pp. 145–162, 1909. View at Google Scholar - M. E. Gordji, H. Khodaei, and T. M. Rassias, “A functional equation having monomials and its stability,” in
*Handbook of Functional Equations*, vol. 96, pp. 181–197, Springer, New York, NY, USA, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - A. Bahyrycz and M. Piszczek, “Hyperstability of the Jensen functional equation,”
*Acta Mathematica Hungarica*, vol. 142, no. 2, pp. 353–365, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Bahyrycz, J. Brzdȩk, M. Piszczek, and J. Sikorska, “Hyperstability of the Fréchet equation and a characterization of inner product spaces,”
*Journal of Function Spaces and Applications*, vol. 2013, Article ID 496361, 2013. View at Publisher · View at Google Scholar · View at Scopus - A. Bahyrycz and J. Olko, “On stability of the general linear equation,”
*Aequationes Mathematicae*, vol. 89, no. 6, pp. 1461–1474, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Bahyrycz and J. Olko, “Hyperstability of general linear functional equation,”
*Aequationes Mathematicae*, vol. 90, no. 3, pp. 527–540, 2016. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Brzdȩk, “Hyperstability of the Cauchy equation on restricted domains,”
*Acta Mathematica Hungarica*, vol. 141, no. 1-2, pp. 58–67, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Brzdęk and K. Ciepliński, “Hyperstability and superstability,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 401756, 13 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - L. Cădariu and V. Radu, “Fixed points and the stability of Jensen's functional equation,”
*JIPAM. Journal of Inequalities in Pure and Applied Mathematics*, vol. 4, no. 1, Article 4, 7 pages, 2003. View at Google Scholar · View at MathSciNet - D. Popa and I. Raşa, “The Fréchet functional equation with application to the stability of certain operators,”
*Journal of Approximation Theory*, vol. 164, no. 1, pp. 138–144, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - M. Piszczek, “Remark on hyperstability of the general linear equation,”
*Aequationes Mathematicae*, vol. 88, no. 1-2, pp. 163–168, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Piszczek and J. Szczawińska, “Hyperstability of the drygas functional equation,”
*Journal of Function Spaces and Applications*, vol. 2013, Article ID 912718, 4 pages, 2013. View at Publisher · View at Google Scholar · View at Scopus - F. Skof, “On the stability of functional equations on a restricted domain and a related topic,” in
*Stability of mappings of Hyers-Ulam type*, Th. M. Rassias and J. Tabor, Eds., pp. 141–151, Hadronic Press, Florida, Fla, USA, 1994. View at Google Scholar · View at MathSciNet - D. Zhang, “On hyperstability of generalised linear functional equations in several variables,”
*Bulletin of the Australian Mathematical Society*, vol. 92, no. 2, pp. 259–267, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. M. Ulam,
*Problems in Modern Mathematics*, Science Editions, Chapter 6, Wiley, New York, NY, USA, 1960. View at MathSciNet - D. H. Hyers, “On the stability of the linear functional equation,”
*Proceedings of the National Academy of Sciences of the United States of America*, vol. 27, pp. 222–224, 1941. View at Publisher · View at Google Scholar · View at MathSciNet - G. Y. Maksa and Z. S. Páles, “Hyperstability of a class of linear functional equations,”
*Acta Mathematica Academiae Paedagogicae Nyiregyhaziensis*, vol. 17, pp. 107–112, 2001. View at Google Scholar · View at MathSciNet - G. Maksa, “The stability of the entropy of degree alpha,”
*Journal of Mathematical Analysis and Applications*, vol. 346, no. 1, pp. 17–21, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Brzdȩk, J. Chudziak, and Z. Páles, “A fixed point approach to stability of functional equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 17, pp. 6728–6732, 2011. View at Publisher · View at Google Scholar · View at MathSciNet