Abstract
In this paper, we show that approximate derivations on Banach ∗-algebras are exactly derivations and also show that approximate quadratic ∗-derivations on Banach ∗-algebras are exactly quadratic ∗-derivations by the fixed point theorem.
Similar content being viewed by others
1 Introduction
Let \(\mathcal {A}\) be a Banach ∗-algebra. A map \(\delta: \mathcal {A}\to \mathcal {A}\) is called a derivation on \(\mathcal {A}\) if it satisfies the following property:
for all \(a,b\in \mathcal {A}\) and \(\lambda \in \mathbf{C}\). Equation (1.2) is called the derivation property. If δ satisfies the additional condition \(\delta (a^{*}) = \delta (a)^{*}\) for all \(a \in \mathcal {A}\), then δ is called a ∗-derivation on \(\mathcal {A}\). Sakai showed that if \(\mathcal {A}\) is a \(C^{*}\)-algebra, then the ∗-derivation δ is bounded. And also he showed that \(\delta (x) = ad_{ih} (x) = i(hx -xh) \) for some self-adjoint element h in the enveloping von Neumann algebra \(A''\) of the \(C^{*}\)-algebra A. If the self-adjoint element h is in the multiplier algebra \(M(\mathcal {A}) \) of \(\mathcal {A}\), δ is called an inner ∗-derivation on \(\mathcal {A}\). Furthermore, if we put \(U_{t} = \mathit{exp}^{ith}\) for h in \(M(\mathcal {A})\) and \(t \in \mathbf{R}\), then \(U_{t}\) can be a unitary operator and generate a one-parameter group of ∗-automorphisms on \(\mathcal {A}\). So bounded derivations of \(C^{*}\)-algebras have deep relations with generators of \(C^{*}\)-dynamical systems. Besides these, since derivations play an important role in the classifications of operator algebras, the theory of bounded ∗-derivations of \(C^{*}\)-algebras is very important in the theory of quantum mechanics and operator algebras [1–3].
We can say that a mathematical property is stable if any mathematical object satisfying a certain mathematical property approximately is near to the object exactly satisfying the mathematical property. On the stability of the functional equation, Ulam was the first beginner. He suggested the question ‘Under what condition is there an additive mapping near an approximately additive mapping?’ in 1940. Hyers [4] gave an affirmative answer for the problem of Ulam on the case of Banach spaces after one year. Since then, there have been a lot of results obtained related to the stability problems of various functional equations (for instances, [5–13]). In particular, some of the important functional equations are the following functional equations:
which are called Cauchy additive functional equation and Cauchy quadratic functional equation, respectively.
It is said that a mathematical property is superstable if every mathematical object satisfying approximately the property is an exact object satisfying it. The superstability phenomenon was first investigated by Baker, Lawrence and Zorzitto, etc. [14–17]. They showed the superstability of the exponential functional equation from the vector space to the set of real numbers. In the proof of the superstability of the exponential functional equation, the multiplicative property of the norm was the necessary condition. We say that when E is a normed algebra and \(\Vert xy\Vert = \Vert x\Vert \Vert y\Vert \) for all \(x, y \in E\), the norm is multiplicative.
In this paper we define functional equations of a ∗-derivation and a quadratic ∗-derivation. And we show that the stability of ∗-derivations and ∗-quadratic derivations on Banach ∗-algebras without the multiplicative property of the norm are superstable by using the fixed point theorem.
In order to use the fixed point theory, we should introduce a fundamental result in the fixed point theory. Let S be a set. A function \(d: S \times S \rightarrow [0, \infty ]\) is called a generalized metric on S if d satisfies
-
(1)
\(d(x, y) = 0\) if and only if \(x=y\);
-
(2)
\(d(x, y) = d(y, x)\) for all \(x, y \in S\);
-
(3)
\(d(x, z) \le d(x, y) + d(y, z)\) for all \(x, y, z\in S\).
Theorem 1.1
Let \((S, d)\) be a complete generalized metric space, and let \(J: S \rightarrow S \) be a strictly contractive mapping with Lipschitz constant \(L<1\). Then, for each given element \(x\in S\), either
for all non-negative integers n or there exists a positive integer \(n_{0}\) such that
-
(1)
\(d(J^{n} x, J^{n+1}x) <\infty\), \(\forall n\ge n_{0}\);
-
(2)
the sequence \(\{J^{n} x\}\) converges to a point \(y^{*}\) in S;
-
(3)
\(J(y^{*}) = y^{*} \);
-
(4)
\(y^{*}\) is the unique fixed point of J in the set \(T = \{y \in S \mid d(J^{n_{0}} x, y) <\infty \}\);
-
(5)
\(d(y, y^{*}) \le \frac{1}{1-L} d(y, Jy)\) for all \(y \in T\).
2 Superstability of derivations on Banach ∗-algebras
Let \(\mathcal {A}\) denote a ∗-Banach algebra with the unit e in Section 1 and Section 2.
Theorem 2.1
Let \(\psi_{1} :\mathcal {A}\times \mathcal {A}\rightarrow [ 0 ,\infty) \) and \(\psi_{2} : \mathcal {A}\rightarrow [ 0,\infty) \) be functions. Suppose that \(f:\mathcal {A}\rightarrow \mathcal {A}\) is a mapping such that
for all \(\lambda \in \mathbb{T}\) and \(x, y \in \mathcal {A}\). If there exist a natural number \(s \in \mathbb{N}\) and \(0 < L <1\) such that \(\vert s\vert ^{-1}\psi_{1}(sx, sy) < L \psi_{1}(x,y)\), \(\vert s\vert ^{-1}\psi_{1}(sx,y)< L \psi_{1}(x,y)\), \(\vert s\vert ^{-1}\psi_{1}(x,sy)< L \psi_{1}(x,y)\), and \(\vert s\vert ^{-1}\psi_{2}(sx)< L \psi_{2}(x)\) for all \(x, y \in \mathcal {A}\), then f is a ∗-derivation on \(\mathcal {A}\).
Proof
If we put \(x = y\) and \(\lambda = 1\) in (2.1), then we have
for all \(x \in \mathcal {A}\). We can see that
for all \(x, y \in \mathcal {A}\) and \(n\geq 2\) by using the induction.
We put
for \(x \in \mathcal {A}\). Then we have
Let S be the set of all functions \(r:\mathcal {A}\to \mathcal {A}\). We define a function \(d: S \times S \to [0,\infty ]\) as follows:
for \(u, v \in S\). We can easily show that \((S, d)\) is a generalized complete metric space. Define a function \(H: S \to S \) by \(H(u)(x)=s ^{-1}u(sx)\). If we put
then we can have
It follows that for \(u, v \in S\)
Therefore H is a strictly contractive mapping on S with Lipschitz constant L. By (2.6),
This means that \(d(H(f),f) \leq 1/\vert s\vert \). By Theorem 1.1, H has a unique fixed point \(h: \mathcal {A}\to \mathcal {A}\) in the set
We see that for each \(x \in \mathcal {A}\)
From (2.6) we can have
for all \(x,y \in \mathcal {A}\) and \(\lambda \in \mathbf{T}\). Next, let \(\lambda = \lambda_{1} + \mathrm{i} \lambda_{2} \in \mathbb{C}\), where \(\lambda_{1} , \lambda_{2} \in \mathbb{R}\). Let \(\mu_{1}=\lambda _{1} -[\lambda_{1} ]\) and \(\mu_{2}=\lambda_{2} -[\lambda_{2} ]\), where \([\lambda ]\) denotes the integer part of λ. One can represent \(\mu_{i}\) as \(\mu_{i}=\frac{\lambda_{i,1}+ \lambda_{i,2} }{2}\) such that \(\lambda_{i,j} \in \mathbb{T}\) (\(1\leq i, j \leq 2\)). Since we show that \(h( \lambda x+y) = \lambda h(x) + h(y) \) for \(\lambda \in \mathbf{T}\), we can infer that
for all \(x \in \mathcal{A}\) and \(\lambda \in \mathbb{C}\). So h is a \(\mathbb{C}\)-linear map on \(\mathcal {A}\). For the involution of h, we can have
Next, we are going to prove the derivation property of h. Replacing x by \(s^{n}x\) and y by \(s^{n} y\) in (2.2) and dividing by \(s^{2n}\), we get
By taking \(n \to \infty \), we have
for all \(x,y \in \mathcal {A}\). It follows that h is a ∗-derivation on \(\mathcal {A}\). Next, if we replace x by \(s^{n}x\) in (2.2) and divide by \(s^{n}\), we get
for all \(x, y \in \mathcal {A}\) and all \(n \in \mathbb{N}\). By taking \(n \to \infty \), we have
for all \(x, y \in \mathcal {A}\). Fix \(m \in \mathbb{N}\). And considering the following equations
for all \(x,y \in \mathcal {A}\), we can get \(xf(y)=x {\frac{f(s^{m}y)}{s^{m}}}\) for all \(x,y \in \mathcal {A}\) and each \(m \in \mathbb{N}\). By taking \(m \to \infty \), we have \(xf(y) = xh(y)\). If we put \(x = e\), then \(h (y) =f(y)\) for all \(y \in \mathcal {A}\). So f is an exactly ∗-derivation on \(\mathcal {A}\). □
3 Superstability of quadratic ∗-derivations on Banach ∗-algebras
Definition 3.1
A mapping \(\delta : \mathcal {A}\to \mathcal {A}\) is a ∗-quadratic derivation of \(\mathcal {A}\) if a map δ satisfies the following properties: for all \(a, b \in \mathcal {A}\) and \(\lambda \in \mathbb{C}\),
-
(1)
\(\delta (a +b) + \delta (a -b) - 2\delta (a) - 2\delta (b) = 0\);
-
(2)
δ is quadratic homogeneous, that is, \(\delta (\lambda a)={\lambda }^{2} \delta (a)\);
-
(3)
\(\delta (ab) = \delta (a)b^{2} + a^{2} \delta (b)\);
-
(4)
\(\delta (a^{*}) = \delta (a)^{*}\).
Theorem 3.2
Let \(\psi_{1} : \mathcal {A}\times \mathcal {A}\rightarrow [ 0, \infty) \) and \(\psi_{2} : \mathcal {A}\rightarrow [ 0, \infty) \) be functions. Suppose that \(f: \mathcal {A}\rightarrow \mathcal {A}\) is a mapping such that
for all \(\lambda \in \mathbb{C}\) and \(x, y \in \mathcal {A}\). If there exist a natural number \(s \in \mathbb{N}\) and \(0< L <1\) such that \(2^{-2s}\psi _{1}(2^{s} x, 2^{s} y) < L \psi_{1}(x,y)\), \(2^{-2s}\psi_{1}(2^{s} x,y)< L \psi_{1}(x,y)\), \(2^{-2s}\psi_{1}(x, 2^{s} y)< L \psi_{1}(x,y)\), and \(2^{-2s}\psi_{2}(2^{s} x)< L \psi_{2}(x)\) for all \(x, y \in \mathcal {A}\), then f is a ∗-quadratic derivation on \(\mathcal {A}\).
Proof
If we put \(x = y\) and \(\lambda = 1\) in (3.1), then we have
By induction on n, we can see that
for all \(x, y \in \mathcal {A}\) and \(n\geq 2\). For simplicity, if we put
then we have
Let S be the set of all functions \(u: \mathcal {A}\to \mathcal {A}\). We define a function \(d: S \times S \to [0,\infty ]\) as follows:
We can easily show that \(( S, d)\) is a generalized complete metric space. Define a function \(H: S \to S\) by \(H(u)(x)=2^{-2s}u(2^{s}x)\). If we put \(d (u-v) = \alpha \) for \(u, v \in S\), then we can have
It follows that for \(u,v \in S \)
Hence H is a strictly contractive mapping on X with Lipschitz constant L. We have that for \(x \in \mathcal {A}\)
This means that \(d(H(f),f) \leq 1/ 2^{2 s} \). By Theorem 1.1, H has a unique fixed point \(h: \mathcal {A}\to A\) in the set
and for each \(x \in \mathcal {A}\)
From (3.9), we can have
for all \(x,y \in \mathcal {A}\). So h is a quadratic map on \(\mathcal {A}\). Since we can have that
it follows that h is quadratic homogeneous.
Next, if we replace x by \(2^{ns} x\) in (3.2) and divide by \(2^{-2sn}\), then we get
for all \(x,y \in \mathcal {A}\) and all \(n \in \mathbb{N}\). By taking \(n \to \infty \), we have
for all \(x,y \in \mathcal {A}\). Fix \(m \in \mathbb{N}\). If we consider the following equations
for all \(x,y \in \mathcal {A}\), then we have \(x^{2}f(y)=x^{2} \frac{f(2^{ms}y)}{2^{2ms}}\) for all \(x,y \in A\) and for each \(m \in \mathbb{N}\). Taking \(m \to \infty \), we have \(x^{2} f(y) = x ^{2} h(y)\). If we put \(x = e\), then \(h (y) =f(y)\) for all \(y \in \mathcal {A}\). So f is a ∗-quadratic derivation on \(\mathcal {A}\). □
4 Derivations on \(C^{*}\)-ternary algebras
A \(C^{*}\)-ternary algebra is a complex Banach space \(\mathcal {A}\) equipped with a ternary product \((x,y,z)\mapsto [x,y,z]\) of \(\mathcal {A}^{3}\) into \(\mathcal {A}\) satisfying the following properties:
-
(1)
\([\lambda x + u, y, z] = \lambda [x, y, z] + [u, y, z] \) for all \(\lambda \in \mathbb{C}\);
-
(2)
\([ x, \lambda y + u, z] = { \bar{\lambda }} [x, y, z] + [x, u, z] \) for all \(\lambda \in \mathbb{C}\);
-
(3)
\([ x, y, \lambda z + u ] = \lambda [x, y, z] + [x, y, u] \) for all \(\lambda \in \mathbb{C}\);
-
(4)
\([x,y,[z,w,v]]=[x,[w,z,y],v]=[[x,y,z],w,v]\);
-
(5)
\(\Vert [x,y,z]\Vert \le \Vert x\Vert \cdot \Vert y\Vert \cdot \Vert z\Vert \);
- (6)
for \(x, y, z, u, v, w \in \mathcal {A}\). We say that a \(C^{*}\)-ternary algebra \(\mathcal {A}\) has the unit e if there exists a unique element \(e \in \mathcal {A}\) such that \(x =[x, e,e] = [e, e, x]\) for all \(x \in \mathcal {A}\). Also we can define an involution ∗ on the \(C^{*}\)-ternary algebra \(\mathcal {A}\) with the unit e such as \([e, x, e] = x^{*}\) for each \(x \in \mathcal {A}\). A mapping \(\delta: \mathcal {A}\to \mathcal {A}\) is called a \(C^{*}\)-ternary derivation if it satisfies
for all \(x,y,z \in \mathcal {A}\) and \(\lambda \in \mathbb{C} \). In addition, if δ satisfies that \(\delta ([e, x, e])= [ e, \delta (x), e]\) on the \(C^{*}\)-ternary algebra \(\mathcal {A}\) with the unit e, then it is said that δ is an involutive \(C^{*}\)-ternary derivation on A.
Theorem 4.1
Let \(\mathcal {A}\) be a \(C^{*}\)-ternary algebra with the unit e. Let \(\psi_{1} :\mathcal {A}^{2} \rightarrow [ 0 ,\infty) \) and \(\psi_{2} :\mathcal {A}^{3} \rightarrow [ 0 ,\infty) \) be functions. Suppose that \(f:\mathcal {A}\rightarrow \mathcal {A}\) is a mapping such that
for all \(\lambda \in \mathbb{T}\). Also suppose that there exist a natural number \(s \in \mathbb{N}\) and \(0 < L <1\) such that \(\vert s\vert ^{-{(i+j)}}\psi_{1}(s^{i} x, s^{j} y) < L^{i+j} \psi_{1}(x,y)\), \(\vert s\vert ^{-{(i+j+k)}}\psi_{2}(^{i}sx, s^{j}y, s^{k}z)< L^{i+j+k} \psi_{2}(x,y, z)\) for all \(x, y, z \in \mathcal {A}\) and \(i, j, k = 0, 1\). Then f is an involutive \(C^{*}\)-ternary derivation on \(\mathcal {A}\).
Proof
If we put
for \(x \in \mathcal {A}\), then we have
similar to Theorem 2.1. Let S be the set of all functions \(r:\mathcal {A}\to \mathcal {A}\). We define a function \(d: S \times S \to [0,\infty ]\) as follows:
for \(u, v \in S\). We can easily show that \((S, d)\) is a generalized complete metric space. Define a function \(H: S \to S \) by \(H(u)(x)=s ^{-1}u(sx)\). When
then we can have
It follows that for \(u, v \in S\)
Therefore, H is a strictly contractive mapping on S with Lipschitz constant L. By (4.4),
This means that \(d(H(f),f) \leq 1/\vert s\vert \). By Theorem 1.1, H has a unique fixed point \(h: \mathcal {A}\to \mathcal {A}\) in the set
We see that for each \(x \in \mathcal {A}\)
We can see that h is a \(\mathbb{C}\)-linear map on \(\mathcal {A}\) similar to the proof of Theorem 2.1. Now we are going to prove the \(C^{*}\)-ternary derivation property of h.
Hence we have
for all \(x, y, z \in \mathcal {A}\). For the involution of h, we can have
So h is an involutive \(C^{*}\)-ternary derivation on \(\mathcal {A}\).
Replacing y by \(s^{n}y\) and z by \(s^{n} z\) in (4.2), dividing by \(s^{2n}\), and letting n go to the infinity, we get
So we have
for all \(x,y, z \in \mathcal {A}\). In (4.7) and (4.8) we put \(f(x) - h(x)\) instead of y and z, then we can get \(\Vert h(x) -f(x) \Vert = 0\). So f is an exactly involutive \(C^{*}\)-ternary derivation on \(\mathcal {A}\). □
References
Bratteli, O: Derivation, Dissipation and Group Actions on C ∗-Algebras. Lecture Notes in Math., vol. 1229. Springer, Berlin (1986)
Bratteli, O, Kishimoto, A, Robinson, DW: Approximately inner derivations. Math. Scand. 103, 141-160 (2008)
Jang, SY: Approximate ∗-derivations on fuzzy Banach ∗-algebras. Adv. Differ. Equ. doi:10.1180/1687-1847-2012-132
Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222-224 (1941)
Czerwik, S: On the stability of the quadratic mapping in normed spaces. Abh. Math. Semin. Univ. Hamb. 62, 59-64 (1992)
Cădariu, L, Găvruta, L, Găvruta, P: On the stability of an affine functional equation. J. Nonlinear Sci. Appl. 6, 60-67 (2013)
Hyers, DH, Isac, G, Rassias, TM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel (1998)
Jung, SM, Popa, D, Rassias, MT: On the stability of the linear functional equation in a single variable on complete metric groups. J. Glob. Optim. 59, 165-171 (2014)
Kannappan, P: Functional Equations and Inequalities with Applications. Springer, Berlin (2009)
Miheţ, D, Radu, V: On the stability of the additive Cauchy functional equation in random normed spaces. J. Math. Anal. Appl. 343, 567-572 (2008)
Moslehian, MS, Rahbarnia, F, Sahoo, PK: Approximate double centralizers are exact double centralizers. Bol. Soc. Mat. Mexicana 13, 111-122 (2007)
Skof, F: Proriet locali e approssimazione di operatori. Rend. Semin. Mat. Fis. Milano 53, 113-129 (1983)
Rassias, TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297-300 (1978)
Baker, JA, Lawrence, J, Zorzitto, F: The stability of the equation \(f(x +y) = f(x)f(y)\). Proc. Am. Math. Soc. 74, 242-246 (1979)
Baker, JA: The stability of the cosine equation. Proc. Am. Math. Soc. 80, 411-416 (1980)
Cholewa, PW: The stability of the sine equation. Proc. Am. Math. Soc. 88, 631-634 (1983)
Szèkelyhidi, L: The stability of the sine and cosine functional equations. Proc. Am. Math. Soc. 110, 109-115 (1990)
Cădariu, L, Radu, V: Fixed points and the stability of Jensen’s functional equation. J. Inequal. Pure Appl. Math. 4(1), Article ID 4 (2003)
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)
Amyari, M, Moslehian, MS: Approximately ternary semigroup homomorphisms. Lett. Math. Phys. 77, 1-9 (2006)
Zettl, H: A characterization of ternary rings of operators. Adv. Math. 48, 117-143 (1983)
Acknowledgements
This paper was partially supported by the Research Fund of University of Ulsan, 2017.
The author would like to thank the referees for their useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that she has no competing interests.
Author’s contributions
The author 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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Jang, S.Y. Superstability of derivations on Banach ∗-algebras. Adv Differ Equ 2017, 193 (2017). https://doi.org/10.1186/s13662-017-1245-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1245-8