/ / Article

Research Article | Open Access

Volume 2012 |Article ID 917831 | https://doi.org/10.1155/2012/917831

Mohamed Jleli, Erdal Karapınar, Bessem Samet, "Fixed Point Results for Almost Generalized Cyclic -Weak Contractive Type Mappings with Applications", Abstract and Applied Analysis, vol. 2012, Article ID 917831, 17 pages, 2012. https://doi.org/10.1155/2012/917831

# Fixed Point Results for Almost Generalized Cyclic -Weak Contractive Type Mappings with Applications

Accepted09 Jul 2012
Published14 Aug 2012

#### Abstract

We define a class of almost generalized cyclic -weak contractive mappings and discuss the existence and uniqueness of fixed points for such mappings. We present some examples to illustrate our results. Moreover, we state some applications of our main results in nonlinear integral equations.

#### 1. Introduction

Fixed point theory is a crucial tool in the analysis of nonlinear problems. Banach contraction mapping principle [1] is the most known result in this direction: A self-mapping on a complete metric space has a unique fixed point if there exists such that for all . In this theorem, a self-mapping is necessarily continuous. Due to its importance to fixed point theory in nonlinear analysis, desired Banach fixed point theorem have been heavily investigated by many authors (see, e.g., [215]). One of the remarkable generalizations of the banach contraction mapping principle was reported by Kirk et al. [16] via cyclic contraction. A mapping is called cyclic if and , where are nonempty subsets of a metric space . Moreover, is called cyclic contraction if there exists such that for all and . Notice that although a contraction is continuous, cyclic contraction need not to be. This is one of the important gains of this theorem. In this paper, the authors also introduced the following notion.

Definition 1.1 (see [16]). Let be a nonempty set, be a positive integer, and be a mapping. is said to be a cyclic representation of with respect to if (i) are nonempty closed sets, (ii).

Following the paper in [16], a number of fixed point theorems on cyclic representation of with respect to a self-mapping have appeared (see, e.g., [1726]).

The concept of almost contractions were introduced by Berinde [27, 28]. It was shown in [27] that any strict contraction, the Kannan [12] and Zamfirescu [29] mappings, as well as a large class of quasicontractions, are all almost contractions. Almost contractions and its generalizations were further considered in several works like [7, 3037]. Recently, Ćirić et al. [7] proved some fixed point results in ordered metric spaces using almost generalized contractive condition, which is given in the following definition.

Definition 1.2. Let be a self-mapping on a metric space . It is said to satisfy almost generalized contractive condition if there exists and such that for all .

In this paper, we introduce a class of almost generalized cyclic -weak contractive mappings and we investigate the existence and uniqueness of fixed points for almost generalized cyclic -weak contractive type mappings. Our main result generalizes and improves some well-known theorems in the literature (see, e.g., [16, 18, 19, 24, 26]). We state some examples to illustrate our results. Furthermore, we apply our main result to analyze the existence and uniqueness of solutions for a class of nonlinear integral equations.

#### 2. Main Result

We start this section by defining two classes of real valued functions. Let be the set of functions satisfying the following conditions: 1) is lower semicontinuous; 2). We denote by the set of all continuous functions .

Definition 2.1. Let be a metric space. Let be a positive integer and let be nonempty subsets of and . Let be a mapping such that (I) is a cyclic representation of with respect to ,(II) there exist , and such that for all , (with ), where Then is called an almost generalized cyclic -weak contractive mapping.

Remark 2.2. Taking in the above definition, , , , and , where is a constant, we obtain an almost generalized contractive condition. Then any almost generalized contractive mapping is an almost generalized cyclic -weak contractive mapping.

Our main result is the following.

Theorem 2.3. Let be nonempty closed subsets of a complete metric space and . Let be an almost generalized cyclic -weak contractive mapping. Then has a unique fixed point that belongs to .

