Abstract
Starting from the inequality
where f is a complex valued function defined on a monoid S, we deal with two problems: the stability problem and the problem of alienation of the approximate additivity condition from the condition of approximate exponentiality.
Similar content being viewed by others
1 Introduction
Since 1988, when J. Dhombres published his paper [5], many results concerning alienation of functional equations have appeared. Shortly speaking, given two functional equations \(E_1(f)=0\) and \(E_2(g)=0\) for two (possibly the same) functions f and g, we add the equations side by side obtaining
and we ask, one can think—hopelessly, whether from the above equation the starting conditions follow, that is,
Surprisingly, in many situations we observe such effect. We say then that equations in (2) are alien to each other. For a number of references on the subject, see a survey by R. Ger and M. Sablik [9].
Similarly, starting from two inequalities (for functions with values in normed spaces)
it follows that
with \(\varepsilon =\varepsilon _1 + \varepsilon _2\). Now, conversely, given \(E_1,\,E_2\), assume that functions \(f,\,g\) satisfy (4). Having in mind typical stability results (see, e.g., [11]) and the alienation phenomenon mentioned above, our considerations are going in two directions. First we ask whether there exist functions \(\widetilde{f}\) and \(\widetilde{g}\) satisfying (1), i.e., \( E_1(\widetilde{f})+E_2(\widetilde{g})=0 \), and such that functions f, \(\widetilde{f}\) and g, \(\widetilde{g}\) are in a sense close. The latter direction is determined by the alienation considerations: we ask whether there exist nonnegative \(\varepsilon _1,\,\varepsilon _2\) such that (3) holds. In the first case we say that equation (1) is stable and in the second—we will say that conditions in (3) are alien to each other. Even though in the literature one can find results treating inequalities of the form (4), the research concerns stability. The alienation point of view seems to be new in this situation.
In 1949, D.G. Bourgin [4] was studying the following system of inequalities
for f acting between two Banach algebras with units. Assuming the surjectivity of f, he obtained that f had to be a ring homomorphism, that is, f satisfies both \(f(x+y)=f(x)+f(y)\) and \(f(xy)=f(x)f(y)\). R. Badora ([3]) generalized this result getting rid of the surjectivity assumption.
From (5) it follows that
In [6], R. Ger studied inequality (6) assuming that
-
f acts from a ring \(\mathcal R\) with a unit 1 into a commutative Banach algebra \(\mathcal A\) with a unit e, and \(f(0)=0\), \(f(1)=e\), \(f(2)=2e\).
He derived that either there exist nonzero elements \(a\in {\mathcal A}\), \(r \in {\mathcal R}\) such that the map \({\mathcal R}\ni x\mapsto af(rx)\in {\mathcal A}\) is bounded, or f is a ring homomorphism. In the case \({\mathcal R}\) is a field and \({\mathcal A}=\mathbb {C}\), it means that either f is bounded or it satisfies the equation
which sometimes is called as a superstability phenomenon. At the same time (5) holds, which means that inequalities in (5) are alien from each other. In fact, as it was shown, if f is unbounded, then \(\varepsilon _1=\varepsilon _2=0\).
In [2], M. Adam was studying the stability of the equation
for functions acting on a 2-divisible abelian group G and with values in a Banach space. He proved that there exist a unique additive function a and a unique quadratic function q such that \(\Vert f(x)-f(0)-a(x)\Vert \leqslant 24\varepsilon \) and \( \Vert g(x)-g(0)-q(x)\Vert \leqslant 13\varepsilon \) for all \(x \in G\). Therefore, with \(\widetilde{f}=a\) and \(\widetilde{g}=q\) we have \(\Vert f(x)-\widetilde{f}(x)\Vert \leqslant \Vert f(0)\Vert +24\varepsilon \) and \(\Vert g(x)-\widetilde{g}(x)\Vert \leqslant \Vert g(0)\Vert +13\varepsilon \) for all \(x \in G\). This means that if \(E_1\) denotes the Cauchy difference and \(E_2\) denotes the quadratic difference, then \(E_1(f)\) and \(E_2(g)\) are bounded, i.e., inequalities in (3) are alien from each other. At the same time, from [2] and [8] we know that the quadratic equation and the additive Cauchy equation are alien to each other (only) up to a constant.
In what follows we are interested in two Cauchy equations: the additive and the exponential ones on some monoid S
and their sum
The solutions of (9) were obtained by R. Ger in [7]. It turns out that without any additional assumptions, the equations in (8) are not alien to each other (cf., [7, Section 4]).
Given \(\varepsilon \geqslant 0\) and \(f,g:S \rightarrow \mathbb {C}\), we consider now the following inequality
and we ask whether (9) is stable. At the same time, we are interested whether there exist \(\varepsilon _1, \varepsilon _2 \geqslant 0\) such that
and
what would mean that inequalities (10) and (11) are alien to each other.
2 Main Results
In what follows we present the main result of the paper for functions with complex values.
Theorem 1
Let \((S,+)\) be an abelian monoid. Given an \(\varepsilon \geqslant 0\), let \(f,g:S \rightarrow \mathbb {C}\) satisfy
Then either
-
(i)
g is bounded and there exists an additive function \(a :S \rightarrow \mathbb {C}\) such that \(f - a\) is bounded,
or
-
(ii)
g is unbounded and there exists a function \(\widetilde{f} :S \rightarrow \mathbb {C}\) such that
$$\begin{aligned} \widetilde{f}(x+y)+g(x+y)=\widetilde{f}(x)+\widetilde{f}(y)+g(x)g(y), \quad x,y\in S, \end{aligned}$$and
$$\begin{aligned} |f(x)-\widetilde{f}(x)|\leqslant \varepsilon ,\quad x \in S. \end{aligned}$$
Proof
Observe first that if g is bounded, say \(|g(x)|\leqslant M\) for all \(x \in S\) and some \(M>0\), then
and by [10], there exists an additive function \(a:S \rightarrow \mathbb {C}\) such that
Assume now that g is unbounded. On account of (12), for all \(x,y,z \in S\) we have
From the above inequalities we obtain
for all \(x,y,z \in S\).
Consider now function \(h:S \rightarrow \mathbb {C}\) defined by \(h(x):=g(x)-1\) for all \(x \in S\). Then
that is,
and
for all \(x,y,z\in S\) such that \(h(z)\ne 0\).
Since g is unbounded, so is h. Take a sequence \((z_n)_{n \in \mathbb {N}}\) of elements of S such that \(h(z_n)\ne 0\) and \(\lim _{n\rightarrow \infty }| h(z_n)|=\infty \). Then
for all \( x,y \in S\) such that \(h(x)\ne 0\). The above limit exists and does not depend on the choice of the sequence \((z_n)_{n\in \mathbb {N}}\). Hence, there exists a function \(\varphi :S \rightarrow \mathbb {C}\) such that
Indeed, if \(h(x)\ne 0\) then the above equality we get from (14). Otherwise, it follows immediately from (13) (and the unboundedness of h).
On account of [1, Theorem 1, p. 242], we determine the general solution of (15). Namely, (i) h is additive and \(\varphi (x)\equiv 1\), or (ii) \(h(x)=c[1-e(x)]\) and \(\varphi (x)=e(x)\) for all \(x \in S\), where e is exponential and c is a constant, or (iii) h is constant which contradicts to our assumption that g and therefore h, are unbounded. We consider now each of the first two cases. In fact, we are not interested in the solution \(\varphi \).
(i) Assume h is additive (let us call it a). Substituting \(g(x)=a(x)+1\) to (12) we obtain
Consider now \(\psi :=f-\frac{1}{2} a^2\). Then
There exists (cf. [10]) an additive function \(b:S \rightarrow \mathbb {C}\) such that
that is,
Define \(\widetilde{f}(x):=\frac{1}{2} a(x)^2+ b(x)\) for all \(x \in S\). Then
Moreover,
(ii) Assume \(h(x)=c[1-e(x)]\), \(x \in S\), where e is a nonzero exponential function (case \(e(x)\equiv 0\) is excluded by the unboundedness assumption) and c is a constant. Then \(g(x)=1+ c[1-e(x)]\) for all \(x \in S\). We put this form to (12):
that is, for all \(x,y \in S\),
and
for all \( x,y \in S.\)
Define \(\psi (x):=f(x)-c(c+1)\big (e(x)-1\big )\) for all \( x \in S\). Then the above inequality takes the form
There exists an additive function \(a:S \rightarrow \mathbb {C}\) such that
which means that
Define \(\widetilde{f}(x):=a(x)+c(c+1)\big (e(x)-1\big )\) for all \(x \in S\). Then
Moreover,
\(\square \)
Remark 1
It follows from Theorem 1 (and its proof) that in the case g is bounded, inequalities (10) and (11) are alien to each other. Indeed, from (12) we obtain
with \(\varepsilon _1=\varepsilon +M+M^2\) and \(\varepsilon _2=M+M^2\).
If g is unbounded, in general, the mentioned inequalities are not alien to each other. It would happen only (see the proof of Theorem 1) in the situations
-
(i)
\(a(x)\equiv 0\) (in fact, whenever a is bounded), but then \(g(x)\equiv 1\) which contradicts to the assumption, or
-
(ii)
\(c(c+1)\big (e(x)-1\big )\equiv 0\), that is, whenever \(c=0\) or \(c=-1\) or \(e(x)\equiv 1\). Only the case \(c=-1\) fulfils our requirements; then \(\widetilde{f}=a\) and \(g=e\).
The computations provided in the proof of Theorem 1 cannot be repeated for functions with values in normed algebras. In what follows we present only a partial result in this direction.
Theorem 2
Let \((S,+)\) be a monoid and \(({\mathcal A},\Vert \cdot \Vert )\) be a unital normed algebra. Given an \(\varepsilon \geqslant 0\), let \(f,g:S \rightarrow {\mathcal A}\) satisfy
Then there exist constants \(c,d \in {\mathcal A}\) such that functions \(S \ni x \mapsto cg(x)+d \in {\mathcal A}\) and \(S \ni x \mapsto g(x)c+d \in {\mathcal A}\) are bounded. More precisely,
Proof
With \(x=y=0\) in (16) we obtain
and with \(y=0\) we have
which gives
and, since \(1\in \mathcal A\),
Analogously (setting \(x:=0\)), we get
This means that we have our assertion with \(c:=1-g(0)\) and \(d:=g(0)^2-g(0)\).
Surely, the above result gives no information about g in the case \(c=0\). Moreover, if \({\mathcal A}\) is a field and \(c\ne 0\), it tells nothing else but g is bounded.
References
Aczél, J., Dhombres, J.: Functional Equations in Several Variables. Encyclopedia of Mathematics and its Applications 31. Cambridge University Press, Cambridge (1989)
Adam, M.: Alienation of the quadratic and additive functional equations. Anal. Math. 45, 449–460 (2019)
Badora, R.: On approximate ring homomorphisms. J. Math. Anal. Appl. 276, 589–597 (2002)
Bourgin, D.G.: Approximately isometric and multiplicative transformations on continuous function rings. Duke Math. J. 16, 385–397 (1949)
Dhombres, J.: Relations de dépendance entre les équations fonctionnelles de Cauchy. Aequ. Math. 35, 186–212 (1988)
Ger, R.: Stability of the equation of ring homomorphisms. Sci. Issues Jan Długosz Univ. Czȩst. Math. 12, 29–35 (2007)
Ger, R.: Additivity and exponentiality are alien to each other. Aequ. Math. 80, 111–118 (2010)
Ger, R.: A short proof of alienation of additivity from quadraticity. Tatra Mt. Math. Publ. 74, 57–62 (2019)
Ger, R., Sablik, M.: Alien Functional Equations: A Selective Survey of Results. Developments in Functional Equations and Related Topics. Springer Optimization and Applications, pp. 107–147. Springer Optim. Appl., Springer, Cham (2017)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. 27, 411–416 (1941)
Hyers, D.H., Isac, G., Rassias, Th.M.: Stability of Functional Equations in Several Variables. Birkhäuser, Boston (1998)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Professor János Aczél
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 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
Sikorska, J. Alienation and the Stability Problem. Results Math 75, 98 (2020). https://doi.org/10.1007/s00025-020-01216-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-020-01216-1