Hyers-Ulam stability of an n-variable quartic functional equation

In this note we investigate the general solution for the quartic functional equation of the form (3n + 4) f  n ∑ i=1 xi  + n ∑ j=1 f −nx j + n ∑ i=1,i, j xi  = (n2 + 2n + 1) n ∑ i=1,i, j,k f ( xi + x j + xk ) − 1 2 ( 3n − 2n − 13n − 8 ) n ∑ i=1,i, j f ( xi + x j ) + 1 2 ( n + 2n + n ) n ∑ i=1,i, j f ( xi − x j ) + 1 2 ( 3n − 5n − 7n + 13n + 12 ) n ∑

Abstract: In this note we investigate the general solution for the quartic functional equation of the form f (x i ) (n ∈ N, n > 4) and also investigate the Hyers-Ulam stability of the quartic functional equation in random normed spaces using the direct approach and the fixed point approach.

Introduction
In 1940, Ulam [25] proposed the following question concerning the stability of group homomorphisms: Under what condition does there is an additive mapping near an approximately additive mapping between a group and a metric group? In the next year, Hyers [7,8] answered the problem of Ulam under the assumption that the groups are Banach spaces. A generalized version of the theorem of Hyers for approximately linear mappings was given by Rassias [22]. Since then, the stability problems of various functional equation have been extensively investigated by a number of authors (see [3,6,13,14,16,17,22,24,[26][27][28]). By regarding a large influence of Ulam, Hyers and Rassias on the investigation of stability problems of functional equations the stability phenomenon that was introduced and proved by Rassias [22] in the year 1978 is called the Hyers-Ulam-Rassias stability.
Consider the functional equation The quadratic function f (x) = cx 2 is a solution of this functional Equation (1.1), and so one usually is said the above functional equation to be quadratic [5,[10][11][12]. The Hyers-Ulam stability problem of the quadratic functional equation was first proved by Skof [24] for functions between a normed space and a Banach space. Afterwards, the result was extended by Cholewa [2] and Czerwik [4]. Now, we consider the following functional equation: It is easy to see that the function f (x) = cx 4 satisfies the functional equation (1.2). Hence, it is natural that Eq (1.2) is called a quartic functional equation and every solution of the quartic functional equation is said to be a quartic mapping (see [15,19]). The theory of random normed spaces (briefly, RN-spaces) is important as a generalization of deterministic result of normed spaces and also in the study of random operator equations. The notion of an RN-space corresponds to the situations when we do not know exactly the norm of the point and we know only probabilities of possible values of this norm. Random theory is a setting in which uncertainty arising from problems in various fields of science, can be modelled. It is a practical tool for handling situations where classical theories fail to explain. Random theory has many application in several fields, for example, population dynamics, computer programming, nonlinear dynamical system, nonlinear operators, statistical convergence and so forth.
In 2008, Mihet and Radu [18] applied fixed point alternative method to prove the stability theorems of the Cauchy functional equation: in random normed spaces. In 2008, Najati and Moghimi [20] obtained a stability of the functional equation deriving from quadratic and additive function: by using the direct method. After that, Jin and Lee [9] proved the stability of the above mentioned functional equation in random normed spaces.
In 2011, Saadati et al. [21] proved the nonlinear stability of the quartic functional equation of the form in the setting of random normed spaces. Furthermore, the interdisciplinary relation among the theory of random spaces, the theory of non-Archimedean spaces, the fixed point theory, the theory of intuitionistic spaces and the theory of functional equations were also presented. Azadi Kenary [1] investigated the Ulam stability of the following nonlinear function equation in random normed spaces.
In this note, we investigate the general solution for the quartic functional equation of the form (n ∈ N, n > 4) and also investigate the Hyers-Ulam stability of the quartic functional equation in random normed spaces by using the direct approach and the fixed point approach.

Preliminaries
In this part, we make some notations and basic definitions used in this article. Typical examples of continuous t−norms are T p (a, b) = ab, T m (a, b) = min (a, b) and T L (a, b) = max (a + b − 1, 0) (The Lukasiewicz t−norm). Recall [23] that if T is a t−norm and {x n } is a given sequence of numbers in [0, 1], then T n i=1 x n+i is defined recurrently by T i=1 x i = x i and It is known that, for the Lukasiewicz t−norm, the following implication holds: T is a continuous t−norm and µ is a mapping from X into D + satisfying the following conditions: |α| for all x ∈ X, and alpha ∈ with α 0; (RN3) µ x+y (t + s) ≥ T µ x (t) , µ y (s) for all x, y ∈ X and t, s ≥ 0. 1). A sequence {x n } in X is said to be convergent to a point x ∈ X if, for any ε > 0 and λ > 0, there exists a positive integer N such that µ x n −x (ε) > 1 − λ for all n > N. 2). A sequence {x n } in X is called a Cauchy sequence if, for any ε > 0 and λ > 0, there exists a positive integer N such that µ x n −x m (ε) > 1 − λ for all n ≥ m ≥ N. 3). An RN−space (X, µ, T ) is said to be complete, if every Cauchy sequence in X is convergent to a point in X.
Throughout this paper, we use the following notation for a given mapping f : for all x 1 , x 2 , · · · , x n ∈ X.