Proof. Let (such a point exists since ). Define the sequence in by We will prove that If for some , we have , then (2.4) follows immediately. So, we can suppose that for all . From the condition (I), we observe that for all , there exists such that . Then, from the condition (II), we have On the other hand, we have Suppose that . Using (2.5), we obtain which implies that . From condition (), we get that , a contradiction with our assumption for all . Thus, we have , which implies that is a decreasing sequence of positive numbers. Then there exists such that Letting in (2.5), using (2.8), the continuity of and the lower semicontinuity of , we obtain which implies that , that is, . Thus, we proved (2.4).
Now, we will prove that is a Cauchy sequence in . Suppose that is not a Cauchy sequence. Then there exists for which we can find two sequences of positive integers and such that for all positive integers , Using (2.10) and the triangular inequality, we get Thus, we have Letting in the above inequality and using (2.4), we obtain On the other hand, for all , there exists such that . Then (for large enough, ) and lie in different adjacently labelled sets and for certain . Using (II), we obtain for all , that is, for all . Now, we have for all . Using the triangular inequality, we get which implies from (2.13) that Using (2.4), we have Again, using the triangular inequality, we get Letting in the above inequality, using (2.20) and (2.18), we get Similarly, we have Letting , using (2.4) and (2.18), we obtain Similarly, we have Now, it follows from (2.18)–(2.24) that
Letting in (2.15), using (2.25), (2.26), the continuity of and the lower semicontinuity of , we obtain which implies that , that is, , a contradiction with . Then we deduce that is a Cauchy sequence in the metric space .
Since is complete, there exists such that We will prove that From condition (I), and since , we have . Since is closed, from (2.28), we get that . Again, from the condition (I), we have . Since is closed, from (2.28), we get that . Continuing this process, we obtain (2.29).
Now, we will prove that is a fixed point of . Indeed, from (2.29), since for all , there exists such that , Applying (II) with and , we obtain for all . On the other hand, we have Using (2.28), we obtain that Letting in (2.30), using (2.32), the continuity of and the lower semicontinuity of , we get which implies that , that is, is a fixed point of .
Finally, we prove that is the unique fixed point of . Assume that is another fixed point of , that is, . From the condition (I), this implies that . Then we can apply (II) for and . We obtain Since and are fixed points of , we can show easily that . Then we get which implies that , that is, . Thus, we proved the uniqueness of the fixed point.

#### 3. Consequences

In this section, we derive some fixed point theorems from our main result given by Theorem 2.3.

If we take and in Theorem 2.3, then we get immediately the following fixed point theorem.

Corollary 3.1. Let be a complete metric space and satisfies the following condition: there exist , and such that for all . Then has a unique fixed point.

An immediate consequence of Corollary 3.1 is the following fixed point theorem (see Remark 2.2).

Corollary 3.2. Let be a complete metric space and satisfies the following condition: there exist and such that for all . Then has a unique fixed point.

Remark 3.3. Taking in Corollary 3.1, we obtain Theorem  2.2 in [8]. Moreover, in Corollary 3.1, it is not supposed that is nondecreasing and , as in [8].

Taking , , with , in Theorem 2.3, we derive the following result.

Corollary 3.4. Let be nonempty closed subsets of a complete metric space and suppose that satisfies the following conditions (where ): (i) for ; (ii)there exists a constant such that for all , for .
Then has a unique fixed point that belongs to .

The following fixed point theorems established in [16, 25] are immediate consequences of the above result.

Corollary 3.5. Let be nonempty closed subsets of a complete metric space and suppose that satisfies the following conditions (where ): (i) for ; (ii)there exists a constant such that for all , for .
Then has a unique fixed point that belongs to .

Corollary 3.6. Let be nonempty closed subsets of a complete metric space and suppose that satisfies the following conditions (where ): (i) for ; (ii)there exists a constant such that for all , for .
Then has a unique fixed point that belongs to .

Corollary 3.7. Let be nonempty closed subsets of a complete metric space and suppose that satisfies the following conditions (where ): (i) for ; (ii)there exists a constant such that for all , for .
Then has a unique fixed point that belongs to .

