Abstract
We discuss on the stability for functional equations in a single variable. We will prove the theorem about the stability of the nonlinear functional equation from which we can derive the result obtained by T. Trif (Publ Math Debrecen 60:47–61, 2002) on the stability of the linear functional equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The problem of the stability of functional equations was formulated by S. M. Ulam. More precisely, in 1940 S. M. Ulam at the University of Wisconsin proposed the following problem: “Give conditions in order for a linear mapping near an approximately linear mapping to exist”. In 1968 S. U. Ulam proposed the more general problem: “When is it true that by changing a little the hypotheses of a theorem one can still assert that the thesis of the theorem remains true or approximately true?” (see [8]). In 1978, Gruber [4] reformulated his question by posing the following: “Suppose a mathematical object satisfies a certain property approximately. Is it then possible to approximate this object by objects, satisfying the property exactly?”. This initiated a broad research program on the stability problem in theory of functional equations; for more information the reader may consult [5]. In 1991, J. A. Baker [2] presented the first stability result concerning the nonlinear functional equation
and proved the following
Theorem 1
(Baker) Let S be a nonempty set and let (X, d) be a complete metric space. Assume that \(f:S\rightarrow S\) and the function \(F:S\times X\rightarrow X\) satisfies
where \(0\le \lambda <1\). Suppose that \(\phi :S\rightarrow X\) satisfies
where \(\varepsilon \ge 0\). Then there exists a unique function \(\varPhi :S\rightarrow X\) such that
and
Baker based his proof on Banach’s Fixed Point Theorem.
This studies was continued by many mathematicians. We will mention here the paper of L. Cădariu, V. Radu [3] where, based on the fixed point alternative of Margolis and Diaz, they proved
Theorem 2
(Cădariu - Radu) Let S be a nonempty set and let (X, d) be a complete metric space. Assume that \(f:S\rightarrow S\), \(g:S\rightarrow {\mathbb {R}}\) and the function \(F:S\times X\rightarrow X\) satisfies
If \(\phi :S\rightarrow X\) satisfies
with a mapping \(\varepsilon :S\rightarrow [0,+\infty )\) for which there exists \(0\le L<1\) such that
then there exists a unique function \(\varPhi :S\rightarrow X\) which satisfies both the equation
and the estimation
The paper of D. Miheţ [6] where, using a fixed point theorem of Luxemburg and Jung, has been proven
Theorem 3
(Miheţ) Let S be a nonempty set and let (X, d) be a complete metric space. Assume that \(f:S\rightarrow S\) and the function \(F:S\times X\rightarrow X\) satisfies
where \(\varphi :[0,\infty )\rightarrow [0,\infty )\) is nondecreasing, \(\lim _{u\rightarrow \infty }\varphi (u)=\infty \), \(\lim _{n\rightarrow \infty }\varphi ^{n}(u)=\infty \), for all \(u\in (0,\infty )\) and \(\lim _{u\rightarrow \infty }\left( u-\varphi (u)\right) =\infty \). Suppose that \(\phi :S\rightarrow X\) satisfies
where \(\varepsilon > 0\). Then there exists a unique function \(\varPhi :S\rightarrow X\) such that
and
where \(\varepsilon (\varphi ) =\sup \{ u\ge 0\; :\; u-\varphi (u)\le \varepsilon \}\).
The paper of M. Akkouchi [1] where, applying a fixed point theorem of Ćirić, shown
Theorem 4
(Akkouchi) Let S be a nonempty set and let (X, d) be a complete metric space. Assume that \(f:S\rightarrow S\) and the function \(F:S\times X\rightarrow X\) satisfies
where \(\alpha _{1}, \alpha _{2}, \alpha _{3}, \alpha _{4}, \alpha _{5} :X\times X\rightarrow [0,\infty )\) and
for some \(\lambda \in [0,1)\). Suppose that \(\phi :S\rightarrow X\) satisfies
where \(\varepsilon > 0\). Then there exists a unique function \(\varPhi :S\rightarrow X\) such that
and
Here are some interesting applications of the fixed point theorems. In this paper we will show that we can also obtain interesting results directly, without referring to the fixed point theorems. What is more, we will obtain a theorem which, after bringing to the case of a linear functional equation, will give us the result obtained by T. Trif [7], which could not be derived from the above-mentioned theorems.
2 Main Result
Our main result is the following stability theorem regarding nonlinear functional equation
Theorem 5
Let S be a nonempty set and let (X, d) be a complete metric space. Assume that \(f:S\rightarrow S\) and the function \(F:S\times X\rightarrow X\) satisfies
where \(\lambda : S\rightarrow {\mathbb {R}}\). Suppose that \(\phi :S\rightarrow X\) satisfies
where \(\varepsilon :S\rightarrow {\mathbb {R}}\) and
Then there exists a unique function \(\varPhi :S\rightarrow X\) such that
and
for all \(t\in S\).
Proof
For a fixed \(t\in S\) let us recursively define the sequence \(F_{n}(t)\) taking
and
Then we prove inductively that
where
(with the symbol \(f^{n}\) we denote the nth iterate of the function f where \(f^{0}\) is the identity mapping).
For \(n=1\) using our assumption (3) we have
Let us fix \(n\ge 1\). Assuming that our inequality (7) is true for all k not greater than n for \(n+1\), by (2), we have
The proven inequality (7) together with the assumed convergence of the series (4) lead to the statement that for every \(t\in S\) the sequence \((F_{n}(t):n\in {\mathbb {N}})\) satisfies the Cauchy condition. By assumption, the space X is complete. So our sequence is convergent in X and we can define the function \(\varPhi :S\rightarrow X\) by taking
Further, the inequality of (2) also means that the function F is continuous with respect to the second variable. Going with n to infinity in the identity
we obtain
So the function \(\varPhi \) satisfies Eq. (5). Also,
which, after going with n to infinity, shows that the function \(\varPhi \) satisfies estimation (6).
It remains to prove the uniqueness of the function satisfying (5) and (6). Let us assume that we have two functions \(\varPhi \) and \(\varPsi \) from S into X that satisfy (5) and (6). Then, in relation to (5), (2) and (6),
and the convergence of the series (4) means that
which gives \(\varPsi = \varPhi \) and completes the proof of our theorem. \(\square \)
3 Concluding Remarks
We can compare our result with the Cădariu - Radu theorem (Theorem 2) where also \(\varepsilon \) is not a constant and there is a function of the variable t. Let
Using \(n-1\) times the assumption (1) we get
and with \(0\le L <1\) the series from condition (4) converges. Thus, the assumptions of the theorem proved by us are weaker than those of the Cădariu - Radu result.
Further, Baker used his result (Theorem 1) to study the stability of a linear functional equation (with constant \(\varepsilon \)) and obtained the classic stability result. One of the most general stability results for a linear functional equations is the Trif result, which we will not derive from the theorems mentioned in the introduction to this paper.
Theorem 6
(Trif) Let S be a nonempty set and let X be a Banach space over the field \({\mathbb {K}}\in \{ {\mathbb {R}} ,{\mathbb {C}}\}\). Assume that \(f:S\rightarrow S\), \(\alpha :S\rightarrow {\mathbb {K}}\setminus \{ 0\}\), \(\beta :S\rightarrow X\) and \(\delta :S\rightarrow [0,\infty )\) be given functions such that
for all \(t\in S\). If a function \(\phi :S\rightarrow X\) satisfies
for all \(t\in S\), then there exists a unique function \(\varPhi :S\rightarrow X\) such that
and
Let us see, however, that by acting similarly to Baker, from our proven result one can derive the Trif theorem. Indeed, to apply Theorem 5 we first have to divide the inequality (10) by \(\alpha (t)\) (which is assumed to be different from zero) to obtain
Therefore
and
Because
so,
and
In view of assumption (9) this series is convergent. Also,
So, as a result of such a specification, we obtain exactly the result obtained by Trif, which also shows that the theorem proved by us (Theorem 5) is in some way optimal.
It should also be noted that the presented method of proof allows the search for regular solutions of the equation close to regular approximate solutions. For example, looking for continuous solutions close to continuous approximative solutions of the equation, we consider a topological space S, continuous mappings f and F and then, assuming that \(\phi \) is continuous and the series 4 is uniformly convergent, we get \(\varPhi \) continuous (as a uniform limit of a sequence of continuous functions).
References
Akkouchi, M.: Stability of certain functional equations via a fixed point of Ćirić. Filomat 25, 121–127 (2011)
Baker, J.A.: The stability of certain functional equations. Proc. Amer. Math. Soc. 112, 729–732 (1991)
Cădariu, L., Radu, V.: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory Appl. 2008, 749392 (2007). https://doi.org/10.1155/2008/749392
Gruber, P.M.: Stability of isometries. Trans. Amer. Math. Soc. 245, 263–277 (1978)
Hyers, D.H., Isac, G., Rassias, Th.M.: Stability of Functional Equations in Several Variables. Birkhäuser, Basel (1998)
Miheţ, D.: The Hyers-Ulam stability for two functional equations in a single variable. Banach J. Math. Anal. 2, 48–52 (2008)
Trif, T.: On the stability of a general gamma-type functional equation. Publ. Math. Debrecen 60, 47–61 (2002)
Ulam, S.M.: A collection of mathematical problems, Interscience Tract 8 (= Problems in Modern Mathematics, Science Edition), Interscience, New York (1960) ((1964))
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors have not disclosed any competing interests.
Additional information
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
Badora, R. Stability Problem for the Nonlinear Functional Equation. Results Math 77, 199 (2022). https://doi.org/10.1007/s00025-022-01735-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01735-z