A solution of the n−variable quartic functional equation (1.4)
In this section we investigate the general solution of the n-variable quartic functional equation (1.4).
Theorem 3.1. Let X and Y be real vector spaces. If a mapping f : X → Y satisfies the functional equation (1.4) for all x 1 , · · · , x n ∈ X, then f : X → Y satisfies the functional equation (1.2) for all x, y ∈ X.
Proof. Assume that f satisfies the functional equation (1.4). Putting for all x ∈ X. It follows from (3.4) and (3.2) that for all x ∈ X. It follows from (3.5) and (3.2) that for all x ∈ X. In general for any positive m, we get for all x ∈ X. Replacing (x 1 , x 2 , · · · , x n ) by for all x, y ∈ X. It follows from (3.6) that for all x, y ∈ X. Replacing y by −y in (3.7), we get for all x, y ∈ X. Adding (3.7) and (3.8), we get for all x, y ∈ X. It follows from (3.9) that (3n + 4) for all x, y ∈ X. It follows from (3.10) that for all x, y ∈ X. From (3.11), we get for all x, y ∈ X. Thus the mapping f : X → Y is quartic.

Direct method
In this section, the Ulam-Hyers stability of the quartic functional equation (1.4) in RN−space is provided. Throughout this part, let X be a linear space and (Y, µ, T ) be a complete RN−space. for all x 1 , x 2 , ..., x n ∈ X and all t > 0. Then there exists a unique quartic mapping Q : X → Y satisfying the functional equation (1.4) and for all x ∈ X and all t > 0. The mapping Q (x) is defined by for all x ∈ X and all t > 0.
Proof. Assume j = 1. Setting (x 1 , x 2 , ..., x n ) by for all x ∈ X and all t > 0. It follows from (4.2) and (RN2) that for all x ∈ X and all t > 0. Replacing x by 2 k x in (4.3), we have for all x ∈ X and all t > 0. It follows from f (2 n x) for all x ∈ X and all t > 0. Replacing x by 2 m x in (4.5), we get is a Cauchy sequence in (Y, µ, T ). Since (Y, µ, T ) is a complete RN-space, this sequence converges to some point C (x) ∈ Y. Fix x ∈ X and put m = 0 in (4.6). Then we have and so, for every δ > 0, we get Taking the limit as n → ∞ and using (4.7), we have Since δ is arbitrary, by taking δ → 0 in (4.8), we have Replacing (x 1 , x 2 , ..., x n ) by (2 n x 1 , 2 n x 2 , ..., 2 n x n ) in (4.1), respectively, we obtain µ D f (2 n x 1 ,2 n x 2 ,...,2 n x n ) (t) ≥ η 2 n x 1 ,2 n x 2 ,...,2 n x n 2 4n t for all x 1 , x 2 , ..., x n ∈ X and for all t > 0. Since x 1 ,2 k+i x 2 ,...,2 k+i xn 2 4(k+i+1) j t = 1, we conclude that Q fulfils (1.1). To prove the uniqueness of the quartic mapping Q, assume that there exists another quartic mapping D from X to Y, which satisfies (4.9). Fix x ∈ X. Clearly, Q (2 n x) = 2 4n Q (x) and D (2 n x) = 2 4n D (x) for all x ∈ X. It follows from (4.9) that Since lim Therefore, it follows that µ Q(x)−D(x) (t) = 1 for all t > 0 and so Q (x) = D (x). This completes the proof.
The following corollary is an immediate consequence of Theorem 4.1, concerning the stability of (1.4).

