Journal of Applied Mathematics

VolumeΒ 2012, Article IDΒ 547865, 15 pages

http://dx.doi.org/10.1155/2012/547865

## Stability of an -Dimensional Mixed-Type Additive and Quadratic Functional Equation in Random Normed Spaces

^{1}Department of Mathematics Education, Gongju National University of Education, Gongju 314-711, Republic of Korea^{2}Mathematics Section, College of Science and Technology, Hongik University, Jochiwon 339-701, Republic of Korea

Received 5 August 2011; Accepted 28 November 2011

Academic Editor: XianhuaΒ Tang

Copyright Β© 2012 Yang-Hi Lee and Soon-Mo Jung. 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

We investigate the stability problems for the -dimensional mixed-type additive and quadratic functional equation in random normed spaces by applying the fixed point method.

#### 1. Introduction

In 1940, Ulam [1] gave a wide-ranging talk before a mathematical colloquium at the University of Wisconsin, in which he discussed a number of important unsolved problems. Among those was the following question concerning the stability of homomorphisms.

*Let ** be a group, and let ** be a metric group with a metric **. Given **, does there exist a ** such that if a function ** satisfies the inequality ** for all **, then there is a homomorphism ** with ** for all **?*

If the answer is affirmative, we say that the functional equation for homomorphisms is stable. Hyers [2] was the first mathematician to present the result concerning the stability of functional equations. He answered the question of Ulam for the case where and are assumed to be Banach spaces. This result of Hyers is stated as follows.

*Let ** be a function between Banach spaces such that** for some ** and for all **. Then the limit ** exists for each **, and ** is the unique additive function such that ** for every **. Moreover, if ** is continuous in ** for each fixed **, then function ** is linear.*

We remark that the additive function is directly constructed from the given function , and this method is called the *direct method*. The direct method is a very powerful method for studying the stability problems of various functional equations. Taking this famous result into consideration, the additive Cauchy equation is said to have the *Hyers-Ulam stability* on if for every function satisfying the inequality (1.1) for some and for all , there exists an additive function such that is bounded on .

In 1950, Aoki [3] generalized the theorem of Hyers for additive functions, and in the following year, Bourgin [4] extended the theorem without proof. Unfortunately, it seems that their results failed to receive attention from mathematicians at that time. No one has made use of these results for a long time.

In 1978, Rassias [5] addressed the Hyersβs stability theorem and attempted to weaken the condition for the bound of the norm of Cauchy difference and generalized the theorem of Hyers for linear functions.

*Let ** be a function between Banach spaces. If ** satisfies the functional inequality**for some **, ** with ** and for all **, then there exists a unique additive function ** such that ** for each **. If, in addition, ** is continuous in ** for each fixed **, then the function ** is linear.*

This result of Rassias attracted a number of mathematicians who began to be stimulated to investigate the stability problems of functional equations. By regarding a large influence of Ulam, Hyers, and Rassias on the study of stability problems of functional equations, the stability phenomenon proved by Rassias is called the *Hyers-Ulam-Rassias stability*. For the last thirty years, many results concerning the Hyers-Ulam-Rassias stability of various functional equations have been obtained (see [6β17]).

In this paper, applying the fixed point method, we prove the Hyers-Ulam-Rassias stability of the *-dimensional mixed-type additive and quadratic functional equation *
in random normed spaces. Every solution of (1.3) is called a *quadratic-additive function*.

Throughout this paper, let be an integer larger than 1.

#### 2. Preliminaries

We introduce some terminologies, notations, and conventions usually used in the theory of random normed spaces (see [18, 19]). The set of all probability distribution functions is denoted by Let us define . The set is partially ordered by the usual pointwise ordering of functions, that is, if and only if for all . The maximal element for in this order is the distribution function given by

*Definition 2.1 (See [18]). *A function is called a *continuous triangular norm* (briefly, *continuous **-norm*) if satisfies the following conditions: is commutative and associative;*Ο* is continuous; for all ; for all with and .

Typical examples of continuous -norms are , , and .

*Definition 2.2 (See [19]). *Let be a vector space, a continuous -norm, and let be a function satisfying the following conditions: for all if and only if ; for all , , and for all ; for all and all . A triple is called a *random normed space* (briefly, *RN-space*).

