- Research Article
- Open access
- Published:

# A Functional Inequality in Restricted Domains of Banach Modules

*Advances in Difference Equations*
**volumeÂ 2009**, ArticleÂ number:Â 973709 (2009)

## Abstract

We investigate the stability problem for the following functional inequality on restricted domains of Banach modules over a -algebra. As an application we study the asymptotic behavior of a generalized additive mapping.

## 1. Introduction and Preliminaries

The following question concerning the stability of group homomorphisms was posed by Ulam [1]: *Under what conditions does there exist a group homomorphism near an approximate group homomorphism?*

Hyers [2] considered the case of approximately additive mappings , where and are Banach spaces and satisfies*Hyers inequality*

for all .

In 1950, Aoki [3] provided a generalization of the Hyers' theorem for additive mappings and in 1978, Rassias [4] generalized the Hyers' theorem for linear mappings by allowing the Cauchy difference to be unbounded (see also [5]). The result of Rassias' theorem has been generalized by Forti [6, 7] and Gvruta [8] who permitted the Cauchy difference to be bounded by a general control function. During the last three decades a number of papers have been published on the generalized Hyers-Ulam stability to a number of functional equations and mappings (see [9â€“23]). We also refer the readers to the books [24â€“28].

Throughout this paper, let be a unital -algebra with unitary group , unit and norm . Assume that is a left -module and is a left Banach -module. An additive mapping is called *-linear* if for all and all . In this paper, we investigate the stability problem for the following functional inequality:

on restricted domains of Banach modules over a -algebra, where are nonzero positive real numbers. As an application we study the asymptotic behavior of a generalized additive mapping.

## 2. Solutions of the Functional Inequality (1.2)

Theorem 2.1.

Let and be left -modules and let be nonzero real numbers. If a mapping with satisfies the functional inequality

for all and all , then is -linear.

Proof.

Letting in (2.1) we get

for all and all . Letting (resp., ) in (2.2), we get

for all and all . Hence and it follows from (2.2) and (2.3) that and for all and all Therefore for all Hence for all and all rational numbers .

Now let and let be an integer number with . Then by Theorem â€‰1 of [29], there exist elements such that . Since is additive and for all all rational numbers and all , we have

for all . Replacing instead of in the above equation, we have

for all Since is an arbitrary nonzero element in in the previous paragraph, one can replace instead of in (2.5). Thus we have for all and all So is -linear.

The following theorem is another version of Theorem 2.1 on a restricted domain when

Theorem 2.2.

Let and be left -modules and let be nonzero positive real numbers. Assume that a mapping satisfies and the functional inequality (2.1) for all with and all . Then is -linear.

Proof.

Letting with in (2.1), we get

for all . Let and let Then

Therefore replacing and by and in (2.6), respectively, we get

for all with and all .

Similar to the proof of Theorem â€‰3 of [30] (see also [31]), we prove that satisfies (2.8) for all and all . Suppose If , let with otherwise

Since it is easy to verify that

Therefore

Hence satisfies (2.8) and we infer that satisfies (2.2) for all and all . By Theorem 2.1, is -linear.

## 3. Generalized Hyers-Ulam Stability of (1.2) on a Restricted Domain

In this section, we investigate the stability problem for -linear mappings associated to the functional inequality (1.2) on a restricted domain. For convenience, we use the following abbreviation for a given function and

for all

Theorem 3.1.

Let and be given. Assume that a mapping satisfies the functional inequality

for all with and all . Then there exist a unique -linear mapping and a constant such that

for all

Proof.

Let with . Then (3.2) implies that

Thus

for all with and all . Let and let Then Therefore it follows from (3.5) that

for all with and all . For the case let be an element of which is defined in the proof of Theorem 2.2. It is clear that Using (2.11) and (3.6), we get

for all with and all . Hence

for all and all , where

Letting and in (3.8), respectively, we get

for all and all . It follows from (3.8) and (3.10) that

for all . By the results of Hyers [2] and Rassias [4], there exists a unique additive mapping given by such that

for all . It follows from the definition of and (3.2) that and for all with and all . Hence is -linear by Theorem 2.2.

We apply the result of Theorem 3.1 to study the asymptotic behavior of a generalized additive mapping. An asymptotic property of additive mappings has been proved by Skof [32] (see also [30, 33]).

Corollary 3.2.

Let be nonzero positive real numbers. Assume that a mapping with satisfies

for all then is -linear.

Proof.

It follows from (3.13) that there exists a sequence monotonically decreasing to zero, such that

for all with and all . Therefore