Corollary 4.2.
Let Ω and be nonnegative real numbers. Let f : X → Y satisfy the inequality for all x 1 , x 2 , x 3 , ..., x n ∈ X and all t > 0, then there exists a unique quartic mapping Q : X → Y such that for all x ∈ X and all t > 0.

Fixed point method
In this section, we prove the Ulam-Hyers stability of the functional equation (1.4) in random normed spaces by the using fixed point method.
Theorem 5.1. Let f : X → Y be a mapping for which there exists a mapping η : X n → D + with the condition lim for all x 1 , x 2 , x 3 , ..., x n ∈ X and all t > 0, where and satisfy the functional inequality for all x 1 , x 2 , x 3 , ..., x n ∈ X and all t > 0. If there exists L = L (i) such that the function for all x ∈ X and t > 0, then there exists a unique quartic mapping Q : X → Y satisfying the functional equation (1.4) and for all x ∈ X and t > 0.
Proof. Let d be a general metric on Ω such that It is easy to see that (Ω, d) is complete. Define T : Ω → Ω by T p (x) = 1 for all x ∈ X. Now assume that for p, q ∈ Ω, we have d (p, q) ≤ K. Then for all p, q ∈ Ω. Therefore, T is a strictly contractive mapping on Ω with Lipschitz constant L. It follows from (5.2) that for all x ∈ X. It follows from (5.3) that for all x ∈ X. By using (5.1) for the case i = 0, it reduce to for all x ∈ X. Replacing x by x 2 in (5.4), we get for all x ∈ X. By using (5.1) for the case i = 1, it reduce to for all x ∈ X. From (5.5) and (5.6), we can conclude The remaining proof is similar to the proof of Theorem 4.1. So Q is a unique fixed point of T in the set such that for all x ∈ X and t > 0. This completes the proof of the theorem.
From Theorem 4.1, we obtain the following corollary concerning the stability for the functional equation (1.4).

Corollary 5.2.
Suppose that a mapping f : X → Y satisfies the inequality for all x 1 , x 2 , ..., x n ∈ X and all t > 0, where Ω, are constants with Ω > 0. Then there exists a unique quartic mapping Q : X → Y such that for all x ∈ X and all t > 0.

Proof.
Set for all x 1 , x 2 , ..., x n ∈ X and all t > 0. Then for all x ∈ X and t > 0. Now Hence the proof is complete.

Conclusion
In this note we investigated the general solution for the quartic functional equation (1.4) and also investigated the Hyers-Ulam stability of the quartic functional equation (1.4) in random normed space using the direct approach and the fixed point approach. This work can be applied to study the stability in various spaces such as intuitionistic random normed spaces, quasi-Banach spaces and fuzzy normed spaces. Moreover, the results can be applied to investigate quartic homomorphisms and quratic derivations in Banach algebras, random normed algebras, fuzzy Banach algebras and C * -ternary algebras.