If is a normed space, we can define a function by
for all and . Then is a random normed space, which is called the *induced random normed space*.

*Definition 2.3. *Let be an -space.A sequence in is said to be *convergent* to a point if, for every and , there exists a positive integer such that whenever .A sequence in is called a *Cauchy sequence* if, for every and , there exists a positive integer such that whenever .An RN-space is called *complete* if and only if every Cauchy sequence in converges to a point in .

*Definition 2.4. *Let be a nonempty set. A function is called a *generalized metric* on if and only if satisfies if and only if ; for all ; for all .

We now introduce one of the fundamental results of the fixed point theory. For the proof, we refer to [20] or [21].

Theorem 2.5 (See [20, 21]). *Let be a complete generalized metric space. Assume that is a strict contraction with the Lipschitz constant . If there exists a nonnegative integer such that for some , then the following statements are true:**the sequence converges to a fixed point of ;** is the unique fixed point of in ;**if , then*

In 2003, Radu [22] noticed that many theorems concerning the Hyers-Ulam stability of various functional equations follow from the fixed point alternative (Theorem 2.5). Indeed, he applied the fixed point method to prove the existence of a solution of the inequality (1.1) and investigated the Hyers-Ulam stability of the additive Cauchy equation (see also [23β26]). Furthermore, MiheΕ£ and Radu [27] applied the fixed point method to prove the stability theorems of the additive Cauchy equation in random normed spaces.

In 2009, Towanlong and Nakmahachalasint [28] established the general solution and the stability of the -dimensional mixed-type additive and quadratic functional equation (1.3) by using the direct method. According to [28], a function is a quadratic-additive function, where and are vector spaces, if and only if there exist an additive function and a quadratic function such that for all .

#### 3. Hyers-Ulam-Rassias Stability

Throughout this paper, let be a real vector space and let be a complete RN-space. For a given function , we use the following abbreviation: for all .

We will now prove the stability of the functional equation (1.3) in random normed spaces by using fixed point method.

Theorem 3.1. *Let be a real vector space, an RN-space, a complete RN-space, and let be a function. Assume that satisfies one of the following conditions:** for some ;** for some ** for all and . If a function satisfies and
**
for all and , then there exists a unique function such that
**
for all and
**
for all and , where , and .*

*Proof. *We will first treat the case where satisfies the condition . Let be the set of all functions with , and let us define a generalized metric on by
It is not difficult to show that is a complete generalized metric space (see [29] or [30, 31]).

Consider the operator defined by
Then we can apply induction on to prove
for all and .

Let and let be an arbitrary constant with . For some satisfying the condition , it follows from the definition of , , , and that
for all and , which implies that
That is, is a strict contraction with the Lipschitz constant .

Moreover, by , , and (3.2), we see that
for all and . Hence, it follows from the definition of that
Now, in view of Theorem 2.5, the sequence converges to the unique βfixed pointβ of in the set and is represented by
for all .

By Theorem 2.5, (3.11), and the definition of , we have
that is, the first inequality in (3.4) holds true.

We will now show that is a quadratic-additive function. It follows from and the definition of that
for all , , and . Due to the definition of , the first four terms on the right-hand side of the above inequality tend to 1 as .

By a somewhat tedious manipulation, we have
Hence, it follows from , , definition of , (3.2), and that
which tends to 1 as for all and . Therefore, (3.14) implies that
for any and . By , this implies that for all , which ends the proof of the first part.

Now, assume that satisfies the condition . Let be the same as given in the first part. We now consider the operator defined by
for all and . Notice that
for all and .

Let and let be an arbitrary constant with . From , , the definition of , and , we have
for all , , and for some satisfying , which implies that
That is, is a strict contraction with the Lipschitz constant .

Moreover, by , (3.2), and , we see that
for all and . This implies that by the definition of . Therefore, according to Theorem 2.5, the sequence converges to the unique βfixed pointβ of in the set and is represented by
for all . Since
the second inequality in (3.4) holds true.

