Journal of Function Spaces
Volume 2018 (2018), Article ID 9839627, 14 pages
https://doi.org/10.1155/2018/9839627

Research Article

Some Results on N-Tupled Coincidence and Fixed Points of Graphs on Metric Spaces and an Application to Integral Equations

Ahmed H. Soliman1,2 and Tamer Nabil1,3

¹King Khalid University, College of Science, Department of Mathematics, P.O. Box 9004, 61413, Abha, Saudi Arabia
²Department of Mathematics, Faculty of Science, Al-Azhar University, Assiut Branch, Assiut 71524, Egypt
³Suez Canal University, Faculty of Computers and Informatics, Department of Basic Science, Ismailia, Egypt

Correspondence should be addressed to Ahmed H. Soliman; mahmod@kku.edu.sa

Received 17 September 2018; Revised 14 October 2018; Accepted 24 October 2018; Published 5 November 2018

Academic Editor: Richard I. Avery

Copyright © 2018 Ahmed H. Soliman and Tamer Nabil. 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.

In this work, we establish some N-tupled common coincidence and N-tupled common fixed points for the mappings satisfying a type contractive condition in a complete metric space endowed with a directed graph (for short digraph). Also, we apply our theoretical results to study the existence and uniqueness of solutions for systems of integral equations.

1. Introduction

The theory of fixed point has become very important and useful to solve many mathematical problems in different subjects of sciences such as dynamical programming [1], optimization theory [2], signal processing [3], and iterative process [4], and other times it is used to prove the existence of solution of differential and integral equations [5, 6].

Coupled fixed point was started by Guo and Lakshmikantham [7] in 1987 which is additionally trailed by Bhasker and Lakshmikantham [8] wherein authors gave the notion of mixed monotone property for a generalized contraction mapping (where is an ordered metric space) and utilized the same to introduce some results on existence of coupled fixed points which are seen as coupled definition of specific results of Nieto and Lopez [9]. In 2009, Lakshmikantham and Ciric [10] extended these results for nonlinear contraction mappings by giving the notions of mixed g-monotone property and coupled coincidence point. Recently, the idea of coupled fixed point is reached out to higher dimensions by numerous authors. In fact, in 2010, Samet and Vetro [11] defined the notion of fixed point of n-tupled fixed point, and , as natural extension of coupled fixed point and proved some theorems for n-tupled fixed point in complete metric spaces. In 2013, Imdad et al. [12] extended the notion of n-tupled fixed point for a pair of mappings F and g by defining n-tupled coincidence point and also introduced the general concept of mixed g-monotone property on for merely even n. Also, they employed the same to prove an even-tupled coincidence theorem for nonlinear contractions satisfying mixed g-monotone property. In fact, this result is true for only even n but not for odd ones. Recently, Kir et al. [13] considered the existence of a coupled fixed point of contractive mappings endowed with a digraph and applied the obtained results to the system of two integral equations. There already exists an extensive literature on this topic. Keeping in view the relevance of this paper, we refer to [14–21].

In this paper, we will obtain more general results of Kir et al. [13], which are common N-tupled coincidence points and common N-tupled fixed points of operators satisfying contractive condition in metric spaces endowed with a digraph.

Our paper is organized as follows. In Section 2, some basic definitions are introduced. Section 3 contains some results on N-tupled coincidence points. In Section 4, the existence of a common N-tupled fixed point of operators satisfying contractive conditions in metric spaces endowed with a digraph is considered. Section 5 gives an application to integral equations to support availability of the obtained results.

2. Preliminaries

Through all of this paper let be a complete metric space. We recall the following definition which is given in [22].

Definition 1. An element is said to be an N-tupled fixed point of the function if

Therefore, an element is said to be a common N-tupled coincidence point of the functions and if

Also, an element is said to be a common N-tupled fixed point of the functions and if is N-tupled fixed point for both and

The following definition of commutative mappings in is the generalization of the definition of Lakshmikntham and Ciric [10].