for all with and all . Applying (3.15) and Theorem 3.1, we obtain a sequence of unique -linear mappings satisfying

for all . Since the sequence is monotonically decreasing, we conclude

for all and all The uniqueness of implies for all Hence letting in (3.16), we obtain that is -linear.

The following theorem is another version of Theorem 3.1 for the case

Theorem 3.3.

Let be given and let be nonzero real numbers. Assume that a mapping with satisfies the functional inequality

for all with and all . Then there exists a unique -linear mapping such that

for all with and .

Proof.

Letting in (3.18), we get

for all with and all . Hence

for all with and all . It follows from (3.21) that

for all with and all . Adding (3.21) to (3.22), we get

for all with and all . Therefore

for all with . Let with . We may put in (3.24) to obtain

We can replace by in (3.25) for all nonnegative integers Then using a similar argument given in [4], we have

Hence we have the following inequality:

for all with and all integers Since is complete, (3.27) shows that the limit exists for all with . Letting and in (3.27), we obtain that satisfies inequality (3.19) for all with . It follows from the definition of and (3.24) that

for all with . Hence

for all with . We extend the additivity of to the whole space by using an extension method of Skof [34]. Let and be given with Let be the smallest integer such that We define the mapping by

Let be given with and let be the smallest integer such that Then is the smallest integer satisfying If , we have and . Therefore For the case , it follows from the definition of that

From the definition of and (3.29), we get that holds true for all Let and let be an integer such that Then

It remains to prove that is -linear. Let and let be a positive integer such that Since for all and satisfies (3.28), we have

Hence is additive. Since for all , we have from (3.22) that for all and all Letting , we get . Therefore for all and all This proves that is -linear. Also, satisfies inequality (3.19) for all with , by the definition of .

For the case we use the Gajda's example [35] to give the following counterexample.

Example 3.4.

Let be defined by

Consider the function by the formula

It is clear that is continuous, bounded by on and

for all (see [35]). It follows from (3.36) that the following inequality:

holds for all First we show that

for all If satisfies (3.38) for all then satisfies (3.38) for all To see this, let (the result is obvious when ). Then for all Replacing by , we get that for all Hence we may assume that If or then

Now suppose that Then there exists an integer such that

Therefore

Hence

for all From the definition of and (3.40), we have

Therefore satisfies (3.38). Now we prove that

for all and all where

It follows from (3.37) and (3.38) that

for all and all Thus satisfies inequality (3.18) for Let be a linear functional such that

for all where is a positive constant. Then there exists a constant such that for all rational numbers . So we have

for all rational numbers . Let with If , then for all So

which contradicts (3.48).

## References

Ulam SM:

*A Collection of the Mathematical Problems*. Interscience, New York, NY, USA; 1960.Hyers DH:

**On the stability of the linear functional equation.***Proceedings of the National Academy of Sciences*1941,**27:**222-224. 10.1073/pnas.27.4.222Aoki T:

**On the stability of the linear transformation in Banach spaces.***Journal of the Mathematical Society of Japan*1950,**2:**64-66. 10.2969/jmsj/00210064Rassias ThM:

**On the stability of the linear mapping in Banach spaces.***Proceedings of the American Mathematical Society*1978,**72:**297-300. 10.1090/S0002-9939-1978-0507327-1Bourgin DG:

**Classes of transformations and bordering transformations.***Bulletin of the American Mathematical Society*1951,**57:**223-237. 10.1090/S0002-9904-1951-09511-7Forti GL:

**An existence and stability theorem for a class of functional equations.***Stochastica*1980,**4:**23-30. 10.1080/17442508008833155Forti GL:

**Hyers-Ulam stability of functional equations in several variables.***Aequationes Mathematicae*1995,**50**(1-2):143-190. 10.1007/BF01831117Gavruta P:

**A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings.***Journal of Mathematical Analysis and Applications*1994,**184**(3):431-436. 10.1006/jmaa.1994.1211Cholewa PW:

**Remarks on the stability of functional equations.***Aequationes Mathematicae*1984,**27**(1):76-86. 10.1007/BF02192660Czerwik S:

**On the stability of the quadratic mapping in normed spaces.***Abhandlungen aus dem Mathematischen Seminar der UniversitÃ¤t Hamburg*1992,**62**(1):59-64. 10.1007/BF02941618Faiziev VA, Rassias ThM, Sahoo PK:

**The space of****-additive mappings on semigroups.***Transactions of the American Mathematical Society*2002,**354**(11):4455-4472. 10.1090/S0002-9947-02-03036-2Grabiec A:

**The generalized Hyers-Ulam stability of a class of functional equations.***Publicationes Mathematicae Debrecen*1996,**48**(3-4):217-235.Hyers DH, Rassias ThM:

**Approximate homomorphisms.***Aequationes Mathematicae*1992,**44**(2-3):125-153. 10.1007/BF01830975Isac G, Rassias ThM:

**Stability of****-additive mappings: applications to nonlinear analysis.***International Journal of Mathematics and Mathematical Sciences*1996,**19:**219-228. 10.1155/S0161171296000324Jun K-W, Lee Y-H:

**On the Hyers-Ulam-Rassias stability of a pexiderized quadratic inequality.***Mathematical Inequalities and Applications*2001,**4**(1):93-118.Kannappan Pl:

**Quadratic functional equation and inner product spaces.***Results in Mathematics*1995,**27:**368-372.Najati A:

**Hyers-Ulam stability of an n-apollonius type quadratic mapping.***Bulletin of the Belgian Mathematical Societyâ€”Simon Stevin*2007,**14**(4):755-774.Najati A, Park C:

**Hyers-Ulam-Rassias stability of homomorphisms in quasi-Banach algebras associated to the Pexiderized Cauchy functional equation.***Journal of Mathematical Analysis and Applications*2007,**335**(2):763-778. 10.1016/j.jmaa.2007.02.009Najati A, Park C:

**The Pexiderized Apollonius-Jensen type additive mapping and isomorphisms between****-algebras.***Journal of Difference Equations and Applications*2008,**14**(5):459-479. 10.1080/10236190701466546Park C-G:

**On the stability of the linear mapping in Banach modules.***Journal of Mathematical Analysis and Applications*2002,**275**(2):711-720. 10.1016/S0022-247X(02)00386-4Rassias ThM:

**On a modified Hyers-Ulam sequence.***Journal of Mathematical Analysis and Applications*1991,**158**(1):106-113. 10.1016/0022-247X(91)90270-ARassias ThM:

**On the stability of functional equations and a problem of Ulam.***Acta Applicandae Mathematicae*2000,**62:**23-130. 10.1023/A:1006499223572Rassias ThM:

**On the stability of functional equations in Banach spaces.***Journal of Mathematical Analysis and Applications*2000,**251**(1):264-284. 10.1006/jmaa.2000.7046AczÃ©l J, Dhombres J:

*Functional Equations in Several Variables*. Cambridge University Press, Cambridge, UK; 1989.Czerwik S:

*Functional Equations and Inequalities in Several Variables*. World Scientific, River Edge, NJ, USA; 2002.Hyers DH, Isac G, Rassias ThM:

*Stability of Functional Equations in Several Variables*. BirkhÃ¤user, Basel, Switzerland; 1998.Jung S:

*Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis*. Hadronic Press, Palm Harbor, Fla, USA; 2001.Rassias ThM:

*Functional Equations, Inequalities and Applications*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003.Kadison RV, Pedersen G:

**Means and convex combinations of unitary operators.***Mathematica Scandinavica*1985,**57:**249-266.Jung S-MO:

**Hyers-ulam-rassias stability of jensen's equation and its application.***Proceedings of the American Mathematical Society*1998,**126**(11):3137-3143. 10.1090/S0002-9939-98-04680-2Jung S, Moslehian MS, Sahoo PK:

**Stability of a generalized Jensen equation on restricted domains.**http://arxiv.org/abs/math/0511320v1Skof F:

**Sull' approssimazione delle applicazioni localmente****-additive.***Atti della Accademia delle Scienze di Torino*1983,**117:**377-389.Hyers DH, Isac G, Rassias ThM:

**On the asymptoticity aspect of Hyers-Ulam stability of mappings.***Proceedings of the American Mathematical Society*1998,**126**(2):425-430. 10.1090/S0002-9939-98-04060-XSkof F:

**On the stability of functional equations on a restricted domain and a related topic.**In*Stabiliy of Mappings of Hyers-Ulam Type*. Edited by: Rassias ThM, Tabor J. Hadronic Press, Palm Harbor, Fla, USA; 1994:41-151.Gajda Z:

**On stability of additive mappings.***International Journal of Mathematics and Mathematical Sciences*1991,**14:**431-434. 10.1155/S016117129100056X

## Acknowledgments

The third author was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2009-0070788). The authors would like to thank the referees for a number of valuable suggestions regarding a previous version of this paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Moghimi, M.B., Najati, A. & Park, C. A Functional Inequality in Restricted Domains of Banach Modules.
*Adv Differ Equ* **2009**, 973709 (2009). https://doi.org/10.1155/2009/973709

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2009/973709