Corollary 3.8. Let be nonempty closed subsets of a complete metric space and suppose that satisfies the following conditions (where ): (i) for ; (ii)there exist with such that for all , for .
Then has a unique fixed point that belongs to .

Remark 3.9. Taking and , we get (i)from Corollary 3.5, the Banach contraction principle [1]; (ii)from Corollary 3.6, Kannan's fixed point theorem [12]; (iii)from Corollary 3.7, Bianchini’s fixed point theorem [2] (see also [3]); (iv)from Corollary 3.8, Hardy and Rogers fixed point theorem [9].

Now, we derive a fixed point result for cyclic mappings satisfying a contractive condition of integral type.

Denote by the set of functions satisfying the following hypotheses: 1) is a Lebesgue integrable mapping on each compact subset of ; 2) for any , we have .

We have the following result.

Corollary 3.10. Let be nonempty closed subsets of a complete metric space and suppose satisfies the following conditions (where ): (i) for ; (ii)there exist , such that for all , for . Then has a unique fixed point that belongs to .

Proof. It follows immediately from Theorem 2.3 by observing that the functions and belong to .

Taking in Corollary 3.10, we obtain the following result.

Corollary 3.11. Let be nonempty closed subsets of a complete metric space and suppose satisfies the following conditions (where ): (i) for ; (ii)there exist such that for all , for . Then has a unique fixed point that belongs to .

#### 4. Some Examples

In this section, we give some examples to illustrate our obtained results.

Example 4.1. Let be endowed with the standard metric for all . Consider the closed subsets and defined by and . Define the mapping by Clearly, we have and .
Now, let . We distinguish two cases.

Case 1. If . In this case, we have Define the functions by Then we have

Case 2. If . In this case, we have , so inequality (4.4) is satisfied.
Similarly, if , we can show that (4.4) is satisfied.
Thus, we checked that all conditions of Theorem 2.3 are satisfied (with ). We deduce that has a unique fixed point .

Example 4.2. Let be endowed with the standard metric for all . Consider the closed subsets and defined by and . Define the mapping by Clearly, we have and .
Now, let with and . We have On the other hand, we have Then we have Consider the functions defined by We have Moreover, we can show that the above inequality holds if or .
Now, all conditions of Theorem 2.3 are satisfied (with ), we deduce that has a unique fixed point .

#### 5. An Application

In this section, we apply the result given by Theorem 2.3 to study the existence and uniqueness of solutions to a class of nonlinear integral equations.

We consider the nonlinear integral equation where is a continuous function.

Let be the set of real continuous functions on . We endow with the following standard metric: It is well known that is a complete metric space. Let , let such that We suppose that for all , we have We suppose that for all , is a decreasing function, that is, Finally, we suppose that for all , for all with and or and , where is continuous nondecreasing and belongs to . Now, define the set

We have the following result.

Theorem 5.1. Under the assumptions (5.3)–(5.7), Problem (5.1) has one and only one solution .

Proof. Define the closed subsets of , , and by Define the mapping by We will prove that Let , that is, Using condition (5.6), we obtain that The above inequality with condition (5.4) imply that for all . Then we have .
Similarly, let , that is, Using condition (5.6), we obtain that The above inequality with condition (5.5) imply that for all . Then we have . Finally, we deduce that (5.11) holds.
Now, let , that is, for all , This implies from condition (5.3) that for all , Now, using condition (5.7), we can write that for all , we have This implies that Using the same technique, we can show that the above inequality holds also if we take .
Now, all the conditions of Theorem 2.3 are satisfied (with and ), we deduce that has a unique fixed point , that is, is the unique solution to (5.1).

#### Acknowledgment

M. Jleli and B. Samet are supported by the Research Center, College of Science, King Saud University.

#### References