Definition 2. The two mappings and are said to be commutative if

for all

Inspired by the definition of compatible mappings in of Choudhury and Kundu [23], we introduce the following definition.

Definition 3. The mappings and are called compatible if

where are sequences in such that

where

Definition 4 (see [24]). Let be the set of all functions such that, for any , all following conditions are satisfied:
is lower semi-continuous and (strictly) increasing;
for all ;
for all ;
one can note that if and only if for ;
for denote all functions which satisfy the following:

(4A) if ;(4B) if for a sequence .

Now, let be a metric space. Define to be a diagonal of and is digraph which does not have parallel edges, where is the set of vertices of and is the set of edges of

Through all of this paper, let coincide with and Chifu and Petrusel [25] considered the concept of continuous mappings which is extended in by the following definition.

Definition 5. Let and be two mappings. Then (I) is said to be continuous if for all and any positive sequence

as and

We have

(II) (X, d, G) has property if any sequence with as and , then

Consider the set of all N-tupled coincidence points of the mappings and , i.e.,

Therefore, is defined as

In 2015, Suantai et al. [26] considered the definition of edge preserving which is extended by the following definition.

Definition 6. The mappings and are said to be edge preserving if

implies that

Definition 7 (see [26]). satisfies the transitivity property in if and only if , where

3. An N-Tupled Coincidence Point Theorem

Firstly, we give the following definition which will be used in our main results.

Definition 8. Let be a complete metric space endowed with digraph The mappings and are called contractive if
and are edge preserving,
there exist and such that, for all and ,

then

We study the existence of N-tupled coincidence point of the mappings and under the following hypotheses:

is continuous and is closed;

, and is compatible;

is continuous;

the tripled has a property

Now, we are ready to introduce our tupled coincidence point theorem.

Theorem 9. Let and be contractive mappings, where is a complete metric space and is the digraph endowed by . If the hypotheses , and hold, then if and only if

Proof. Consider Since , then there exist
such that

Also, we have that

By doing this process, then we get the sequences , such that

Also, we have that

Now, suppose that Let . Thus, we have that

Hence, we get that

Hence, Then, we obtain
Let , then we have that

By using (15), we get that

Since and are edge preserving, we have that

By doing this process, we have

Let We get that

for all , then we have that

By using (26) and because is monotonic function, we obtain is a positive decreasing sequence. Then, as for some Consider . In (26), taking the limit as and from the properties of , we have that

We obtain contradiction. Thus and then we get

Now, we will show that are Cauchy sequences. Let be not Cauchy sequences. Then there exist , positive integers and we can find such that

Therefore, we can find is the smallest integer for which (29) holds, and we have that

Using (29) and (30), we get

From (27) and (31), we get that

Therefore, we obtain that

Using the properties of , we get that

Again from the properties of which is lower semi-continuous, if we take the limit as , we have that

That is a contradiction. Hence, are Cauchy sequences. Then, there exist such that

Since is compatible, we get

Since is continuous, we get, for all ,

Taking the limit as and using (H1) and (H2), we obtain that

Thus, we have that

Hence, .

Theorem 10. Let and be contractive mappings, where is a complete metric space and is the digraph endowed by . If the hypotheses , and hold, then if and only if

Proof. Let such that Following the same argument as in the proof of Theorem 9, we get sequences such that

Thus, we have that

Thus, we obtain that

which implies that

Again using the monotonicity property of , we get

By taking the limit as , we obtain that

Hence,

4. The Existence and Uniqueness of N-Tupled Fixed Points

Let the set of all common N-tupled fixed points of the mappings and denoted by and defined as

Now, we consider the following fixed point property:

Whenever and are two mappings, then have a unique common N-tupled fixed point.

Theorem 11. Let and be commutative contractive mappings, where is a complete metric space and is the digraph endowed by . If the hypotheses , and hold and for any two elements there exists such that Then if and only if have the fixed point property (FP).

Proof. By doing the same argument as in the proof of Theorem 9, there exists such that