Next, we will show that is a quadratic-additive function. As we did in the first part, we obtain the inequality (3.14). In view of the definition of , the first four terms on the right-hand side of the inequality (3.14) tend to 1 as . Furthermore, a long manipulation yields
Thus, it follows from , , definition of , (3.2), and that
which tends to 1 as for all and . Therefore, it follows from (3.14) that
for any and . By , this implies that
for all , which ends the proof.

By a similar way presented in the proof of Theorem 3.1, we can also prove the preceding theorem if the domains of relevant functions include 0.

Theorem 3.2. *Let be a real vector space, an RN-space, a complete RN-space, and let be a function. Assume that satisfies one of the conditions and in Theorem 3.1 for all and . If a function satisfies and (3.2) for all and , then there exists a unique quadratic-additive function satisfying (3.4) for all and .*

Now, we obtain general Hyers-Ulam stability results of (1.3) in normed spaces. If is a normed space, then is an induced random normed space. We get the following result.

Corollary 3.3. *Let be a real vector space, a complete normed space, and let be a function. Assume that satisfies one of the following conditions:** for some ;** for some ** for all . If a function satisfies and
**
for all , then there exists a unique function such that
**
for all and
**
for all .*

*Proof. *Let us put
for all , , and . If satisfies the condition for all and for some , then
for all and , that is, satisfies the condition . In a similar way, we can show that if satisfies , then it satisfies the condition .

Moreover, we get
for all and , that is, satisfies the inequality (3.2) for all .

According to Theorem 3.1, there exists a unique function such that
for all and
for all and , which ends the proof.

We now prove the Hyers-Ulam-Rassias stability of (1.3) in the framework of normed spaces.

Corollary 3.4. *Let be a real normed space, , and let be a complete normed space. If a function satisfies and
**
for all and for some , then there exists a unique quadratic-additive function such that
**
for all .*

*Proof. *If we put
then the induced random normed space satisfies the conditions stated in Theorem 3.2 with .

Corollary 3.5. *Let be a real normed space, , and let be a complete normed space. If a function satisfies and
**
for all and for some , then there exists a unique quadratic-additive function satisfying
*

*Proof. *If we put , , and define
for all and , then we have
that is, satisfies condition given in Theorem 3.1 for all and . We moreover get
that is, satisfies the inequality (3.2) for all and .

According to Theorem 3.2, there exists a unique quadratic-additive function satisfying
for all , or equivalently
for all , which ends the proof.

#### Acknowledgment

The second author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (no. 2011-0004919).

#### References