1. S. Banach, “Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922. View at: Google Scholar
2. R. M. Tiberio Bianchini, “Su un problema di S. Reich riguardante la teoria dei punti fissi,” vol. 5, pp. 103–108, 1972. View at: Google Scholar | Zentralblatt MATH
3. S. K. Chatterjea, “Fixed-point theorems,” Comptes Rendus de l'Académie Bulgare des Sciences, vol. 25, pp. 727–730, 1972. View at: Google Scholar | Zentralblatt MATH
4. Y. J. Cho, P. P. Murthy, and G. Jungck, “A common fixed point theorem of Meir and Keeler type,” International Journal of Mathematics and Mathematical Sciences, vol. 16, no. 4, pp. 669–674, 1993.
5. Y. J. Cho, P. P. Murthy, and G. Jungck, “A theorem of Meir-Keeler type revisited,” International Journal of Mathematics and Mathematical Sciences, vol. 23, no. 7, pp. 507–511, 2000.
6. Y. J. E. Cho, R. Saadati, and G. Sadeghi, “Quasi-contractive mappings in modular metric spaces,” Journal of Applied Mathematics, Article ID 907951, 5 pages, 2012.
7. L. \'Cirić, M. Abbas, R. Saadati, and N. Hussain, “Common fixed points of almost generalized contractive mappings in ordered metric spaces,” Applied Mathematics and Computation, vol. 217, no. 12, pp. 5784–5789, 2011.
8. D. Dorić, “Common fixed point for generalized $\left(\psi ,\varphi \right)$-weak contractions,” Applied Mathematics Letters, vol. 22, no. 12, pp. 1896–1900, 2009. View at: Publisher Site | Google Scholar
9. G. E. Hardy and T. D. Rogers, “A generalization of a fixed point theorem of Reich,” Canadian Mathematical Bulletin, vol. 16, pp. 201–206, 1973. View at: Google Scholar | Zentralblatt MATH
10. G. Jungck, “Commuting mappings and fixed points,” The American Mathematical Monthly, vol. 83, no. 4, pp. 261–263, 1976.
11. G. Jungck, “Compatible mappings and common fixed points. II,” International Journal of Mathematics and Mathematical Sciences, vol. 11, no. 2, pp. 285–288, 1988.
12. R. Kannan, “Some results on fixed points,” Bulletin of the Calcutta Mathematical Society, vol. 60, pp. 71–76, 1968. View at: Google Scholar | Zentralblatt MATH
13. A. Meir and E. Keeler, “A theorem on contraction mappings,” Journal of Mathematical Analysis and Applications, vol. 28, pp. 326–329, 1969.
14. W. Sintunavarat and P. Kumam, “Common fixed point theorems for generalized J H-operator classes and invariant approximations,” Journal of Inequalities and Applications, vol. 2011, article 67, 2011. View at: Google Scholar
15. W. Sintunavarat and P. Kumam, “Generalized common fixed point theorems in complex valued metric spaces and applications,” Journal of Inequalities and Applications, vol. 2012, article 84, 2012. View at: Publisher Site | Google Scholar
16. W. A. Kirk, P. S. Srinivasan, and P. Veeramani, “Fixed points for mappings satisfying cyclical contractive conditions,” Fixed Point Theory, vol. 4, no. 1, pp. 79–89, 2003. View at: Google Scholar | Zentralblatt MATH
17. R. P. Agarwal, M. A. Alghamdi, and N. Shahzad, “Fixed point theory for cyclic generalized contractions in partial metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 40, 2012. View at: Publisher Site | Google Scholar
18. E. Karapınar, “Fixed point theory for cyclic weak ϕ-contraction,” Applied Mathematics Letters, vol. 24, no. 6, pp. 822–825, 2011. View at: Publisher Site | Google Scholar
19. E. Karapınar and K. Sadaranagni, “Fixed point theory for cyclic $\left(\psi ,\varphi \right)$-contractions,” Fixed Point Theory and Applications, vol. 2011, asrticle 69, 2011. View at: Google Scholar
20. E. Karapınar, N. Shobkolaei, S. Sedghi, and S. M. Vaezpour, “A common fixed point theorem for cyclic operators on partial metric spaces,” Filomat, vol. 26, no. 2, pp. 407–414, 2012. View at: Google Scholar
21. E. Karapınar, “Best proximity points of cyclic mappings,” Applied Mathematics Letters, vol. 25, no. 11, pp. 1761–1766, 2012. View at: Publisher Site | Google Scholar
22. E. Karapınar and İ. M. Erhan, “Cyclic contraction and fixed point theorems,” Filomat, vol. 26, no. 4, pp. 777–782, 2012. View at: Google Scholar
23. E. Karapınar, İ. M. Erhan, and A. Y. Ulus, “Fixed point theorem for cyclic maps on partial metric spaces,” Applied Mathematics & Information Sciences, vol. 6, no. 1, pp. 239–244, 2012. View at: Google Scholar
24. M. Păcurar and I. A. Rus, “Fixed point theory for cyclic ϕ-contractions,” Nonlinear Analysis, vol. 72, no. 3-4, pp. 1181–1187, 2010. View at: Publisher Site | Google Scholar
25. M. A. Petric, “Some results concerning cyclical contractive mappings,” General Mathematics, vol. 18, no. 4, pp. 213–226, 2010. View at: Google Scholar
26. I. A. Rus, “Cyclic representations and fixed points,” Annals of the Tiberiu Popoviciu Seminar of Functional Equations, Approximation and Convexity, vol. 3, pp. 171–178, 2005. View at: Google Scholar
27. V. Berinde, “Approximating fixed points of weak contractions using the Picard iteration,” Nonlinear Analysis Forum, vol. 9, no. 1, pp. 43–53, 2004. View at: Google Scholar | Zentralblatt MATH
28. V. Berinde, “General constructive fixed point theorems for Cric-type almost contractions in metric spaces,” Carpathian Journal of Mathematics, vol. 24, no. 2, pp. 10–19, 2008. View at: Google Scholar | Zentralblatt MATH
29. T. Zamfirescu, “Fixed point theorems in metric spaces,” Archiv der Mathematik, vol. 23, pp. 292–298, 1972. View at: Google Scholar
30. M. Abbas, G. V. R. Babu, and G. N. Alemayehu, “On common fixed points of weakly compatible mappings satisfying ‘generalized condition (B)’,” Filomat, vol. 25, no. 2, pp. 9–19, 2011. View at: Publisher Site | Google Scholar
31. V. Berinde and M. Păcurar, “Fixed points and continuity of almost contractions,” Fixed Point Theory, vol. 9, no. 1, pp. 23–34, 2008. View at: Google Scholar | Zentralblatt MATH
32. B. Samet and C. Vetro, “Berinde mappings in orbitally complete metric spaces,” Chaos, Solitons & Fractals, vol. 44, no. 12, pp. 1075–1079, 2011. View at: Publisher Site | Google Scholar
33. T. Suzuki, “Fixed point theorems for Berinde mappings,” Bulletin of the Kyushu Institute of Technology. Pure and Applied Mathematics, no. 58, pp. 13–19, 2011. View at: Google Scholar
34. W. Sintunavarat and P. Kumam, “Common fixed point theorem for hybrid generalized multi-valued contraction mappings,” Applied Mathematics Letters, vol. 25, pp. 52–57, 2012.
35. W. Sintunavarat and P. Kumam, “Weak condition for generalized multi-valued $\left(f,\alpha ,\beta \right)$-weak contraction mappings,” Applied Mathematics Letters, vol. 24, no. 4, pp. 460–465, 2011. View at: Publisher Site | Google Scholar
36. W. Sintunavarat and P. Kumam, “Common fixed point theorem for hybrid generalized multi-valued contraction mappings,” Applied Mathematics Letters, vol. 25, no. 1, pp. 52–57, 2012.
37. C. Mongkolkeha and P. Kumam, “Best proximity point theorems for generalized cyclic contractions in ordered metric spaces,” Journal of Optimization Theory and Applications. In press. View at: Publisher Site | Google Scholar

Copyright © 2012 Mohamed Jleli et al. 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.