Assume there exists another element such that

We will show that We can find such that

By doing the same process as in (17) and (18), we get the sequences ,, such that

and

Therefore, we obtain that

and we obtain that

for all . Then we have that

therefore, we get that

Similarly, one can get that Using the properties of , we get that

We obtain that

where

The sequence is monotonic decreasing sequence of positive real numbers; then such that

Let Take the limit as for (59),

This is a contradiction; hence . Therefore,

which gives that

and according to , then we get that

Since

for all , then by taking the limit as , we have that

Thus, , Hence the uniqueness of N-tupled common coincidence point for and is obtained. Let be the unique N-tupled common coincidence point for and , then it is clear that

Since are commutative, we have

Hence, is another N-tupled common coincidence point for and . Then, we obtain that

To prove the uniqueness of N-tupled fixed point, let be another fixed point. Then there exists such that

and we obtain that

for all Then we have that

Then we have that

Therefore, by putting

we obtain

By doing the same steps above, we can show that there exist such that as If ,

which is a contraction. Hence it must be . Then we have that

Similarly, we can prove

Hence, we get

Theorem 12. Let and be commutative contractive mappings, where is a complete metric space and is the digraph endowed by . If the hypotheses , and hold and for any two elements there exist such that , then if and only if have the fixed point property (FP).

5. An application

Now, we apply the N-tupled fixed point theorem to study the existence and uniqueness of the solution of the system of nonlinear integral equations. This system can be written as

where Define the space is continuous , where, for all , Therefore, and is a complete metric space. Let be a digraph which coincides with and can be obtained by the the partial order relation

Thus is endowed with a digraph It is clear that the transitivity property is satisfied on and has property To prove the existence of unique solution of (80), we consider

and are continuous,

there exists a such that

, there exists a continuous mapping such that

there exists such that

for all

Theorem 13. If conditions (C1), (C2), (C3), and (C4) are satisfied, then system (80) has a unique solution in

Proof. Define , where

Define as System (80) can be written as

Let such that

Then we get that , and

Hence, are N-G-edge preserving. By using conditions (C2) and (C3), and for all , we get that

Take and We get

Thus and are -contractive. Therefore by using (C4) there exists such that

Hence Hence there exists a unique N-tupled common fixed point of and is the unique solution of system (80).

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

Acknowledgments

The authors extend their appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through General Research Project under grant number G.R.P-53-39.

References

A. H. Soliman and T. Nabil, “On the Existence of Coincidence and Common Fixed Point of Two Rational Type Contractions and an Application in Dynamical Programming,” Journal of Function Spaces, vol. 2016, Article ID 3690421, 10 pages, 2016.

T. NABIL and A. H. Soliman, “Weak Convergence Theorems of Explicit Iteration Process with Errors and Applications in Optimization,” Journal of Analysis & Number Theory, vol. 5, no. 1, pp. 81–89, 2017.

T. Nabil and A. H. Soliman, “Weak convergence theorems of implicit iterative process with errors by metric projection methods and applications in signal analysis,” Journal of Computational and Theoretical Nanoscience, vol. 14, no. 11, pp. 5491–5498, 2017.

T. Nabil, “Coupled fixed point of firmly nonexpansive mappings by Manns iterative processes in Hilbert space,” Journal of Computational Analysis and Applications, vol. 27, pp. 809–821, 2019.

N. V. Luong and N. X. Thuan, “Coupled fixed point theorems for mixed monotone mappings and an application to integral equations,” Computers & Mathematics with Applications. An International Journal, vol. 62, no. 11, pp. 4238–4248, 2011.

B. C. Dhage, “Hybrid fixed point theory in partially ordered normed linear spaces and applications to fractional integral equations,” Differential Equations & Applications, vol. 5, no. 2, pp. 155–184, 2013.

D. Guo and V. Lakshmikantham, “Coupled fixed points of nonlinear operators with applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 11, no. 5, pp. 623–632, 1987.