- S. M. Ulam,
*A Collection of Mathematical Problems*, Interscience, New York, NY, USA, 1960. - 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 Zentralblatt MATH - T. Aoki, βOn the stability of the linear transformation in Banach spaces,β
*Journal of the Mathematical Society of Japan*, vol. 2, pp. 64β66, 1950. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - D. G. Bourgin, βClasses of transformations and bordering transformations,β
*Bulletin of the American Mathematical Society*, vol. 57, pp. 223β237, 1951. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. M. Rassias, βOn the stability of the linear mapping in Banach spaces,β
*Proceedings of the American Mathematical Society*, vol. 72, no. 2, pp. 297β300, 1978. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. W. Cholewa, βRemarks on the stability of functional equations,β
*Aequationes Mathematicae*, vol. 27, no. 1-2, pp. 76β86, 1984. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Czerwik,
*Functional Equations and Inequalities in Several Variables*, World Scientific, River Edge, NJ, USA, 2002. View at Publisher Β· View at Google Scholar - Z. Gajda, βOn stability of additive mappings,β
*International Journal of Mathematics and Mathematical Sciences*, vol. 14, no. 3, pp. 431β434, 1991. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. GΔvruΕ£a, βA generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings,β
*Journal of Mathematical Analysis and Applications*, vol. 184, no. 3, pp. 431β436, 1994. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - D. H. Hyers, G. Isac, and T. M. Rassias,
*Stability of Functional Equations in Several Variables*, BirkhΓ€user Boston, Boston, Mass, USA, 1998. - K.-W. Jun and H.-M. Kim, βOn the stability of an
*n*-dimensional quadratic and additive functional equation,β*Mathematical Inequalities & Applications*, vol. 9, no. 1, pp. 153β165, 2006. View at Google Scholar - S.-M. Jung, βOn the Hyers-Ulam-Rassias stability of approximately additive mappings,β
*Journal of Mathematical Analysis and Applications*, vol. 204, no. 1, pp. 221β226, 1996. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S.-M. Jung,
*Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis*, vol. 48, Springer, New York, NY, USA, 2011. - Y.-H. Lee, βOn the stability of the monomial functional equation,β
*Bulletin of the Korean Mathematical Society*, vol. 45, no. 2, pp. 397β403, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y.-H. Lee and K.-W. Jun, βA generalization of the Hyers-Ulam-Rassias stability of Jensen's equation,β
*Journal of Mathematical Analysis and Applications*, vol. 238, no. 1, pp. 305β315, 1999. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y.-H. Lee and K.-W. Jun, βA generalization of the Hyers-Ulam-Rassias stability of the Pexider equation,β
*Journal of Mathematical Analysis and Applications*, vol. 246, no. 2, pp. 627β638, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y.-H. Lee and K.-W. Jun, βOn the stability of approximately additive mappings,β
*Proceedings of the American Mathematical Society*, vol. 128, no. 5, pp. 1361β1369, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - B. Schweizer and A. Sklar,
*Probabilistic Metric Spaces*, North-Holland, New York, NY, USA, 1983. - A. N. Ε erstnev, βOn the concept of a stochastic normalized space,β
*Doklady Akademii Nauk SSSR*, vol. 149, pp. 280β283, 1963. View at Google Scholar - J. B. Diaz and B. Margolis, βA fixed point theorem of the alternative, for contractions on a generalized complete metric space,β
*Bulletin of the American Mathematical Society*, vol. 74, pp. 305β309, 1968. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - I. A. Rus,
*Principles and Applications of Fixed Point Theory*, Dacia, Cluj-Napoca, Romania, 1979. - V. Radu, βThe fixed point alternative and the stability of functional equations,β
*Fixed Point Theory*, vol. 4, no. 1, pp. 91β96, 2003. View at Google Scholar Β· View at Zentralblatt MATH - L. CΔdariu and V. Radu, βFixed points and the stability of Jensen's functional equation,β
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 4, no. 1, 2003. View at Google Scholar Β· View at Zentralblatt MATH - L. CΔdariu and V. Radu, βFixed points and the stability of quadratic functional equations,β
*TimiΕoara Analele Seria MatematicΔ-InformaticΔ*, vol. 41, no. 1, pp. 25β48, 2003. View at Google Scholar - L. CΔdariu and V. Radu, βOn the stability of the Cauchy functional equation: a fixed point approach,β
*Grazer Mathematische Berichte*, vol. 346, pp. 43β52, 2004. View at Google Scholar - L. C. CΔdariu and V. Radu, βFixed point methods for the generalized stability of functional equations in a single variable,β
*Fixed Point Theory and Applications*, vol. 2008, Article ID 749392, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - D. MiheΕ£ and V. Radu, βOn the stability of the additive Cauchy functional equation in random normed spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 343, no. 1, pp. 567β572, 2008. View at Google Scholar Β· View at Zentralblatt MATH - W. Towanlong and P. Nakmahachalasint, βAn n-dimensional mixed-type additive and quadratic functional equation and its stability,β
*Science Asia*, vol. 35, pp. 381β385, 2009. View at Publisher Β· View at Google Scholar - S.-M. Jung, βA fixed point approach to the stability of a Volterra integral equation,β
*Fixed Point Theory and Applications*, vol. 2007, Article ID 57064, 9 pages, 2007. View at Google Scholar Β· View at Zentralblatt MATH - S.-M. Jung and T.-S. Kim, βA fixed point approach to the stability of the cubic functional equation,β
*Sociedad MatemΓ‘tica Mexicana*, vol. 12, no. 1, pp. 51β57, 2006. View at Google Scholar Β· View at Zentralblatt MATH - S.-M. Jung, T.-S. Kim, and K.-S. Lee, βA fixed point approach to the stability of quadratic functional equation,β
*Bulletin of the Korean Mathematical Society*, vol. 43, no. 3, pp. 531β541, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH