- Research Article
- Open access
- Published:

# Hyers-Ulam Stability of a Bi-Jensen Functional Equation on a Punctured Domain

*Journal of Inequalities and Applications*
**volumeÂ 2010**, ArticleÂ number:Â 476249 (2010)

## Abstract

We obtain the Hyers-Ulam stability of a bi-Jensen functional equation: and simultaneously . And we get its stability on the punctured domain.

## 1. Introduction

In 1940, Ulam [1] raised a question concerning the stability of homomorphisms: let be a group and let be a metric group with the metric . Given , does there exist a such that if a mapping satisfies the inequality

for all , then there is a homomorphism with

for all ? The case of approximately additive mappings was solved by Hyers [2] under the assumption that and are Banach spaces. In 1949, 1950, and 1978, Bourgin [3], Aoki [4], and Rassias [5] gave a generalization of it under the conditions bounded by variables. Since then, the further generalization has been extensively investigated by a number of mathematicians, such as GÄƒvruta, Rassias, and so forth, [6â€“25].

Throughout this paper, let be a normed space and a Banach space. A mapping is called a Jensen mapping if satisfies the functional equation For a given mapping , we define

for all . A mapping is called a bi-Jensen mapping if satisfies the functional equations and .

In 2006, Bae and Park [26] obtained the generalized Hyers-Ulam stability of a bi-Jensen mapping. The following result is a special case of Theorem 6 in [26].

Theorem 1 A.

Let and let be a mapping such that

for all . Then there exist two bi-Jensen mappings such that

for all .

In Theorem A, they did not show that there exist a and a unique bi-Jensen mapping such that for all . In 2008, Jun et al. [7, 8] improved Bae and Park's results.

In Section 2, we show that there exists a unique bi-Jensen mapping such that for all . In Section 3, we investigate the Hyers-Ulam stability of a bi-Jensen functional equation on the punctured domain.

## 2. Stability of a Bi-Jensen Functional Equation

From Lemma 1 in [8], we get the following lemma.

Lemma.

Let be a bi-Jensen mapping. Then

for all and .

Now we will give the Hyers-Ulam stability for a bi-Jensen mapping.

Theorem 2.2.

Let and let be a mapping satisfying (1.4) for all . Then there exists a unique bi-Jensen mapping such that

for all with . In particular, the mapping is given by

for all .

Proof.

Let be the map defined by

for all and . By (1.4), we get

for all and . For given integers with , we obtain

for all . By the above inequality, the sequence is a Cauchy sequence for all . Since is complete, the sequence converges for all . Define by

for all . Putting and taking in (2.6), we obtain the inequality

for all . By (1.4) and the definition of , we get

for all . So is a bi-Jensen mapping satisfying (2.2). Now, let be another bi-Jensen mapping satisfying (2.2) with . By Lemma 2.1, we have

for all and . As , we may conclude that for all . Thus the bi-Jensen mapping is unique.

Example 2.3.

Let be the bi-Jensen mappings defined by

for all . Then satisfy (1.4) for all . In addition, satisfy (2.2) for all and also satisfy (2.2) for all . But we get . Hence the condition is necessary to show that the mapping is unique.

## 3. Stability of a Bi-Jensen Functional Equation on the Punctured Domain

Let be a subset of . and are punctured domain on the spaces and , respectively.

Throughout this paper, for a given mapping , let be the mappings defined by

for all .

Lemma.

Let be a subset of satisfying the following condition: for every , there exists a positive integer such that for all integer with , and such that for all integer with . Let be a mapping such that

for all . Then there exists a unique bi-Jensen mapping such that

for all . Moreover, the equality

holds for all .

Proof.

Note that , , , and for all . Let for any . From (3.2), we get the equality

for all , and we know that the equality

holds for all . From (3.2), we have

for all . From the above equalities, we obtain the equalities

for all and .

Let be the set defined by for each . From the above equalities, we can define by

From the definition of , we get the equalities

for all . By (3.10), we get the equality

for all and , where . And also we get the equality

for all and , where . Hence the equality

holds for all . From (3.8), (3.9), (3.10), and the definition of , we easily get

for all . And we obtain

for all with , where and . From this, we have

for all with , where . From the above equalities, we get

for all . By the similar method, we have

for all . Hence is a bi-Jensen mapping. Let be another bi-Jensen mapping satisfying

for all . Using the above equality, we show that the equalities

hold for all and as we desired, where .

Corollary 3.2.

Let be a mapping such that

for all . Then there exists a unique bi-Jensen mapping such that

for all .

Example 3.3.

Let be the mapping defined by

and let be the mapping defined by for all . Then the mappings satisfy the conditions of Corollary 3.2 with .

Now, we prove the Hyers-Ulam stability of a bi-Jensen functional equation on the punctured domain .

Theorem 3.4.

Let and . Let be a mapping such that

for all . Then there exists a unique bi-Jensen mapping such that

holds for all with . The mapping is given by

for all .

Proof.

By (3.27), we get

for all and . For given integers (), we have

for all . The sequences , , and are Cauchy sequences for all . Since is complete, the above sequences converge for all . From (3.34) and (3.35), we have

for all . Using the inequalities (3.31)â€“(3.35) and the above equality, we can define the mappings by

for all . By (3.27) and the definition of , we obtain

for all . Since and

for all with , where , we have

for all . Similarly, the equalities

hold for all . By Lemma 3.1, There exist bi-Jensen mappings such that

for all . Since the equalities

hold, are bi-Jensen mappings. Putting and taking in (3.31), (3.32), and (3.33), one can obtain the inequalities

for all . By (3.30) and the above equalities, we get

for all , where is given by

and . By (3.45), we get the inequalities

for all and , where , and the inequalities

for all and . Hence is a bi-Jensen mapping satisfying (3.28).

Now, let be another bi-Jensen mapping satisfying (3.28) with . By Lemma 2.1, we have

for all and . As , we may conclude that for all . By Lemma 3.1, as we desired.

Example 3.5.

Let be the mapping defined by

Let be the mapping defined by for all . Then satisfies the conditions in Theorem 3.4, and is a bi-Jensen mapping satisfying (3.28) but .

Corollary 3.6.

Let be a mapping satisfying (3.13) and (3.27) for all . Then there exists a bi-Jensen mapping such that

for all .

Proof.

Let be as in the proof of Theorem 3.4. By (3.30), we obtain

for . From the above inequalities and (3.45), we get the inequality

for all .

## References

Ulam SM:

*A Collection of Mathematical Problems*. Interscience, New York, NY, USA; 1968.Hyers DH: On the stability of the linear functional equation.

*Proceedings of the National Academy of Sciences of the United States of America*1941, 27: 222â€“224. 10.1073/pnas.27.4.222Bourgin DG: Approximately isometric and multiplicative transformations on continuous function rings.

*Duke Mathematical Journal*1949, 16: 385â€“397. 10.1215/S0012-7094-49-01639-7Aoki 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(2):297â€“300. 10.1090/S0002-9939-1978-0507327-1GÄƒvruÅ£a 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.1211Jun K-W, Han M-H, Lee Y-H: On the Hyers-Ulam-Rassias stability of the bi-Jensen functional equation.

*Kyungpook Mathematical Journal*2008, 48(4):705â€“720.Jun K-W, Lee Y-H, Oh J-H: On the rassias stability of a bi-Jensen functional equation.

*Journal of Mathematical Inequalities*2008, 2(3):363â€“375.Jung S-M: Hyers-Ulam stability of linear differential equations of first order.

*Applied Mathematics Letters*2004, 17(10):1135â€“1140. 10.1016/j.aml.2003.11.004Jung S-M, Moslehian MS, Sahoo PK: Stability of generalized Jensen equation on restricted domains. to appear in

*Journal of Mathematical Inequalities*Kim GH: On the superstability of the pexider type trigonometric functional equation.

*Journal of Inequalities and Applications*2010, 2010:-14.Kim GH: On the superstability related with the trigonometric functional equation.

*Advances in Difference Equations*2009, 2009:-11.Kim GH: On the stability of trigonometric functional equations.

*Advances in Difference Equations*2007, 2007:-10.Kim GH: The stability of d'Alembert and Jensen type functional equations.

*Journal of Mathematical Analysis and Applications*2007, 325(1):237â€“248. 10.1016/j.jmaa.2006.01.062Kim GH, Dragomir SS: On the stability of generalized d'Alembert and Jensen functional equations.

*International Journal of Mathematics and Mathematical Sciences*2006, 2006:-12.Kim H-M: On the stability problem for a mixed type of quartic and quadratic functional equation.

*Journal of Mathematical Analysis and Applications*2006, 324(1):358â€“372. 10.1016/j.jmaa.2005.11.053Lee Y-H, Jun K-W: On the stability of approximately additive mappings.

*Proceedings of the American Mathematical Society*2000, 128(5):1361â€“1369. 10.1090/S0002-9939-99-05156-4Lee Y-S, Chung S-Y: Stability of a Jensen type functional equation.

*Banach Journal of Mathematical Analysis*2007, 1(1):91â€“100.Moslehian MS: The Jensen functional equation in non-Archimedean normed spaces.

*Journal of Function Spaces and Applications*2009, 7(1):13â€“24.Park C-G: Linear functional equations in banach modules over a -algebra.

*Acta Applicandae Mathematicae*2003, 77(2):125â€“161. 10.1023/A:1024014026789Park W-G, Bae J-H: On a Cauchy-Jensen functional equation and its stability.

*Journal of Mathematical Analysis and Applications*2006, 323(1):634â€“643. 10.1016/j.jmaa.2005.09.028Rassias JM: On approximation of approximately linear mappings by linear mappings.

*Journal of Functional Analysis*1982, 46(1):126â€“130. 10.1016/0022-1236(82)90048-9Rassias JM: On a new approximation of approximately linear mappings by linear mappings.

*Discussiones Mathematicae*1985, 7: 193â€“196.Rassias JM: Solution of a problem of ulam.

*Journal of Approximation Theory*1989, 57(3):268â€“273. 10.1016/0021-9045(89)90041-5Rassias JM, Rassias MJ: On the ulam stability of Jensen and Jensen type mappings on restricted domains.

*Journal of Mathematical Analysis and Applications*2003, 281(2):516â€“524. 10.1016/S0022-247X(03)00136-7Bae J-H, Park W-G: On the solution of a bi-Jensen functional equation and its stability.

*Bulletin of the Korean Mathematical Society*2006, 43(3):499â€“507.

## 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

Kim, G., Lee, YH. Hyers-Ulam Stability of a Bi-Jensen Functional Equation on a Punctured Domain.
*J Inequal Appl* **2010**, 476249 (2010). https://doi.org/10.1155/2010/476249

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/476249