Abstract
We prove a general stability theorem of an n-dimensional quadratic-additive type functional equation
by applying the direct method.
Similar content being viewed by others
Background
Throughout this paper, let V and W be real vector spaces, let X and Y be a real normed space and a real Banach space, respectively, and let \({\mathbb {N}}_0\) denote the set of all nonnegative integers. For any mapping \(f : V \rightarrow W\), let us define
for all \(x, y \in V\). A mapping \(f : V \rightarrow W\) is called an additive mapping (or a quadratic mapping) if f satisfies the functional equation \(Af(x,y) = 0\) (or \(Qf(x,y) = 0\)) for all \(x, y \in V\). We notice that the mappings \(g, h : {\mathbb {R}} \rightarrow {\mathbb {R}}\) given by \(g(x) = ax\) and \(h(x) = ax^2\) are solutions of \(Ag(x,y) = 0\) and \(Qh(x,y) = 0\), respectively.
A mapping \(f : V \rightarrow W\) is called a quadratic-additive mapping if and only if f is represented by the sum of an additive mapping and a quadratic mapping. A functional equation is called a quadratic-additive type functional equation if and only if each of its solutions is a quadratic-additive mapping. For example, the mapping \(f(x) = ax^2 + bx\) is a solution of the quadratic-additive type functional equation.
In the study of stability problems of quadratic-additive type functional equations, we follow out a routine and monotonous procedure for proving the stability of the quadratic-additive type functional equations under various conditions. We can find in the books (Cho et al. 2013; Czerwik 2002; Hyers et al. 1998; Jung 2011) a lot of references concerning the Hyers-Ulam stability of functional equations (see also Alotaibi and Mohiuddine 2012; Aoki 1950; Baker 2005; Brillouët-Belluot et al. 2012; Găvruţa 1994; Hyers 1941; Mohiuddine 2009; Mohiuddine and Şevli 2011; Mursaleen and Mohiuddine 2009; Rassias 1978; Ulam 1960).
In this paper, we prove a general stability theorem that can be easily applied to the (generalized) Hyers-Ulam stability of a large class of functional equations of the form \(Df(x_1, x_2, \ldots , x_n) = 0\), which includes quadratic-additive type functional equations. In practice, given a mapping \(f :V \rightarrow W\), \(Df : V^n \rightarrow W\) is defined by
for all \(x_1, x_2, \ldots , x_n \in V\), where m is a positive integer and \(c_i, a_{ij}\) are real constants. Indeed, this stability theorem can save us much trouble of proving the stability of relevant solutions repeatedly appearing in the stability problems for various functional equations including the quadratic functional equations (Jun and Lee 2001), the additive functional equations (Forti 2007; Lee and Jun 2000; Nakmahachalasint 2007a), and the quadratic-additive type functional equations (see Chang et al. 2003; Eskandani et al. 2012; Jun and Kim 2004a, b, 2005, 2006; Jung 1998; Jung and Sahoo 2002; Lee 2013; Nakmahachalasint 2007b; Najati and Moghimi 2008; Piszczek and Szczawińska 2013; Towanlong and Nakmahachalasint 2009).
It should be remarked that Bahyrycz and Olko (2015) applied the fixed point method to investigate the generalized Hyers-Ulam stability of the general linear equation
Moreover, there are numerous recent results concerning the Hyers-Ulam stability of some particular cases of the equation \(Df(x_1, x_2, \ldots , x_n) = 0\). Some of them have been described in the survey paper (Brzdȩk and Ciepliński 2013).
Preliminaries
We now introduce a lemma from the paper [Lee and Jung (2015), Corollary 2].
Lemma 1
Let \(k > 1\) be a real constant, let \(\phi : V \backslash \{ 0 \} \rightarrow [0,\infty )\) be a function satisfying either
for all \(x \in V \backslash \{ 0 \}\) or
for all \(x \in V \backslash \{ 0 \}\) , and let \(f : V \rightarrow Y\) be an arbitrarily given mapping. If there exists a mapping \(F : V \rightarrow Y\) satisfying
for all \(x \in V \backslash \{ 0 \}\) and
for all \(x \in V\) , then F is a unique mapping satisfying ( 4 ) and ( 5 ).
We introduce a lemma that is the same as [Lee and Jung (2015), Corollary 3].
Lemma 2
Let \(k > 1\) be a real number, let \(\phi , \psi : V \backslash \{ 0 \} \rightarrow [0,\infty )\) be functions satisfying each of the following conditions
for all \(x \in V \backslash \{ 0 \}\) , and let \(f : V \rightarrow Y\) be an arbitrarily given mapping. If there exists a mapping \(F : V \rightarrow Y\) satisfying the inequality
for all \(x \in V \backslash \{ 0 \}\) and the conditions in ( 5 ) for all \(x \in V\) , then F is a unique mapping satisfying ( 5 ) and ( 6 ).
Main results
In this section, let a be a real constant such that \(a \not \in \{ -1, 0, 1 \}\).
Theorem 1
Let n be a fixed integer greater than 1, let \(\mu , \nu : V \backslash \{ 0 \} \rightarrow [0,\infty )\) be functions satisfying the conditions
for all \(x \in V \backslash \{ 0 \}\) , and let \(\varphi : (V \backslash \{ 0 \})^n \rightarrow [0,\infty )\) be a function satisfying the conditions
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\),
for all \(x \in V \backslash \{ 0 \}\) , and
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) , then there exists a unique mapping \(F : V \rightarrow Y\) such that
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\),
for all \(x \in V\) , and
for all \(x \in V \backslash \{ 0 \}\).
Proof
First, we define \(A := \{ f : V \rightarrow Y \,|\, f(0) = 0 \}\) and a mapping \(J_m : A \rightarrow A\) by
for \(x \in V\) and \(m \in {\mathbb {N}} \cup \{ 0 \}\). It follows from (9) that
for all \(x \in V \backslash \{ 0 \}\). In view of (7) and (14), the sequence \(\{ J_m f(x) \}\) is a Cauchy sequence for all \(x \in V \backslash \{ 0 \}\). Since Y is complete and \(f(0) = 0\), the sequence \(\{ J_m f(x) \}\) converges for all \(x \in V\). Hence, we can define a mapping \(F : V \rightarrow Y\) by
for all \(x \in V\). We easily obtain from the definition of F and (10) that the equalities in (12) hold for all \(x \in V\), and by (1) and (8), we get
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\), i.e., \(DF(x_1, x_2, \ldots , x_n) = 0\) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\). Moreover, if we put \(m = 0\) and let \(l \rightarrow \infty\) in (14), then we obtain the inequality (13).
Notice that the equalities
are true in view of (12).
When \(|a| > 1\), in view of Lemma 1, there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equalities in (12) and the inequality (13), since the inequality
holds for all \(x \in V\), where \(k = a^2\) and \(\phi (x) = \frac{\mu (x)}{a^2} + \frac{\mu (ax)}{a^4} + \frac{\nu (x)}{|a|} + \frac{\nu (ax)}{a^2}\).
When \(|a| < 1\), in view of Lemma 1, there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equalities in (12) and the inequality (13), since the inequality
holds for all \(x \in V\), where \(k = \frac{1}{a^2}\) and \(\phi (x) = \frac{\mu (x)}{a^2} + \frac{\mu (ax)}{a^4} + \frac{\nu (x)}{|a|} + \frac{\nu (ax)}{a^2}\). \(\square\)
Theorem 2
Let n be a fixed integer greater than 1, let \(\mu , \nu : V \backslash \{ 0 \} \rightarrow [0,\infty )\) be functions satisfying the conditions
for all \(x \in V \backslash \{ 0 \}\) , and let \(\varphi : (V \backslash \{ 0 \})^n \rightarrow [0,\infty )\) be a function satisfying the conditions
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) , ( 9 ) for all \(x \in V \backslash \{ 0 \}\) , as well as ( 10 ) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) , then there exists a unique mapping \(F : V \rightarrow Y\) satisfying ( 11 ) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) , and ( 12 ) for all \(x \in V\) , and such that
for all \(x \in V \backslash \{ 0 \}\).
Proof
First, we define \(A := \{ f : V \rightarrow Y \,|\, f(0) = 0 \}\) and a mapping \(J_m : A \rightarrow A\) by
for \(x \in V\) and \(m \in {\mathbb {N}}_0\). It follows from (9) that
for all \(x \in V \backslash \{ 0 \}\). On account of (15) and (18), the sequence \(\{ J_m f(x) \}\) is a Cauchy sequence for all \(x \in V \backslash \{ 0 \}\). Since Y is complete and \(f(0) = 0\), the sequence \(\{ J_m f(x) \}\) converges for all \(x \in V\). Hence, we can define a mapping \(F : V \rightarrow Y\) by
for all \(x \in V\). Moreover, if we put \(m = 0\) and let \(l \rightarrow \infty\) in (18), we obtain the inequality (17).
In view of the definition of F and (10), we get the inequalities in (12) for all \(x \in V\) and
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\), i.e., \(DF(x_1, x_2, \ldots , x_n) = 0\) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\). We notice that the equalities
hold in view of (12).
When \(|a| > 1\), according to Lemma 1, there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equalities in (12) and the inequality (17), since the inequality
holds for all \(x \in V\), where \(k = a^2\) and \(\phi (x) = \mu \big ( \frac{x}{a} \big ) + a^2 \mu \big ( \frac{x}{a^2} \big ) + \nu \big ( \frac{x}{a} \big ) + |a| \nu \big ( \frac{x}{a^2} \big )\).
When \(|a| < 1\), according to Lemma 1, there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equalities in (12) and the inequality (17), since the inequality
holds for all \(x \in V\), where \(k = \frac{1}{a^2}\) and \(\phi (x) = \mu \big ( \frac{x}{a} \big ) + a^2 \mu \big ( \frac{x}{a^2} \big ) + \nu \big ( \frac{x}{a} \big ) + |a| \nu \big ( \frac{x}{a^2} \big )\). \(\square\)
Theorem 3
Let n be a fixed integer greater than 1, let \(\mu , \nu : V \backslash \{ 0 \} \rightarrow [0,\infty )\) be functions such that
for all \(x \in V \backslash \{ 0 \}\) , and let \(\varphi : (V \backslash \{ 0 \})^n \rightarrow [0,\infty )\) be a function satisfying the conditions
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) and the equality ( 9 ) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) , then there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equality ( 11 ) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\) , the equalities in ( 12 ) for all \(x \in V\) , and
for all \(x \in V \backslash \{ 0 \}\).
Proof
We will divide the proof of this theorem into two cases, one is for \(|a| > 1\) and the other is for \(|a| < 1\).
Case 1 Assume that \(|a| > 1\). We define a set \(A := \{ f : V \rightarrow Y \,|\, f(0) = 0 \}\) and a mapping \(J_m : A \rightarrow A\) by
for all \(x \in V\) and \(m \in {\mathbb {N}}_0\). It follows from (9) that
for all \(x \in V \backslash \{ 0 \}\). In view of (19) and (22), the sequence \(\{ J_m f(x) \}\) is a Cauchy sequence for all \(x \in V \backslash \{ 0 \}\). Since Y is complete and \(f(0) = 0\), the sequence \(\{ J_mf(x) \}\) converges for all \(x \in V \backslash \{ 0 \}\). Hence, we can define a mapping \(F: V \rightarrow Y\) by
for all \(x \in V\). Moreover, if we put \(m = 0\) and let \(l \rightarrow \infty\) in (22), we obtain the first inequality of (21). Using the definition of F, (10), and (20), we get the equalities in (12) for all \(x \in V\) and
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\), i.e., \(DF(x_1, x_2, \ldots , x_n) = 0\) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\). Notice that the equalities
are true in view of (12). Using Lemma 2, we conclude that there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equalities in (12) and the first inequality in (21), since the inequality
holds for all \(x \in V\), where \(k = a^2\), \(\psi (x) = \frac{a^2 \mu (x) + \mu (ax)}{a^4}\), and \(\phi (x) = \nu \big ( \frac{x}{a} \big ) + |a| \nu \big ( \frac{x}{a^2} \big )\).
Case 2 We now consider the case of \(|a| < 1\) and define a mapping \(J_m : A \rightarrow A\) by
for all \(x \in V\) and \(n \in {\mathbb {N}}_0\). It follows from (9) that
for all \(x \in V \backslash \{ 0 \}\). On account of (19) and (23), the sequence \(\{ J_m f(x) \}\) is a Cauchy sequence for all \(x \in V \backslash \{ 0 \}\). Since Y is complete and \(f(0) = 0\), the sequence \(\{J_mf(x) \}\) converges for all \(x \in V\). Hence, we can define a mapping \(F: V \rightarrow Y\) by
for all \(x \in V\). Moreover, if we put \(m = 0\) and let \(l \rightarrow \infty\) in (23), we obtain the second inequality in (21). From the definition of F, (10), and (20), we get the inequalities in (12) for all \(x \in V\) and
for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\), i.e., \(DF(x_1, x_2, \ldots , x_n) = 0\) for all \(x_1, x_2, \ldots , x_n \in V \backslash \{ 0 \}\). Notice that the equalities
hold by considering (12).
Using Lemma 2, we conclude that there exists a unique mapping \(F : V \rightarrow Y\) satisfying the equalities in (12) and the second inequality in (21), since the inequality
holds for \(x \in V\), where \(k = \frac{1}{a^2}\), \(\psi (x) = \mu \big ( \frac{x}{a} \big ) + a^2 \mu \big ( \frac{x}{a^2} \big )\), and \(\phi (x) = \frac{\nu (ax)}{a^2} + \frac{\nu (x)}{|a|}\). \(\square\)
We can replace \(V \backslash \{ 0 \}\) with V in Theorems 1, 2, and 3.
Corollary 4
Let X be a normed space and let p, \(\theta\), \(\delta\) , and \(\varepsilon\) be real constants such that \(p \not \in \{ 1, 2 \}\), \(a \not \in \{ -1, 0, 1 \}\) , and \(\theta , \delta , \varepsilon > 0\) . If a mapping \(f : X \rightarrow Y\) satisfies \(f(0) = 0\),
for all \(x \in X \backslash \{ 0 \}\) , and the inequality
for all \(x_1, x_2, \ldots , x_n \in X \backslash \{ 0 \}\) , then there exists a unique mapping \(F : X \rightarrow Y\) such that ( 11 ) holds for all \(x_1, x_2, \ldots , x_n \in X \backslash \{ 0 \}\) and the equalities in ( 12 ) hold for all \(x \in X\) , as well as
holds for all \(x \in X \backslash \{ 0 \}\).
Proof
If we put
for all \(x_1, x_2, \ldots , x_n \in X \backslash \{ 0 \}\), then \(\varphi\) satisfies (8) when either \(|a| > 1\) and \(p < 1\) or \(|a| < 1\) and \(p > 2\), and \(\varphi\) satisfies (12) when either \(|a| > 1\) and \(p > 2\) or \(|a| < 1\) and \(p < 1\). Moreover, \(\varphi\) satisfies (15) when \(1 < p < 2\). Therefore, by Theorems 1, 2, and 3, there exists a unique mapping \(F : X \rightarrow Y\) such that (11) holds for all \(x_1, x_2, \ldots , x_n \in X \backslash \{ 0 \}\), and (12) holds for all \(x \in X\), and such that (26) holds for all \(x \in X \backslash \{ 0 \}\). \(\square\)
Applications
In this section, let \(a \not \in \{ -1, 0, 1 \}\) be a rational constant, let \(Df(x_1, x_2, \ldots , x_n) = 0\) be a quadratic-additive type functional equation, let \(Af(x_1, x_2, \ldots , x_n) = 0\) be a Cauchy additive functional equation, and let \(Qf(x_1, x_2, \ldots , x_n) = 0\) be a quadratic functional equation.
Assume that the functional equation \(Df(x_1, x_2, \ldots , x_n) = 0\) is a quadratic-additive type functional equation. Then \(F : V \rightarrow Y\) is a solution of the functional equation \(Df(x_1, x_2, \ldots , x_n) = 0\) if and only if \(F : V \rightarrow Y\) is a quadratic-additive mapping. If \(F : V \rightarrow Y\) is a quadratic-additive mapping, then \(F_e(x)\) and \(F_o(x)\) are a quadratic mapping and an additive mapping, respectively. Hence \(F_e(ax) = a^2 F_e(x)\) and \(F_o(ax) = aF_o(x)\) for all \(x \in V\), i.e., F satisfies the equalities in (12).
Therefore, the following theorems follow from Theorems 1, 2, and 3.
Theorem 5
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition ( 7 ) for all \(x \in V\) , and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the condition ( 8 ) for all \(x_1, x_2, \ldots , x_n \in V\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) , ( 9 ) for all \(x \in V\) , and ( 10 ) for all \(x_1, x_2, \ldots , x_n \in V\) , then there exists a unique quadratic-additive mapping \(F : V \rightarrow Y\) such that the inequality ( 13 ) holds for all \(x \in V\).
Theorem 6
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition ( 15 ) for all \(x \in V\) , and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the condition ( 16 ) for all \(x_1, x_2, \ldots , x_n \in V\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) , ( 9 ) for all \(x \in V\) , and ( 10 ) for all \(x_1, x_2, \ldots , x_n \in V\) , then there exists a unique quadratic-additive mapping \(F : V \rightarrow Y\) such that the inequality ( 17 ) holds for all \(x \in V\).
Theorem 7
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition ( 19 ) for all \(x \in V\) , and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the conditions ( 20 ) for all \(x_1, x_2, \ldots , x_n \in V\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) , ( 9 ) for all \(x \in V\) , and ( 10 ) for all \(x_1, x_2, \ldots , x_n \in V\) , then there exists a unique quadratic-additive mapping \(F : V \rightarrow Y\) satisfying the inequality ( 21 ) for all \(x \in V\).
Corollary 8
Let X be a normed space and let \(p, \theta , \xi\) be real constants such that \(p \not \in \{ 1, 2 \}\), \(a \not \in \{ -1, 0, 1 \}\) , and \(p, \xi , \theta > 0\) . If a mapping \(f : X \rightarrow Y\) satisfies ( 24 ) for all \(x \in X\) and the inequality ( 25 ) for all \(x_1, x_2, \ldots , x_n \in X\) , then there exists a unique quadratic-additive mapping \(F : X \rightarrow Y\) satisfying the inequality ( 26 ) for all \(x \in X\).
Assume that the functional equation \(Qf(x_1, x_2, \ldots , x_n) = 0\) is a quadratic functional equation. Then \(F : V \rightarrow Y\) is a solution of the functional equation \(Qf(x_1, x_2, \ldots , x_n) = 0\) if and only if \(F : V \rightarrow Y\) is a quadratic mapping. If \(F : V \rightarrow Y\) is a quadratic mapping, then \(F_e(x) = F(x)\) and \(F_o(x) = 0\) for all \(x \in V\). Hence, \(F_e(ax) = F(ax) = a^2 F(x) = a^2 F_e(x)\) and \(F_o(ax) = 0 = aF_o(x)\) for all \(x \in V\), i.e., F satisfies the equalities in (12). On the other hand, let the functional equation \(Af(x_1, x_2, \ldots , x_n) = 0\) be a Cauchy additive functional equation. Then \(F : V \rightarrow Y\) is a solution of the functional equation \(Af(x_1, x_2, \ldots , x_n) = 0\) if and only if \(F : V \rightarrow Y\) is an additive mapping. If \(F : V \rightarrow Y\) is an additive mapping, then \(F_e(x) = 0\) and \(F_o(x) = F(x)\) for all \(x \in V\). Hence, \(F_e(ax) = 0 = a^2 F_e(x)\) and \(F_o(ax) = F(ax) = aF(x) = aF_o(x)\) for all \(x \in V\), i.e., F satisfies the equalities in (12). Therefore, the following theorems are consequences of Theorems 5, 6, and 7.
Theorem 9
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition ( 7 ) for all \(x \in V\) , and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the condition ( 8 ) for all \(x_1, x_2, \ldots , x_n \in V\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) , ( 9 ) for all \(x \in V\) , and
for all \(x_1, x_2, \ldots , x_n \in V\) , then there exists a unique quadratic mapping \(F : V \rightarrow Y\) such that the inequality ( 13 ) holds for all \(x \in V\).
Theorem 10
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition ( 15 ) for all \(x \in V\) , and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the condition ( 16 ) for all \(x_1, x_2, \ldots , x_n \in V\) . If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\) , ( 9 ) for all \(x \in V\) , and ( 27 ) for all \(x_1, x_2, \ldots , x_n \in V\) , then there exists a unique quadratic mapping \(F : V \rightarrow Y\) such that the inequality ( 17 ) holds for all \(x \in V\).
Theorem 11
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition (19) for all \(x \in V\), and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the conditions (20) for all \(x_1, x_2, \ldots , x_n \in V\). If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\), (9) for all \(x \in V\), and (27) for all \(x_1, x_2, \ldots , x_n \in V\), then there exists a unique quadratic mapping \(F : V \rightarrow Y\) satisfying the inequality (21) for all \(x \in V\).
Corollary 12
Let X be a normed space and let \(p, \theta , \xi\) be real constants such that \(p \not \in \{ 1, 2 \}\), \(a \not \in \{ -1, 0, 1 \}\), and \(p, \xi , \theta > 0\). If a mapping \(f : X \rightarrow Y\) satisfies (24) for all \(x \in X\) and the inequality
for all \(x_1, x_2, \ldots , x_n \in X\), then there exists a unique quadratic mapping \(F : X \rightarrow Y\) satisfying the inequality (26) for all \(x \in X\).
Theorem 13
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition (7) for all \(x \in V\), and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the condition (8) for all \(x_1, x_2, \ldots , x_n \in V\). If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\), (9) for all \(x \in V\), and
for all \(x_1, x_2, \ldots , x_n \in V\), then there exists a unique additive mapping \(F : V \rightarrow Y\) such that the inequality (13) holds for all \(x \in V\).
Theorem 14
Let n be a fixed integer greater than 1, let \(\mu : V \rightarrow [0,\infty )\) be a function satisfying the condition (15) for all \(x \in V\), and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the condition (16) for all \(x_1, x_2, \ldots , x_n \in V\). If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\), (9) for all \(x \in V\), and (28) for all \(x_1, x_2, \ldots , x_n \in V\), then there exists a unique additive mapping \(F : V \rightarrow Y\) such that the inequality (17) holds for all \(x \in V\).
Theorem 15
Let n be a fixed integer greater than 1, let \(\mu : V\rightarrow [0,\infty )\) be a function satisfying the condition (19) for all \(x \in V\), and let \(\varphi : V^n \rightarrow [0,\infty )\) be a function satisfying the conditions (20) for all \(x_1, x_2, \ldots , x_n \in V\). If a mapping \(f : V \rightarrow Y\) satisfies \(f(0) = 0\), (9) for all \(x \in V\), and (28 ) for all \(x_1, x_2, \ldots , x_n \in V\) , then there exists a unique additive mapping \(F : V \rightarrow Y\) satisfying the inequality ( 21 ) for all \(x \in V\).
Corollary 16
Let X be a normed space and let \(p, \theta , \xi\) be real constants such that \(p \not \in \{ 1, 2 \}\), \(a \not \in \{ -1, 0, 1 \}\) , and \(p, \xi , \theta > 0\) . If a mapping \(f : X \rightarrow Y\) satisfies ( 24 ) for all \(x \in X\) and the inequality
for all \(x_1, x_2, \ldots , x_n \in X\) , then there exists a unique additive mapping \(F : X \rightarrow Y\) satisfying the inequality ( 26 ) for all \(x \in X\).
Conclusions
The conditions (8) and (10) are given in the most stability theorems, and we try to prove (11) and (13) for the generalized Hyers-Ulam stability. Unfortunately, their proofs are usually long and tedious.
However, if we confine ourselves to the stability problems of the quadratic-additive type functional equations, then the condition (12) is a direct consequence of (11). Therefore, according to Theorem 1, it only needs to prove the conditions (7) and (9) by using (8) and (10) for the generalized Hyers-Ulam stability of these equations. In many practical applications, it is an easy thing to show that (7) and (9) are true provided the assumptions (8) and (10) are given.
In this way, we significantly simplify the proof for the stability of quadratic-additive type functional equations. Hence, Theorem 1 has the strong advantage of other stability theorems. The same things are valid for the other main theorems of this paper, Theorems 2 and 3.
References
Alotaibi A, Mohiuddine SA (2012) On the stability of a cubic functional equation in random 2-normed spaces. Adv Difference Equ 2012:39
Aoki T (1950) On the stability of the linear transformation in Banach spaces. J Math Soc Japan 2:64–66
Bahyrycz A, Olko J (2015 in press) On stability of the general linear equation. Aequationes Math 89:1461. doi:10.1007/s00010-014-0317-z
Brzdȩk J, Ciepliński K (2013) Hyperstability and superstability. Abstr Appl Anal 2013, Article ID 401756, 13 pages
Baker JA (2005) A general functional equation and its stability. Proc Amer Math Soc 133(6):1657–1664
Brillouët-Belluot N, Brzdȩk J, Ciepliński K (2012) On some recent developments in Ulam’s type stability. Abstr Appl Anal 2012, Article ID 716936, 41 pages
Chang I-S, Lee E-H, Kim H-M (2003) On Hyers-Ulam-Rassias stability of a quadratic functional equation. Math Inequal Appl 6:87–95
Cho Y-J, Rassias ThM, Saadati R (2013) Stability of functional equations in random normed spaces, Springer optimization and its applications, vol 86. Springer, New York
Czerwik S (2002) Functional equations and inequalities in several variables. World Scientific, Hackensacks
Eskandani GZ, Găvruţa P, Kim G-H (2012) On the stability problem in fuzzy Banach space. Abstr Appl Anal 2012, Article ID 763728, 14 pages
Forti G-L (2007) Elementary remarks on Ulam. Hyers stability of linear functional equations. J Math Anal Appl 328:109–118
Găvruţa P (1994) A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J Math Anal Appl 184:431–436
Hyers DH (1941) On the stability of the linear functional equation. Proc Natl Acad Sci USA 27:222–224
Hyers DH, Isac G, Rassias ThM (1998) Stability of functional equations in several variables. Birkhäuser, Boston
Jun K-W, Kim H-M (2004) On the stability of a general quadratic functional equation and its applications. Chungcheong Math Soc 17:57–75
Jun K-W, Kim H-M (2004) The generalized Hyers-Ulam stability of a general quadratic functional equation. J Appl Math Comput 15:377–392
Jun K-W, Kim H-M (2005) On the Hyers-Ulam stability of a generalized quadratic and additive functional equation. Bull Korean Math Soc 42:133–148
Jun K-W, Kim H-M (2006) On the stability of an n-dimensional quadratic-additive functional equation. Math Inequal Appl 9:153–165
Jun K-W, Lee Y-H (2001) On the Hyers-Ulam-Rassias stability of a Pexiderized quadratic inequality. Math Inequal Appl 4:93–118
Jung S-M (1998) On the Hyers-Ulam stability of the functional equations that have the quadratic property. J Math Anal Appl 222:126–137
Jung S-M (2011) Hyers-Ulam-Rassias stability of functional equations in nonlinear analysis, Springer optimization and its applications, vol 48. Springer, New York
Jung S-M, Sahoo P-K (2002) Stability of a functional equation of Drygas. Aequationes Math 64:263–273
Lee Y-H (2013) Hyers-Ulam-Rassias stability of a quadratic-additive type functional equation on a restricted domain. Int J Math Anal (Ruse) 7:2745–2752
Lee Y-H (2008) On the stability of the monomial functional equation. Bull Korean Math Soc 45(2):397–403
Lee Y-H, Jun K-W (2000) On the stability of approximately additive mappings. Proc Amer Math Soc 128:1361–1369
Lee Y-H, Jung S-M (2015) A general uniqueness theorem concerning the stability of additive and quadratic functional equations. J Funct Spaces 2015, Article ID 643969, 8 pages
Lee Y-H, Jung S-M (2015) A general uniqueness theorem concerning the stability of monomial functional equations in fuzzy spaces. J Inequal Appl. no. 66, 11 pages
Mohiuddine SA (2009) Stability of Jensen functional equation in intuitionistic fuzzy normed space. Chaos Solitons Fractals 42:2989–2996
Mohiuddine SA, Şevli H (2011) Stability of Pexiderized quadratic functional equation in intuitionistic fuzzy normed space. J Comput Appl Math 235:2137–2146
Mursaleen M, Mohiuddine SA (2009) On stability of a cubic functional equation in intuitionistic fuzzy normed spaces. Chaos Solitons Fractals 42:2997–3005
Nakmahachalasint P (2007) Hyers-Ulam-Rassias and Ulam-Gavruta-Rassias stabilities of an additive functional equation in several variables. Int J Math Math Sci 2007, Article ID 13437, 6 pages
Nakmahachalasint P (2007) On the generalized Ulam-Găvruţa-Rassias stability of mixed-type linear and Euler-Lagrange-Rassias functional equations. Int J Math Math Sci 2007, Article ID 63239, 10 pages
Najati A, Moghimi MB (2008) Stability of a functional equation deriving from quadratic and additive functions in quasi-Banach spaces. J Math Anal Appl 337:399–415
Piszczek M, Szczawińska J (2013) Hyperstability of the Drygas functional equation. J Funct Spaces Appl 2013, Article ID 912718, 4 pages
Rassias ThM (1978) On the stability of the linear mapping in Banach spaces. Proc Amer Math Soc 72:297–300
Towanlong W, Nakmahachalasint P (2009) An n-dimensional mixed-type additive and quadratic functional equation and its stability. ScienceAsia 35:381–385
Ulam SM (1960) A Collection of Mathematical Problems. Interscience Publ, New York
Authors’ contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
Acknowledgements
The authors are grateful to anonymous referees for their kind comments and suggestions. Soon-Mo Jung was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No. 2013R1A1A2005557).
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lee, YH., Jung, SM. A general theorem on the stability of a class of functional equations including quadratic-additive functional equations. SpringerPlus 5, 159 (2016). https://doi.org/10.1186/s40064-016-1771-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-1771-y
Keywords
- Generalized Hyers-Ulam stability
- Functional equation
- n-dimensional quadratic-additive type functional equation
- Direct method