Abstract
We prove the Hyers-Ulam stability of power series equation , where for can be real or complex.
1. Introduction and Preliminaries
A classical question in the theory of functional equations is that βwhen is it true that a function which approximately satisfies a functional equation must be somehow close to an exact solution of .β Such a problem was formulated by Ulam [1] in 1940 and solved in the next year for the Cauchy functional equation by Hyers [2]. It gave rise to the Hyers-Ulam stability for functional equations.
In 1978, Th. M. Rassias [3] provided a generalization of Hyersβ theorem by proving the existence of unique linear mappings near approximate additive mappings. On the other hand, J. M. Rassias [4β6] considered the Cauchy difference controlled by a product of different powers of norm. This new concept is known as generalized Hyers-Ulam stability of functional equations (see also [7β10] and references therein).
Recently, Li and Hua [11] discussed and proved the Hyers-Ulam stability of a polynomial equation where and proved the following.
Theorem 1.1. If and satisfies the inequality then there exists a solution of (1.1) such that where is constant.
They also asked an open problem whether the real polynomial equation has Hyers-Ulam stability for the case that this real polynomial equation has some solution in .
In this paper we establish the Hyers-Ulam-Rassias stability of power series with real or complex coefficients. So we prove the generalized Hyers-Ulam stability of equation where is any analytic function. First we give the definition of the generalized Hyers-Ulam stability.
Definition 1.2. Let be a real number. We say that (1.7) has the generalized Hyers-Ulam stability if there exists a constant with the following property:
for every if
then there exists some satisfying
such that . For the complex coefficients, can be replaced by closed unit disc
2. Main Results
The aim of this work is to investigate the generalized Hyers-Ulam stability for (1.7).
Theorem 2.1. If then there exists an exact solution of (1.7).
Proof. If we set
for , then we have
by (2.1).
Let , . Then is a complete metric space and map to . Now, we will show that is a contraction mapping from to . For any , we have
For , , from (2.2), we obtain
where
Thus is a contraction mapping from to . By the Banach contraction mapping theorem, there exists a unique , such that
Hence, (1.7) has a solution on .
Theorem 2.2. Under the conditions of Theorem 2.1, (1.7) has the generalized Hyers-Ulam stability.
Proof. Let and be such that
We will show that there exists a constant independent of , , and such that
for some satisfying (1.7).
Let us introduce the abbreviation . Then
Thus, we have
by (2.9) and so the result follows.
Next, for equation of complex power series as an application of Rouche's theorem, we prove the following theorem which is much better than above result. In fact, we prove the following.
Theorem 2.3. If Then there exists an exact solution in open unit disc for (2.13).
Proof. If we set
for . Such as above we have
by (2.14).
Since for , hence for and by Rouche's theorem, we observe that has exactly one zero in which implies that has a unique fixed point in .
Corollary 2.4. Under the conditions of Theorem 2.1, (2.13) has the generalized Hyers-Ulam stability.
For , we have the following corollary.
Corollary 2.5. If then there exists an exact solution in for (2.13).
The proof is similar to previous and details are omitted.
Remark 2.6. By the similar way, one can easily prove the generalized Hyers-Ulam stability of (1.7) on any finite interval .
Remark 2.7. By replacing in (2.14), we can prove the generalized Hyers-Ulam stability for (1.5).