Research Article | Open Access

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

**Academic Editor:**Alexander I. Domoshnitsky

#### 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., [2–15]). 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., [17–26]).

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, 30–37]. 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. * for ; *(ii)*there exists a constant such that
for all , for . ** Then has a unique fixed point that belongs to . *

Corollary 3.8. * 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

- 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 - 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
- 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 - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - D. Dorić, “Common fixed point for generalized $(\psi ,\varphi )$-weak contractions,”
*Applied Mathematics Letters*, vol. 22, no. 12, pp. 1896–1900, 2009. View at: Publisher Site | Google Scholar - 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 - G. Jungck, “Commuting mappings and fixed points,”
*The American Mathematical Monthly*, vol. 83, no. 4, pp. 261–263, 1976. View at: Publisher Site | Google Scholar | Zentralblatt MATH - G. Jungck, “Compatible mappings and common fixed points. II,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 11, no. 2, pp. 285–288, 1988. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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 - A. Meir and E. Keeler, “A theorem on contraction mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 28, pp. 326–329, 1969. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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 - 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 - 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 - 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 - 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 - E. Karapınar and K. Sadaranagni, “Fixed point theory for cyclic $(\psi ,\varphi )$-contractions,”
*Fixed Point Theory and Applications*, vol. 2011, asrticle 69, 2011. View at: Google Scholar - 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 - 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 - 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 - 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 - 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 - M. A. Petric, “Some results concerning cyclical contractive mappings,”
*General Mathematics*, vol. 18, no. 4, pp. 213–226, 2010. View at: Google Scholar - 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 - 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 - 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 - T. Zamfirescu, “Fixed point theorems in metric spaces,”
*Archiv der Mathematik*, vol. 23, pp. 292–298, 1972. View at: Google Scholar - 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 - 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 - 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 - 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 - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - W. Sintunavarat and P. Kumam, “Weak condition for generalized multi-valued $(f,\alpha ,\beta )$-weak contraction mappings,”
*Applied Mathematics Letters*, vol. 24, no. 4, pp. 460–465, 2011. View at: Publisher Site | Google Scholar - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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

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.