Abstract
Using the fixed point method, we prove the Hyers–Ulam stability of a cubic and quartic functional equation and of an additive and quartic functional equation in matrix Banach algebras.
Similar content being viewed by others
1 Introduction and preliminaries
Ulam [30] raised a question concerning the stability of group homomorphisms. The functional equation
is familiar as a Cauchy equation, in particular, every solution of a Cauchy equation is called an additive mapping. Hyers [15] gave the first answer to the question of Ulam for Banach spaces as follows.
Theorem 1.1
Let X and Y be Banach spaces. Assume that \(f:X\rightarrow Y\) satisfies
for all \(x,y\in X\) and some \(\varepsilon \geq 0\). Then there exists a unique additive mapping \(T:X\rightarrow Y\) such that \(\|f(x)-T(x)\|\leq \varepsilon \) for all \(x\in X\).
Hyers’ theorem was generalized by Aoki [1] for additive mappings and by Rassias [28] for linear mappings by considering an unbounded Cauchy difference. A generalization of Rassias’ theorem was given by Gavruta [13] by replacing the unbounded Cauchy difference with a general control function. In 1982, Rassias [24] after the innovative approach of the Rassias’ theorem [28] replaced \(\|x\|^{p} + \|y\|^{p}\) by \(\|x\|^{p} \cdot \|y\|^{q}\) for \(p, q \in \mathbb{R}\) with \(p+q \ne 1\). A generalization of Hyers–Ulam stability problem for the quadratic functional equation was given by Skof [29] for mappings \(f : X \rightarrow Y\), where X is a normed space and Y is a Banach space. Cholewa [10] noticed that the theorem of Skof is still true if the relevant domain X is replaced by an abelian group. Czerwik [11] proved the Hyers–Ulam stability of the quadratic functional equation. The stability problem of functional equations has been discussed by many mathematicians using different spaces and mappings. Park and Najati [22] proved the Hyers–Ulam stability of functional equations in real Banach spaces. The stability problems of several functional equations have been extensively investigated by a number of authors and there are many interesting results concerning this problem (see [2, 3, 5, 16, 21, 24]).
In [26, 27], Rassias first introduced and investigated the cubic functional equation
In [18], Jun and Kim considered the following cubic functional equation:
It is easy to show that the function \(f(x) = x^{3}\) satisfies the functional equation (1.1) and every solution of the cubic functional equation is said to be a cubic mapping. Rassias [25] first introduced and investigated the quartic functional equation.
and Lee et al. [20] investigated the quartic functional equation (1.2). It is easy to show that the function \(f(x) = x^{4} \) satisfies the functional equation (1.2) and every solution of the quartic functional equation is said to be a quartic mapping.
We recall a fundamental result in fixed point theory. For some recent papers on fixed point theory, see [4, 6, 14, 19].
Theorem 1.2
Let \((U, d)\) be a complete generalized metric space and \(J:U \rightarrow U\) be a strictly contractive mapping with Lipschitz constant \(L<1\). Then, for each given element \(x\in U\), either
for all nonnegative integers n or there is a positive integer \(n_{0}\) such that
\((1)\) \(d(J^{n} x, J^{n+1}x) <\infty \) for all \(n\ge n_{0}\);
\((2)\) the sequence \(\{J^{n} x\}\) converges to a fixed point \(y^{*}\) of J;
\((3)\) \(y^{*}\) is the unique fixed point of J in the set \(Y = \{y\in U | d(J^{n_{0}} x, y) <\infty \}\);
\((4)\) \(d(y, y^{*}) \le \frac{1}{1-L} d(y, Jy)\) for all \(y \in Y\).
We will use the following notations:
-
\(M_{n}(U)\) is the set of all \(n \times n\)-matrices in U;
-
\(e_{j} \epsilon M_{1,n}(\mathbb{C}) \) means that jth component is 1 and the other components are zero;
-
\(E_{ij}\epsilon M_{n}(\mathbb{C})\) is that the \((i, j)\)-component is 1 and the other components are zero;
-
\(E_{ij}\otimes x \epsilon M_{n}(\mathbb{C}) \) means that the \((i, j)\)-component is x and the other components are zero;
-
for \(x \epsilon M_{n}(U)\), \(y \epsilon M_{n}(U)\),
$$\begin{aligned} x \oplus y= \begin{pmatrix}x& 0\\0 & y\end{pmatrix}. \end{aligned}$$
Note that \((U,{\| \cdot \|}_{n})\) is a matrix normed space if and only if \((M_{n}(U),{\| \cdot \|}_{n} )\) is a normed space for each positive integer n and
holds for \(A\in M_{n}(\mathbb{C})\), \(x=[x_{ij}] \in M_{n}(\mathbb{C})\) and \(B\in M_{n, k}(\mathbb{C})\)) and that \((U,{\| \cdot \|}_{n})\) is a matrix Banach space if and only if U is a Banach space and \((U,{\|\cdot \|}_{n})\) is a matrix normed space. A matrix Banach space \((U, {\| \cdot \|}_{n})\) is called a matrix Banach algebra if U is an algebra. A matrix normed space \((U, {\|\cdot \|}_{n})\) is called an \(L^{\infty }\)-matrix normed space if
holds for all \(x \in M_{n}(U)\), \(y \in M_{k}(U)\).
Let E, F be vector spaces. For a given mapping \(h:E\rightarrow F\) and a given positive integer n, define \(h_{n}:M_{n}(E) \rightarrow M_{n}(F)\) by
for all \([x_{ij}] \in M_{n}(E)\).
Lemma 1.3
Let (\(U,\|.\|_{n}\)) be a matrix normed space.
-
\(\|E_{kl}\otimes x\|_{n}=\|x\|\) for \(x\in U\).
-
\(\|x_{kl}\|\leq \|[x_{ij}]\|_{n}\leq \sum_{i,j=1}^{n} \|x_{ij} \|\) for \([x_{ij}]\in M_{n}(U)\).
-
\(\lim_{n\rightarrow \infty }x_{n}=x\) if and only if \(\lim_{n\rightarrow \infty }x_{nij}=x_{ij}\) for \(x_{n}=[x_{ij}]\), \(x=[x_{ij}] \in M_{k}(U)\).
This paper is organized as follows: In Sects. 2 and 3, using the fixed point method, we prove the Hyers–Ulam stability of the cubic and quartic functional equation
in matrix Banach algebras. In Sects. 4 and 5, using the fixed point method, we prove the Hyers–Ulam stability of the additive and quartic functional equation
in matrix Banach algebras.
In 1996, Rassias and Isac [17] were the first to provide applications of stability theory of functional equations for the proof of new fixed point theorems with applications. By using the fixed point method, the stability problems of several functional equations have been extensively investigated by a number of authors (see [9, 23]).
Throughout this paper, we assume that X is a matrix normed space and that Y is a matrix Banach algebra.
2 Fixed points and Hyers–Ulam stability of a cubic and quartic functional equation: an even case
One can easily show that an even mapping \(f:X \rightarrow Y\) satisfies (1.3) if and only if the even mapping \(f: X \rightarrow Y\) is a quartic mapping, i.e.,
and that an odd mapping \(f:X\rightarrow Y\) satisfies (1.3) if and only if the odd mapping \(f:X\rightarrow Y\) is a cubic mapping, i.e.,
It is easy to show that the function \(f(x)=ax^{3}+bx^{4}\) satisfies the functional equation (1.3).
For a given mapping \(f:X \rightarrow Y\), we define
for all \(x, y \in \) X.
Using the fixed point method, we prove the Hyers–Ulam stability of the functional equation \(Df(x, y) = 0\) in matrix Banach algebras: an even case.
Theorem 2.1
Let \(f:X\rightarrow Y\) be a mapping with \(f(0)=0\) for which there exists a function \(\varphi :X^{2}\rightarrow [0, \infty )\) such that there exists an \(L<1\) satisfying
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\). Then there exists a unique quartic mapping \(Q:X\rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
Setting \(n = 1\) in (2.2), we get
Letting \(y = 0\) in (2.4), we get
for all \(x \in X\). Replacing x by −x in (2.5), we get
for all \(x \in X\). Consider the set
and introduce the generalized metric on S:
It is easy to show that \((S, d)\) is complete (see [8, Theorem 2.5]).
Now we consider the linear mapping \(J: S \rightarrow S\) such that
for all \(x \in X\). It follows from [7, Theorem 3.1] that
for all \(g, h \in S\).
Let \(g(x) := f(x) + f(-x)\) for all \(x \in X\). Then \(g : X \rightarrow Y \) is an even mapping. It follows from (2.5) and (2.6) that
for all \(x \in X\). So
for all \(x \in X\). Hence \(d(g, Jg) \leq \frac{L}{32}\).
By Theorem 1.2, there exists a mapping \(Q : X \rightarrow Y\) satisfying the following:
(1) Q is a fixed point of J, i.e.,
for all \(x \in X\). Then \(Q : X \rightarrow Y\) is an even mapping. The mapping Q is a unique fixed point of J in the set
This implies that Q is a unique mapping satisfying (2.7) such that there exists a \(K \in (0, \infty )\) satisfying
for all \(x \in X\).
(2) \(d(J^{n}g,Q) \rightarrow 0\) as \(m \rightarrow \infty \). This implies the equality
for all \(x \in X\).
(3) \(d(g,Q) \leq \frac{1}{1-L}d(g, Jg)\), which implies the inequality
This implies that the inequality (2.3) holds.
It follows from (2.1), (2.2) and (2.8) that
for all \(x, y \in X\). So \(DQ(x, y) = 0\) for all \(x, y \in \) X. Since \(Q : X \rightarrow Y \) is even, the mapping \(Q : X \rightarrow Y \) is a quartic mapping.
By Lemma 1.3, there exists a unique quartic mapping \(Q : X \rightarrow Y \) satisfying (2.3), as desired. □
Example 2.2
Let \(\varphi :\mathbb{R}^{2}\rightarrow [0, \infty )\) be a function defined by
where \(\zeta >0\) is a constant. Define a function \(f_{q}:\mathbb{R}\rightarrow \mathbb{R}\) by
Then \(f_{q}\) satisfies the functional inequality
for all \(x \in \mathbb{R}\). Let
for all \(x \in \mathbb{R}\). We define the set \(S=\{g_{q}:\mathbb{R}\rightarrow \mathbb{R}, g_{q}(0)=0\}\) and consider the generalized metric on S as described in the proof of the above theorem. Also consider the mapping \(J:S\rightarrow S\) such that
Now
It is clear that
Moreover, we have
Hence
Also we can show that
The above result implies the following:
Therefore all the conditions are fulfilled and by Lemma 1.3, \(Q:\mathbb{R}\rightarrow \mathbb{R}\) satisfies (2.3).
Corollary 2.3
Let \(p >4\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping such that
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\). Then there exists a unique quartic mapping \(Q : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
The proof follows from Theorem 2.1 by taking \(L = 2^{4-p}\) and
for all \(x,y\in X\). □
Remark 2.4
Let \(f : X \rightarrow Y\) be a mapping with \(f(0) = 0\) for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) satisfying (2.2) and
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\) and for some L with \(0< L <1\). By a similar method to the proof of Theorem 2.1, one can show that there exists a unique quartic mapping \(Q : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Similarly, one can obtain a similar result to Corollary 2.3: Let \(0 < p<4\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y\) be a mapping satisfying (2.10). Then there exists a unique quartic mapping \(Q : X \rightarrow Y\)
for all \([x_{ij}] \in M_{n}(X)\).
3 Fixed points and Hyers–Ulam stability of a cubic and quartic functional equation: an odd case
Using the fixed point method, we prove the Hyers–Ulam stability of the functional equation \(Df(x,y)=0\) in matrix Banach algebras: an odd case.
Theorem 3.1
Let \(f: X \rightarrow Y\) be a mapping with \(f(0) = 0\) for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) such that there exists an \(L <1\) satisfying (2.2) and
for all \([x_{ij}] , [y_{ij}]\in M_{n}(X)\). Then there exists a unique cubic mapping \(C: X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
Setting \(n = 1\) in (2.2), we get
Letting \(y = 0\) in (3.3), we get
for all \(x \in X\). Replacing x by −x in (3.4), we get
for all \(x \in X\).
Consider the set
and introduce the generalized metric on S:
It is easy to show that \((S, d)\) is complete (see [8, Theorem 2.5]).
Now we consider the linear mapping \(J: S \rightarrow S\) such that
for all \(x \in X\). It follows from [7, Theorem 3.1] that
for all \(g, h \in S\).
Let \(g(x) := f(x) - f(-x)\) for all \(x \in X\). Then \(g : X \rightarrow Y\) is an odd mapping. It follows from (3.3) and (3.4) that
for all \(x \in X\). So
for all \(x \in X\). Hence \(d(g, Jg) \leq \frac{L}{16}\).
By Theorem 1.2, there exists a mapping \(C : X \rightarrow Y\) satisfying the following:
(1) C is a fixed point of J, i.e.,
for all \(x \in X\). Then \(C : X \rightarrow Y\) is an odd mapping. The mapping C is a unique fixed point of J in the set
This implies that C is a unique mapping satisfying (3.6) such that there exists a \(K \in (0, \infty )\) satisfying
for all \(x \in X\).
(2) \(d(J^{n}g,C) \rightarrow 0\) as \(m \rightarrow \infty \). This implies the equality
for all \(x \in X\).
(3) \(d(g,C) \leq \frac{L}{16-16L}\), which implies the inequality (3.2) holds.
It follows from (3.1), (2.2) and (3.7) that
for all \(x, y \in X\). So \(DC(x, y) = 0 \) for all \(x, y\in \) X. Since \(C : X \rightarrow Y \) is odd, the mapping \(C : X \rightarrow Y \) is a cubic mapping. By Lemma 1.3, there exists a unique cubic mapping \(C : X \rightarrow Y \) satisfying (3.2), as desired. □
Corollary 3.2
Let \(p >3\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping satisfying (2.10). Then there exists a unique cubic mapping \(C : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
The proof follows from Theorem 3.1 by taking \(L = 2^{3-p}\) and
for all \(x,y \in X\). □
Combining Corollaries 2.3 and 3.2, we get the following.
Theorem 3.3
Let \(p >4\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping satisfying (2.10). Then there exist a unique quartic mapping \(Q : X \rightarrow Y\) and a unique cubic mapping \(C : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Remark 3.4
Let \(f : X \rightarrow Y\) be a mapping with \(f(0) = 0\) for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) satisfying (2.2) and
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\) and for some L with \(0< L<1\). By a similar method to the proof of Theorem 3.1, one can show that there exists a unique cubic mapping \(C : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Similarly, one can obtain a similar result to Corollary 3.2: Let \(0 < p < 3\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y\) be a mapping satisfying (2.10). Then there exists a unique cubic mapping \(C : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Combining Remarks 2.4 and 3.4, we get the following.
Theorem 3.5
Let \(0< p<3\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping satisfying (2.10). Then there exist a unique quartic mapping \(Q : X \rightarrow Y\) and a unique cubic mapping \(C : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
4 Fixed points and Hyers–Ulam stability of an additive and quartic functional equation: an even case
One can easily show that an even mapping \(f : X \rightarrow Y\) satisfies (1.4) if and only if the even mapping \(f : X \rightarrow Y\) is a quartic mapping, i.e.,
and that an odd mapping \(f : X \rightarrow Y\) satisfies (1.4) if and only if the odd mapping \(f : X \rightarrow Y\) is an additive mapping, i.e.,
It is easy to show that the function \(f(x) = ax+bx^{4}\) satisfies the functional equation (1.4).
For a given mapping \(f : X \rightarrow Y\), we define
for all \(x, y \in \) X.
Using the fixed point method, we prove the Hyers–Ulam stability of the functional equation \(Cf(x, y) = 0\) in matrix Banach algebras: an even case.
Theorem 4.1
Let \(f: X \rightarrow Y\) be a mapping with \(f(0) = 0\) for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) such that there exists an \(L <1\) such that
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\). Then there exists a unique quartic mapping \(Q: X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
Setting \(n = 1\) in (4.2), we have
for all \(x,y\in X\). Letting \(y = 0\) in (4.4), we obtain
for all \(x \in X\). Replacing x by −x in (4.5), we get
for all \(x \in X\).
Consider the set
and introduce the generalized metric on S:
It is easy to show that \((S, d)\) is complete (see [8, Theorem 2.5]).
Now we consider the linear mapping \(J: S \rightarrow S\) such that
for all \(x \in X\). It follows from the proof of [7, Theorem 3.1] that
for all \(g, h \in S\).
Let \(g(x) := f(x) + f(x)\) for all \(x \in X\). Then \(g : X \rightarrow Y \) is an even mapping. It follows from (4.5) and (4.6) that
for all \(x \in X\). So
for all \(x \in X\). Hence \(d(g, Jg) \leq \frac{L}{32}\).
The rest of the proof is similar to the proof of Theorem 2.1. □
Corollary 4.2
Let \(p > 4\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping such that
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\). Then there exists a unique quartic mapping \(Q : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
The proof follows from Theorem 4.1 by taking \(L = 2^{4-p}\) and
for all \(x,y\in X\). □
Remark 4.3
Let \(f : X \rightarrow Y\) be a mapping with \(f(0) = 0\) for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) satisfying (4.2) and
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\) and for some L with \(0< L<1\). By a similar method to the proof of Theorem 4.1, one can show that there exists a unique quartic mapping \(Q : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\). Similarly, one can obtain a similar result to Corollary 4.2: Let \(0< p < 4\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y\) be a mapping satisfying (4.7). Then there exists a unique quartic mapping \(Q : X \rightarrow Y\)
for all \([x_{ij}] \in M_{n}(X)\).
5 Fixed points and Hyers–Ulam stability of an additive and quartic functional equation: an odd case
Using the fixed point method, we prove the Hyers–Ulam stability of the functional equation \(Cf(x, y) = 0\) in matrix Banach algebras: an odd case.
Theorem 5.1
Let \(f: X \rightarrow Y\) be a mapping with f(0) = 0 for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) satisfying (4.2) such that there exists an \(L <1\) such that
for all \([x_{ij}], [y_{ij}]\in M_{n}(X)\). Then there exists a unique additive mapping \(A: X \rightarrow Y\) satisfying
\([x_{ij}] \in M_{n}(X)\).
Proof
Setting \(n = 1\) in (4.2), we get
for all \(x,y\in X\). Letting \(y = 0\) in (5.2), we have
for all \(x \in X\). Replacing x by −x in (5.3), we obtain
for all \(x \in X\).
Consider the set
and introduce the generalized metric on S:
It is easy to show that \((S, d)\) is complete (see [8, Theorem 2.5]).
Now we consider the linear mapping \(J: S \rightarrow S\) such that
for all \(x \in X\). It follows from the proof of [7, Theorem 3.1] that
for all \(g, h \in S\).
Let \(g(x) := f(x) - f(-x)\) for all \(x \in X\). Then \(g : X \rightarrow Y \) is an odd mapping. It follows from (5.3) and (5.4) that
for all \(x \in X\). So
for all \(x \in X\). Hence \(d(g, Jg) \leq \frac{L}{4}\).
The rest of the proof is similar to the proofs of Theorems 2.1 and 3.1. □
Example 5.2
Let \(\varphi :\mathbb{R}^{2}\rightarrow [0, \infty )\) be a function defined by
where \(\zeta >0\) is a constant. Define a function \(f_{q}:\mathbb{R}\rightarrow \mathbb{R}\) by
Then \(f_{q}\) satisfies the functional inequality
for all \(x \in \mathbb{R}\). By the same procedure as in Example 2.2, we can find a mapping \(A_{q}\) satisfying the inequality (5.1).
Corollary 5.3
Let \(p > 3\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping satisfying (4.7). Then there exists a unique cubic mapping \(A : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Proof
The proof follows from Theorem 5.1 by taking \(L = 2^{1-p}\) and
for all \(x,y\in X\). □
Combining Corollaries 4.2 and 5.3, we get the following.
Theorem 5.4
Let \(p > 4\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping satisfying (4.7). Then there exist a unique quartic mapping \(Q : X \rightarrow Y\) and a unique additive mapping \(A : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Remark 5.5
Let \(f : X \rightarrow Y\) be a mapping with \(f(0) = 0\) for which there exists a function \(\varphi : X^{2} \rightarrow [0, \infty )\) satisfying (4.2) and
for all \([x_{ij}], [y_{ij}] \in M_{n}(X)\) and for some L with \(0< L<1\). By a similar method to the proof of Theorem 5.1, one can show that there exists a unique additive mapping \(A : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Similarly, one can obtain a similar result to Corollary 5.3: Let \(0 < p < 3\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y\) be a mapping satisfying (4.7). Then there exists a unique additive mapping \(A : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Combining Remarks 4.3 and 5.5, we get the following.
Theorem 5.6
Let \(0 < p < 1\) and \(\phi \geq 0\) be real numbers and \(f : X \rightarrow Y \) be a mapping satisfying (4.7). Then there exist a unique quartic mapping \(Q : X \rightarrow Y\) and a unique additive mapping \(A : X \rightarrow Y\) satisfying
for all \([x_{ij}] \in M_{n}(X)\).
Availability of data and materials
Not applicable.
References
Aoki, T.: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64–66 (1950)
Ayoubi, M., Zeglami, D.: D’Alembert’s functional equations on monoids with an anti-endomorphism. Results Math. 75(2), Article ID 74 (2020)
Badora, R.: The Ulam stability problem for the functional equation \(f(x\star g(y))=f(x)f(y)\). Results Math. 75(2), Article ID 62 (2020)
Baradol, P., Gopal, D., Radenovic, S.: Computational fixed points in graphical rectangular metric spaces with application. J. Comput. Appl. Math. 375, 112805 (2020)
Bourgin, D.G.: Classes of transformations and bordering transformations. Bull. Am. Math. Soc. 57, 223–237 (1951)
Budhia, L., Aydi, H., Ansari, A.H., Gopal, D.: Some new fixed point results in rectangular metric spaces with an application to fractional-order functional differential equations. Nonlinear Anal., Model. Control 25(4), 580–597 (2020)
Cadariu, L., Radu, V.: Fixed points and the stability of Jensen’s functional equation. J. Inequal. Pure Appl. Math. 4(1), Article ID 4 (2003)
Cadariu, L., Radu, V.: On the stability of the Cauchy functional equation: a fixed point approach. Grazer Math. Ber. 346, 43–52 (2004)
Cadariu, L., Radu, V.: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory Appl. 2008, Article ID 749392 (2008)
Cholewa, P.W.: Remarks on the stability of functional equations. Aequ. Math. 27, 76–86 (1984)
Czerwik, S.: On the stability of the quadratic mapping in normed spaces. Abh. Math. Semin. Univ. Hamb. 62, 59–64 (1992)
Diaz, J., Margolis, B.: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull. Am. Math. Soc. 74, 305–309 (1968)
Găvruta, P.: A generalization of the Hyers–Ulam–Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 184, 431–436 (1994)
Gopal, D., Abbas, M., Patel, D.K., Vetro, C.: Fixed points of α-type F-contractive mappings with an application to nonlinear fractional differential equation. Acta Math. Sci. 36(3), 957–970 (2016)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941)
Hyers, D.H., Isac, G., Rassias, Th.M.: Stability of Functional Equations in Several Variables. Birkhäuser, Basel (1998)
Isac, G., Rassias, Th.M.: Stability of ψ-additive mappings: applications to nonlinear analysis. Int. J. Math. Math. Sci. 19, 219–228 (1996)
Jun, K., Kim, H.: The generalized Hyers–Ulam–Rassias stability of a cubic functional equation. J. Math. Anal. Appl. 274, 867–878 (2002)
Lakzian, H., Gopal, D., Sintunavarat, W.: New fixed point results for mappings of contractive type with an application to nonlinear fractional differential equations. J. Fixed Point Theory Appl. 18, 251–266 (2016)
Lee, S., Im, S., Hwang, I.: Quartic functional equations. J. Math. Anal. Appl. 307, 387–394 (2005)
Park, C., Cho, Y., Han, M.: Functional inequalities associated with Jordan–von Neumann type additive functional equations. J. Inequal. Appl. 2007, Article ID 41820 (2007)
Park, C., Najati, A.: Homomorphisms and derivations in \(C^{*}\)-algebras. Abstr. Appl. Anal. 2007, Article ID 80630 (2007)
Radu, V.: The fixed point alternative and the stability of functional equations. Fixed Point Theory 4, 91–96 (2003)
Rassias, J.M.: On approximation of approximately linear mappings by linear mappings. J. Funct. Anal. 46, 126–130 (1982)
Rassias, J.M.: Solution of the Ulam stability problem for quartic mappings. J. Indian Math. Soc. 67, 169–178 (2000)
Rassias, J.M.: Solution of the Ulam problem for cubic mappings. An. Univ. Vest. Timiş., Ser. Mat.-Inform. 38, 121–132 (2000)
Rassias, J.M.: Solution of the Ulam stability problem for cubic mappings. Glas. Mat. Ser. III 36(56), 63–72 (2001)
Rassias, Th.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)
Skof, F.: Propriet‘a locali e approssimazione di operatori. Rend. Semin. Mat. Fis. Milano 53, 113–129 (1983)
Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1960)
Acknowledgements
The authors thank the Basque Government for its support of this work through Grant IT1207-19. We would like to express our gratitude to the anonymous referees for their helpful suggestions and corrections.
Funding
This study is supported financially by the Basque Government through Grant IT1207-19.
Author information
Authors and Affiliations
Contributions
The authors equally conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Batool, A., Nawaz, S., Ege, O. et al. Hyers–Ulam stability of functional inequalities: a fixed point approach. J Inequal Appl 2020, 251 (2020). https://doi.org/10.1186/s13660-020-02520-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02520-8