Stability Problem for the Nonlinear Functional Equation

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.


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 where ε ≥ 0. Then there exists a unique function Φ : S → X such that 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 → S, g : S → R and the function with a mapping ε : S → [0, +∞) for which there exists 0 ≤ L < 1 such that then there exists a unique function Φ : S → X which satisfies both the equation The paper of D. Miheţ [6] where, using a fixed point theorem of Luxemburg and Jung, has been proven where ϕ : where ε > 0. Then there exists a unique function Φ : S → X such that The paper of M. Akkouchi [1] where, applying a fixed point theorem of Cirić, shown where ε > 0. Then there exists a unique function Φ : S → X such that 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.

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 → S and the function F : where λ : where ε : Then there exists a unique function Φ : S → X such that and for all t ∈ S.
Proof. For a fixed t ∈ S let us recursively define the sequence F n (t) taking and F n+1 (t) = F (t, F n (f (t))), n ∈ N.
Then we prove inductively that where Λ n (t) = 1, n = 1 n−2 i=0 λ(f i (t)), n ≥ 2 (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 ≥ 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 ∈ S the sequence (F n (t) : n ∈ 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 Φ : S → 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 So the function Φ satisfies Eq. (5). Also, which, after going with n to infinity, shows that the function Φ satisfies estimation (6).
It remains to prove the uniqueness of the function satisfying (5) and (6). Let us assume that we have two functions Φ and Ψ from S into X that satisfy 199 Page 6 of 9 R. Badora Results Math (5) and (6). Then, in relation to (5), (2) and (6), . . .
and the convergence of the series (4) means that which gives Ψ = Φ and completes the proof of our theorem.

Concluding Remarks
We can compare our result with the Cȃdariu -Radu theorem (Theorem 2) where also ε 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 ≤ 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. 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 K ∈ {R, C}. Assume that f : S → S, α : S → K \ {0}, β : S → X and δ : S → [0, ∞) be given functions such that for all t ∈ S, then there exists a unique function Φ : S → 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 α(t) (which is assumed to be different from zero) to obtain Therefore 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 φ is continuous and the series 4 is uniformly convergent, we get Φ continuous (as a uniform limit of a sequence of continuous functions).

Funding
The authors have not disclosed any funding.

Declarations
Competing interests The authors have not disclosed any competing interests.
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/.