The Scientific World Journal

Volume 2014 (2014), Article ID 569174, 7 pages

http://dx.doi.org/10.1155/2014/569174

Research Article

Generalized Ulam-Hyers Stability, Well-Posedness, and Limit Shadowing of Fixed Point Problems for α-β-Contraction Mapping in Metric Spaces

Wutiphol Sintunavarat

Department of Mathematics and Statistics, Faculty of Science and Technology, Thammasat University Rangsit Center, Pathum Thani 12121, Thailand

Received 25 August 2013; Accepted 19 November 2013; Published 23 January 2014

Academic Editors: H. R. Henríquez, H. Ramos, I. Stamova, and H. Xu

Copyright © 2014 Wutiphol Sintunavarat. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We study the generalized Ulam-Hyers stability, the well-posedness, and the limit shadowing of the fixed point problem for new type of generalized contraction mapping, the so-called α-β-contraction mapping. Our results in this paper are generalized and unify several results in the literature as the result of Geraghty (1973) and the Banach contraction principle.

1. Introduction and Preliminaries

The stability problem of functional equations, first initial from a question of Ulam [1] in 1940, concerns the stability of group homomorphisms. In next year, Hyers [2] first gives some partial answer of Ulam’s question for Banach spaces and then this type of stability is called the Ulam-Hyers stability. This opened an avenue for further study and development of analysis in this field. Subsequently, many researchers have studied and extended Ulam-Hyers stability in many ways. In particular, there are a number of results that studied and extended Ulam-Hyers stability for fixed point problems as Bota et al. [3], Bota-Boriceanu and Petrusel [4], Brzdȩk et al. [5], Brzdek and Cieplinski [6, 7], Cadariu et al. [8], Lazǎr [9], Rus [10], and F. A. Tise and I. C. Tise [11].

On the other hand, the notion of well-posedness and limit shadowing property of a fixed point problem have evoked much interest to many researchers, for example, De Blassi and Myjak [12], Reich and Zaslavski [13], Lahiri and Das [14], and Popa [15, 16].

Recently, Samet et al. [17] introduced the following concept.

Definition 1 (see [17]). Let be a nonempty set and be a mapping. A mapping is said to be -admissible if it satisfies the following condition:

Example 2. Let . Define and by for all and

Then, is -admissible.

Example 3. Let . Define and by

Then, is -admissible.

Remark 4. Every nondecreasing self-mapping is -admissible.

Samet et al. [17] established fixed point theorems for some type of generalized contraction mapping by using the concept of -admissible mapping. Also, they applied these results to derive fixed point theorems in partially ordered metric spaces. As application, they studied the ordinary differential equations via the main results. Several researchers studied and improved contraction mappings via the concept of -admissible mapping in metric spaces and other spaces (see [18–22] and references therein).

The first aim of this work is to introduce new type of contraction mapping which generalized several types of mappings in the literature as Geraghty-type contraction mapping [23] and Banach contraction mapping [24]. Also, we establish some existence and uniqueness of fixed point theorems for such mappings in metric spaces by using the concept of -admissible mapping. Our second purpose is to present generalized Ulam-Hyers stability, well-posedness, and limit shadowing of fixed point problems for this mapping in metric spaces.

2. Main Results

Let denote the class of all functions which satisfies the following condition.

For any sequence of nonnegative real numbers, we have

This class is first introduced by Geraghty [23] in 1973. Afterwards, there are many results about fixed point theorems by using such function in this class in many spaces with different contractions; for details we refer the readers to [25–28] and references therein.

The following are examples of some functions in .

(i)Consider for all , where .(ii)Consider

First we give the following definition as a generalization of Banach contraction mappings.

Definition 5. Let be a metric space and a given mapping. One says that is an -contraction mapping if there exist two functions and such that

for all , where .

Remark 6. It is easy to check that an -contraction mapping reduces to a Geraghty-type contraction mapping if for all .

Next, we introduce the transitive mapping which is useful for our main result.

Definition 7. Let be a nonempty set. A mapping is called transitive if it satisfies the following condition:

Our first main result is the following.

Theorem 8. Let be a complete metric space and an -contraction mapping satisfying the following conditions:

(i) is -admissible;(ii) is transitive;(iii)there exists such that ;(iv) is continuous.

Then the fixed point problem of has a solution; that is, there exists such that .

Proof. Let such that (such a point exists from condition (iii)). Define the sequence in by

If for some , then ; that is, is a fixed point of and thus the proof ends. Therefore, we may assume that

Since is -admissible and , we get . By induction, we get

For , we have

This implies that

for all . Therefore, the sequence is strictly decreasing and so as for some . Next, we claim that . Assume on the contrary that . On taking limit as in (12), we obtain that

Since , we have , which is a contradiction. Therefore, and thus

Next, we show that is a Cauchy sequence. On the contrary, assume that is not a Cauchy sequence. Then there exists and subsequence of integers and with such that

for all . Further, corresponding to , we can choose in such a way that it is the smallest integer with and satisfying (15). Then we have

From (16) and the triangle inequality, we have

Letting and using (14), we have

Since is transitive and , we can conclude that

Now we have

This implies that

That is,

On taking limit as and using (14) and (18), we get

Since , we have which contradicts with (18). Therefore, is a Cauchy sequence. By the completeness of , we get for some . Since is continuous,

That is, is a fixed point of and thus the fixed point problem of has a solution. This completes the proof.

In the next theorem, we omit the continuity hypothesis of by adding some condition.

Theorem 9. Let be a complete metric space and an -contraction mapping satisfying the following conditions:

(i) is -admissible;(ii) is transitive;(iii)there exists such that ;(iv)if is a sequence in such that for all and as , then for all .

Then the fixed point problem of has a solution; that is, there exists such that .

Proof. Following the proof of Theorem 8, we know that is a Cauchy sequence in the complete metric space . Then, there exists such that as .

On the other hand, from (10) and hypothesis , we have

Now, using the triangular inequality, (6), and (25), we get

for all . It follows that

for all . Letting in the above relation, we obtain that ; that is, . Therefore, the fixed point problem of has a solution. This completes the proof.

We obtain that Theorems 8 and 9 do not claim the uniqueness of fixed point. To assure the uniqueness of the fixed point, we will add some properties.

Theorem 10. Adding condition

(H₀) for all , where are fixed points of

or

(H₁)for all , there exists such that and

to the hypotheses of Theorem 8 (resp., Theorem 9) one obtains uniqueness of the fixed point of .

Proof. Suppose that and are two fixed points of . If condition holds, then we get the uniqueness of the fixed point of from (6). So we only show that the case of holds. From condition , there exists such that

Since are fixed points of and is -admissible, from (28), we get

for all . From (29) and (6), we have

for all . Therefore,

for all .

Next, we claim that . Assume on the contrary that,

Letting in (32), we get

Using the fact that , we obtain that

which is a contradiction. Therefore, we can conclude that

and thus

Similarly, using (30) and (6), we get

By the uniqueness of limit of the sequence , we have . This completes the proof.

Remark 11. Since Geraghty-type contraction mapping is an -contraction mapping, Geraghty’s fixed point results [23] can be considered as a corollary of our main results. Also, the Banach contraction principle [24] can be derived from our main results.

3. Generalized Ulam-Hyers Stability, Well-Posedness, and Limit Shadowing Results through the Fixed Point Problems

For the beginning of this section, we give the notion of generalized Ulam-Hyers stability in sense of a fixed point problem and also give the notion of well-posedness and limit shadowing property for fixed point problem.

Definition 12. Let be a metric space and a mapping. The fixed point problem

is called generalized Ulam-Hyers stability if and only if there exists the function which is increasing, continuous at and such that for each and for each which is an -solution of the fixed point equation (39), that is, satisfies the inequality

there exists a solution of (39) such that

Remark 13. If the function is defined by for all , where , then the fixed point equation (39) is said to be Ulam-Hyers stable.

Definition 14 (see [12]). Let be a metric space and a mapping. The fixed point problem of is said to be well posed if it satisfies the following conditions:

(i) has a unique fixed point in ;(ii)for any sequence in such that , one has .

Definition 15. Let be a metric space and a mapping. We say that the fixed point problem of has the limit shadowing property in if, for any sequence in satisfying , it follows that there exists such that .

Concerning the generalized Ulam-Hyers stability, well-posedness, and limit shadowing property of the fixed point problem for a self-map of a complete metric space satisfying the conditions of Theorem 10, we have the following results.

Theorem 16. Let be a complete metric space. Suppose that all the hypotheses of Theorem 10 hold and additionally that and the function is defined by which is strictly increasing and onto. Then

(a)if for all which are an -solution of the fixed point equation (39), then the fixed point problem of is generalized Ulam-Hyers stability.(b)if for all such that is sequence in in which and is a fixed point of , then the fixed point problem of is well posed;(c)if for all such that is sequence in in which and is a fixed point of , then the fixed point problem of has the limit shadowing property in .

Proof. From the proof of Theorem 10, we obtain that has a unique fixed point and so let be a unique fixed point of .

From the hypothesis in (a), we claim that the fixed point problem of is generalized Ulam-Hyers stability. Let and be a solution of (40); that is,

It is obvious that the fixed point of satisfies inequality (40). From hypothesis in (a), we get . Now we have

This implies that

and then

That is,

Therefore,

It is easy to see that is increasing, continuous at and . Consequently, the fixed point problem of is generalized Ulam-Hyers stability.

Next, we prove that the fixed point problem of is well posed under the assumption in (b). Let be sequence in such that . From assumption, we get for all . Now, we obtain that

for all . This implies that

for all . Now we claim that . Assume on the contrary that

From (49), we get . Since , we obtain that which contradicts with (50). Therefore, we conclude that and so the fixed point problem of is well posed.

Finally, we prove that has a limit shadowing under assumption (c). Let be sequence in such that . Similar to case (b), we get . Since is a fixed point of , we have

Therefore, has the limit shadowing property.

Some Open Problems

(i)In Theorem 10, can we replace conditions and by other conditions or more general conditions?(ii)In Theorem 16, can we drop some conditions in (a), (b), and (c)?(iii)In Theorem 16, can we prove other types of stability of fixed point problem?(iv)Can we extend the result in this paper to other spaces as cone metric space, complex valued metric space, partial metric space, -metric space, and circular metric space?

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

References

S. M. Ulam, Problems in Modern Mathematics, John Wiley & Sons, New York, NY, USA, 1964.

D. H. Hyers, “On the stability of the linear functional equation,” Proceedings of the National Academy of Sciences of the United States of America, vol. 27, no. 4, pp. 222–224, 1941.

M. F. Bota, E. Karapınar, and O. Mlesnite, “Ulam-Hyers stability results for fixed point problems via α-ψ-contractive mapping in -metric space,” Abstract and Applied Analysis, vol. 2013, Article ID 825293, 6 pages, 2013.

M. F. Bota-Boriceanu and A. Petrusel, “Ulam-Hyers stability for operatorial equations,” Annals of the Alexandru Ioan Cuza University—Mathematics, vol. 57, pp. 65–74, 2011.

J. Brzdȩk, J. Chudziak, and Z. Páles, “A fixed point approach to stability of functional equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 17, pp. 6728–6732, 2011.

J. Brzdek and K. Ciepliski, “A fixed point approach to the stability of functional equations in non-Archimedean metric spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 18, pp. 6861–6867, 2011.

J. Brzdek and K. Cieplinski, “A fixed point theorem and the Hyers-Ulam stability in non-Archimedean spaces,” Journal of Mathematical Analysis and Applications, vol. 400, no. 1, pp. 68–75, 2013.

L. Cadariu, L. Gavruta, and P. Gavruta, “Fixed points and generalized Hyers-Ulam stability,” Abstract and Applied Analysis, vol. 2012, Article ID 712743, 10 pages, 2012.

V. L. Lazǎr, “Ulam-Hyers stability for partial differential inclusions,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 21, pp. 1–19, 2012.

I. A. Rus, “Remarks on Ulam stability of the operatorial equations,” Fixed Point Theory, vol. 10, no. 2, pp. 305–320, 2009.

F. A. Tise and I. C. Tise, “Ulam-Hyers-Rassias stability for set integral equations,” Fixed Point Theory, vol. 13, no. 2, pp. 659–668, 2012.

F. S. de Blassi and J. Myjak, “Sur la porosite des contractions sans point fixe,” Comptes Rendus de l'Académie des Sciences Paris, vol. 308, no. 2, pp. 51–54, 1989.

S. Reich and A. J. Zaslavski, “Well-posedness of fixed point problems,” Far East Journal of Mathematical Sciences, part 3, pp. 393–401, 2001.

B. K. Lahiri and P. Das, “Well-posednes and porosity of certain classes of operators,” Demonstratio Mathematica, vol. 38, pp. 170–176, 2005.

V. Popa, “Well posedness of fixed point problem in orbitally complete metric spaces,” Studii si Cercetari Stiintifice. Seria Matematic, Department of Mathematics and Informatics, Faculty of Sciences, University of Bacau, Romania, vol. 16, pp. 209–214, 2006, Proceedings of ICMI 45, Bacau, September 18–20, 2006

V. Popa, “Well posedness of fixed point problem in compact metric spaces,” Buletinul Universităţii Petrol-Gaze din Ploieşti, Seria Matematică—Informatică—Fizică, vol. 60, no. 1, pp. 1–4, 2008.

B. Samet, C. Vetro, and P. Vetro, “Fixed point theorems for α−ψ-contractive type mappings,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 4, pp. 2154–2165, 2012.

R. P. Agarwal, W. Sintunavarat, and P. Kumam, “PPF dependent fixed point theorems for an α c-admissible non-self mapping in the Razumikhin class,” Fixed Point Theory and Applications, vol. 2013, aticle 280, 2013.

M. A. Alghamdi and E. Karapinar, “G-β-ψ contractive-type mappings and related fixed point theorems,” Journal of Inequalities and Applications, vol. 2013, article 70, 2013.

N. Hussain, E. Karapinar, P. Salimi, and P. Vetro, “Fixed point results for G m-Meir-Keeler contractive and G-(α,ψ)-Meir-Keeler contractive mappings,” Fixed Point Theory and Applications, vol. 2013, article 34, 2013.

E. Karapinar and B. Samet, “Generalized (α-ψ) contractive type mappings and related fixed point theorems with applications,” Abstract and Applied Analysis, vol. 2012, Article ID 793486, 17 pages, 2012.

W. Sintunavarat, S. Plubtieng, and P. Katchang, “Fixed point result and applications on a b-metric space endowed with an arbitrary binary relation,” Fixed Point Theory and Applications, vol. 2013, article 296, 2013.

M. Geraghty, “On contractive mappings,” Proceedings of the American Mathematical Society, vol. 40, pp. 604–608, 1973.

S. Banach, “Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922.

M. Abbas, W. Sintunavarat, and P. Kumam, “Coupled fixed point of generalized contractive mappings on partially ordered G-metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 31, 2012.

P. Chaipunya, Y. J. Cho, and P. Kumam, “Geraghty-type theorems in modular metric spaces with an application to partial differential equation,” Advances in Difference Equations, vol. 2012, article 83, 2012.

M. Eshaghi Gordji, M. Ramezani, Y. J. Cho, and S. Pirbavafa, “A generalization of Geraghty's theorem in partially ordered metric spaces and applications to ordinary differential equations,” Fixed Point Theory and Applications, vol. 2012, article 74, 2012.

C. Mongkolkeha, Y. J. Cho, and P. Kumam, “Best proximity points for Geraghty’s proximal contraction mapping mappings,” Fixed Point Theory and Applications, vol. 2013, article 180, 2013.