T. G. Bhaskar and V. Lakshmikantham, “Fixed point theorems in partially ordered metric spaces and applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 65, no. 7, pp. 1379–1393, 2006.

J. J. Nieto and R. Rodríguez-López, “Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations,” Order, vol. 22, no. 3, pp. 223–239, 2005.

V. Lakshmikantham and L. Ćirić, “Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 12, pp. 4341–4349, 2009.

B. Samet and C. Vetro, “Coupled fixed point, F-invariant set and fixed point of N-order,” Annals of Functional Analysis, vol. 2, pp. 46–56, 2010.

M. Imded, A. H. Soliman, B. S. Choudhury, and P. Das, “On n-tupled coincidence and common fixed points results in metric space,” Journal of Operators, vol. 2013, Article ID 532867, 8 pages, 2013.

M. Kir, E. Yolacan, and H. Kiziltunc, “Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application,” Open Mathematics, vol. 15, pp. 734–744, 2017.

M. Abbas, H. Aydi, and E. Karapinar, “Tripled fixed points of multivalued nonlinear contraction mappings in partially ordered metric spaces,” Abstract and Applied Analysis, vol. 2011, Article ID 812690, 12 pages, 2011.

H. Aydi, E. Karapınar, and Z. Mustafa, “Coupled coincidence point results on generalized distance in ordered cone metric spaces,” Positivity, vol. 17, no. 4, pp. 979–993, 2013.

H. Aydi, E. Karapinar, and M. Postolache, “Tripled coincidence point theorems for weak φ-contractions in partially ordered metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 44, 2012.

H. Aydi, A. Felhi, Z. Mustafa, W. Shatanawi, and M. M. M. Jaradat, “Strong coupled fixed points for couplings via c-distances,” Journal of Mathematical Analysis, vol. 9, no. 3, pp. 28–37, 2018.

Z. Mustafa, H. Aydi, and E. Karapinar, “Mixed g-monotone property and quadruple fixed point theorems in partially ordered metric spaces,” Fixed Point Theory and Applications, vol. 2012, p. 71, 2012.

T. Rashid, Q. H. Khan, and H. Aydi, “On strong coupled coincidence points of g-Couplings and an application,” Journal of Function Spaces, Article ID 4034535, 2018.

B. Samet, E. Karapinar, H. Aydi, and V. Ć. Rajić, “Discussion on some coupled fixed point theorems,” Fixed Point Theory and Applications, vol. 2013, article 50, 2013.

W. Shatanawi, M. Abbas, H. Aydi, and N. Tahat, “Common coupled coincidence and coupled fixed points in G-metric spaces,” Journal of Nonlinear Analysis and Application, vol. 2012, Article ID jnaa-00162, 16 pages, 2012.

H. Aydi, E. Karapinar, and S. Radenovic, “Tripled coincidence fixed point results for Boyd-Wong and Matkowski type contractions,” Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, vol. 107, no. 2, pp. 339–353, 2013.

B. S. Choudhury and A. Kundu, “A coupled coincidence point result in partially ordered metric spaces for compatible mappings,” Nonlinear Analysis. Theory, Methods & Applications, vol. 73, no. 8, pp. 2524–2531, 2010.

M. Jain, N. Gupta, and S. Kumar, “Coupled fixed point theorems for (ϕ-ψ)- contractive mixed monotone mappings in partially ordered metric spaces and applications,” Interational Journal of Analysis, vol. 2014, Article ID 586096, 9 pages, 2014.

C. Chifu and G. Petrusel, “New results on coupled fixed point theory in metric spaces endowed with a directed graph,” Fixed Point Theory and Applications, 2014:151, 13 pages, 2014.

S. Suantai, P. Charoensawan, and T. A. Lampert, “Common coupled fixed point theorems for θ-ψ-contraction mappings endowed with a directed graph,” Fixed Point Theory and Applications, vol. 2015, no. 1, article no. 224, pp. 1–11, 2015.