SOME NEW COMMON FIXED POINTS OF ...

4 downloads 0 Views 223KB Size Report
GENERALIZED RATIONAL CONTRACTIVE. MAPPINGS IN DISLOCATED METRIC SPACES WITH. APPLICATION. Sami Ullah Khan. ∗. , Muhammad Arshad ...
Honam Mathematical J. 39 (2017), No. 2, pp. 161–174 https://doi.org/10.5831/HMJ.2017.39.2.161

SOME NEW COMMON FIXED POINTS OF GENERALIZED RATIONAL CONTRACTIVE MAPPINGS IN DISLOCATED METRIC SPACES WITH APPLICATION Sami Ullah Khan∗ , Muhammad Arshad, Tahair Rasham and Abdullah Shoaib

Abstract. The objective of this manuscript is to continue the study of fixed point theory in dislocated metric spaces, introduced by Hitzler et al. [12]. Concretely, we apply the concept of dislocated metric spaces and obtain theorems asserting the existence of common fixed points for a pair of mappings satisfying new generalized rational contractions in such spaces.

1. Introduction Fixed point theory has an important role in non linear analysis. In this field the first important and significant result was proved by Banach [7] for the contraction mapping in a complete metric space. After that, huge number of fixed point theorems have been established by various authors and they made different generalizations of the Banach’s result. The notion of metric spaces introduced by Frechet [10], is one of the helpful topic in Analysis. The study of metric spaces expressed the most important role to many fields both in pure and applied science such as biology, medicine, physics and computer science (see [14], [24] ). Some generalizations of the notion of a metric space have been proposed by some authors, such as, rectangular metric spaces, semi metric spaces, pseudo metric spaces, probabilistic metric spaces, fuzzy metric spaces, quasi metric spaces, quasi semi metric spaces, D-metric spaces, and cone Received November 14, 2016. Accepted April 11, 2017. 2010 Mathematics Subject Classification. Primary 47H10; Secondary 54H25. Key words and phrases. Common fixed point, Dislocated metric, Contractive type mappings Research funding can be written here. *Corresponding author

162Sami Ullah Khan∗ , Muhammad Arshad, Tahair Rasham and Abdullah Shoaib

metric spaces (see [ [2], [9], [11], [19], [20]]). Branciari [8] introduced the notion of a generalized metric space replacing the triangle inequality by a rectangular type inequality. He then extended Banach’s contraction principle in such spaces. In 1994, S. G. Matthews [17] intoduced the concept of partial metric spaces and obtained various fixed point theorems. In particular, he established the precise relationship between partial metric spaces and quasi-metric spaces, and proved a partial metric generalization of Banach’s contraction mapping theorem. Hitzler and Seda [12] introduced the concept of dislocated topologies and named their corresponding generalized metric a dislocated metric. They have also established a fixed point theorem incomplete dislocated metric spaces to generalize the celebrated Banach contraction principle. The notion of dislocated topologies has useful applications in the context of logic programming semantics (see [13]).

2. Definitions and Relevant results Definition 2.1. [12] Let X be a nonempty set. A mapping dl : X × X → [0, ∞) is called a dislocated metric (or simply dl -metric) if the following conditions hold. for any j, k, l ∈ X : 1. If dl (j, k) = 0 , then j = k; 2. dl (j, k) = dl (k, j); 3. dl (j, k) ≤ dl (j, l) + dl (l, k). Then dl is called a dislocated metric on X, and the pair (X, dl ) is called dislocated metric space or dl metric space. Example 2.2. If X = R+ ∪ {0}, then dl (j, k) = j + k defines a dislocated metric on X. Definition 2.3. [12] A sequence {jn } in dl −metric space is called Cauchy sequence if for given ε > 0, there corresponds n0 ∈ N such that for all n, m ≥ n0 , we have dl (jm , jn ) < ε. Definition 2.4. [12] A sequence {jn } in dl −metric space converges with respect to dl if there exists j ∈ X such that dl (jn , j) → 0 as n → ∞. In this case, j is called limit of {jn } and we write jn → j. Every metric space is a dislocated metric, but the converse may not be true.

Some New Common Fixed Points of Generalized Rational

163

Definition 2.5. Let X = R and dl : X × X → [0, ∞) defined by dl (j, k) = |j| + |k| for all j, k ∈ X. Note that dl is a dislocated metric, but not a metric since dl (1, 1) = 2 > 0. Definition 2.6. [12] A dl −metric space (X, dl ) is called complete if every Cauchy sequence in X converges to a point in X. Definition 2.7. Let X = [0, 1] and dl (j, k) = max{j, k}. Then the pair (X, dl ) is dislocated metric space, but it is not a metric space. Definition 2.8. [12] Let (X, dl ) be a dislocated metric space. A mapping T : X → X is called contraction if there exists 0 ≤ λ < 1 such that d(T (j) , T (k)) ≤ λd(j, k), for all j, k ∈ X with j 6= k. Then T has a unique fixed point in X. The purpose of this paper is to prove common fixed point theorems for generalized rational contractions on dislocated metric spaces. We provide an example and an application to a system of integral equations to validate our results. 3. The Results In this section we will prove the existance of common fixed points of two self mappings involving rational expressions in dislocated metric space. Theorem 3.1. Let (X, d) be a complete dislocated metric space and let the mappings S, T : X → X satisfy: dl (j, T k) .dl (k, Sj) dl (j, Sj) .dl (k, T k) + a3 + dl (j, k) dl (j, k) dl (j, Sj) dl (k, T k) a4 dl (j, T k) + dl (j, k) + dl (k, Sj)

dl (Sj, T k) ≤ a1 dl (j, k) + a2 (1)

for all j, k ∈ X, where a1 , a2 , a3 , a4 are nonnegative reals with a1 + a2 + a3 + a4 < 1. Then S, T have a unique common fixed point. Proof: Let j0 be an arbitrary point in X and define j1 = Sj0 and j2 = T j1 such that dl (j1 , j2 ) = dl (Sj0 , T j1 ) .

164Sami Ullah Khan∗ , Muhammad Arshad, Tahair Rasham and Abdullah Shoaib

Then dl (j0 , Sj0 ) .dl (j1 , T j1 ) dl (j0 , T j1 ) .dl (j1 , Sj0 ) + a3 + dl (j0 , j1 ) dl (j0 , j1 ) dl (j0 , Sj0 ) dl (j1 , T j1 ) a4 , dl (j0 , T j1 ) + dl (j0 , j1 ) + dl (j1 , Sj0 ) dl (j0 , j1 ) .dl (j1 , j2 ) dl (j0 , j2 ) .dl (j1 , j1 ) ≤ a1 dl (j0 , j1 ) + a2 + a3 + dl (j0 , j1 ) dl (j0 , j1 ) dl (j0 , j1 ) dl (j1 , j2 ) a4 , dl (j0 , j2 ) + dl (j0 , j1 ) + dl (j1 , j1 ) dl (j0 , j1 ) dl (j1 , j2 ) ≤ a1 dl (j0 , j1 ) + a2 dl (j1 , j2 ) + a4 . dl (j0 , j2 ) + dl (j0 , j1 )

dl (j1 , j2 ) ≤ a1 dl (j0 , j1 ) + a2

As (owing to triangular inequality), dl (j1 , j2 ) < a1 dl (j0 , j1 ) + a2 dl (j1 , j2 ) + a4

dl (j0 , j1 ) dl (j1 , j2 ) , dl (j0 , j2 ) + dl (j0 , j1 )

where dl (j1 , j2 ) ≤ dl (j1 , j0 ) + dl (j0 , j2 ) . Hence 

 a1 + a4 dl (j1 , j2 ) < |dl (j0 , j1 )| , 1 − a2 < λdl (j0 , j1 ) , where λ =

a1 +a4 1−a2 .

Similarly, by repeating the same process for

dl (j2 , j3 ) = dl (T j1 , Sj2 ) = dl (Sj2 , T j1 ) we get |dl (j2 , j3 )| < λ2 |dl (j0 , j1 )| . Consequently, we get |dl (j2n+1 , j2n+2 )| < λdl (j2n , j2n+1 ) < λ2 dl (j2n−1 , j2n ) < λ2n+1 dl (j0 , j1 ) . Hence for any m > n, dl (jn , jm ) < dl (jn , jn+1 ) + dl (jn+1 , jn+2 ) + · · · · +dl (jm−1 , jm ) ,  < λn + λn+1 + · · · · +λm−1 dl (j0 , j1 ) , λn dl (j0 , j1 ) , < 1−λ

Some New Common Fixed Points of Generalized Rational

165

and

λn dl (j0 , j1 ) . 1−λ −→ 0, as m, n −→ ∞ This implies that {jn } is a Cauchy sequence. Since X is complete, there exist u ∈ X such that jn −→ u. It fallows that u = Su, otherwise d (u, Su) = z > 0 and we would then have dl (jn , jm )
n, dl (jn , jm )



dl (jn , jn+1 ) + dl (jn+1 , jn+2 ) + · · · + dl (jm−1 , jm ) ,



λn dl (j0 , j1 ) + λn+1 dl (j0 , j1 ) + · · · + λm−1 dl (j0 , j1 ) ,

 λn + λn+1 + · · · + λm−1 dl (j0 , j1 ) ,  n  λ dl (j0 , j1 ) , ≤ 1−λ −→ 0 as m, n −→ ∞. ≤

Hence {jn } is a Cauchy sequence. Since X is complete, so for any u ∈ X such that jn −→ u and suppose θ = dl (u, Su) . Therefore we have dl (u, Su) ≤ dl (u, j2n+2 ) + dl (j2n+2 , Su) = dl (u, j2n+2 ) + dl (T (j2n+1 ) , Su) = dl (u, j2n+2 ) + dl (Su, T (j2n+1 )) dl (u, Su) dl (j2n+1 , T (j2n+1 )) 1 + dl (u, j2n+1 ) dl (u, Su) dl (j2n+1 , j2n+2 ) ≤ dl (j2n+2 , u) + adl (u, j2n+1 ) + b 1 + dl (u, j2n+1 ) θ + dl (j2n+1 , j2n+2 ) θ ≤ dl (u, j2n+2 ) + adl (u, j2n+1 ) + b 1 + dl (u, j2n+1 ) ≤ dl (j2n+2 , u) + adl (u, j2n+1 ) + b

letting n → ∞ , and jn −→ u we get, (1 − b) θ ≤ 0 (1 − b) 6= 0 θ = dl (u, Su) = 0. which implies that u = Su. It fallows similarly that u = T u. Now, we show that S and T have a unique common fixed point. For this, assume that v in X is a second common fixed point of S and T. Then

Some New Common Fixed Points of Generalized Rational

169

dl (u, v) = dl (Su, T v)

≤ a dl (u, v) + b

dl (u, Su) dl (v, T v) 1 + dl (u, v)

≤ a dl (u, v).

This implies that (1 − a) dl (u, v) ≤ 0 1 − a 6= 0 dl (u, v) = 0. This implies that u = v, completing the proof of the theorem. As an application of Theorems (3.1) and (3.4) we prove the following theorem for two finite families of mappings. n Theorem 3.5. If {Tp }m 1 and {Sp }1 are two finite pair wise commuting finite families of self mappings defined on complete dislocated metric space (X, dl ) such that the mappings T and S satisfy the conditions of theorems (3.1) and (3.4), then the component maps of the two families n {Tp }m 1 and {Sp }1 have a unique common fixed point.

Proof. In view of theorems (3.1) and (3.4), one can infer that T and S have a unique common fixed point q i.e. T q = Sq = q. Now we are required to show that q is common fixed point of all the components maps of both the families. In view of pairwise commutativity of families n of {Tp }m 1 and {Sp }1 , (for every 1 ≤ i ≤ m ) we can write Ti q = Ti Sq = STi q and Ti q = Ti T q = T Ti q which shows that Ti q (for every i ) is also a common fixed point of T and S. By using the uniqueness of common fixed point, we can write Ti q = q (for every i ) which shows that q is the common fixed point of the family {Tp }m 1 . Using the foregoing arguments, one can also shows that (for every 1 ≤ i ≤ n ) Si q = q. This completes the proof of the theorem. By setting {Sp }n1 = Γ and {Tp }m 1 = Ω in theorems (3.1) and (3.4), we derive the following common fixed point theorems involving iterates of mappings.

170Sami Ullah Khan∗ , Muhammad Arshad, Tahair Rasham and Abdullah Shoaib

Corollary 3.6. If Γ and Ω are two commuting self mappings defined on a complete dislocated metric space (X, dl ) satisfying the condition : dl (j, Γm j) .dl (k, Ωn k) dl (j, Ωn k) .dl (k, Γm j) + a3 + dl (j, k) dl (j, k) dl (j, Γm j) dl (k, Ωn k) a4 dl (j, Ωn k) + dl (j, k) + dl (k, Γm j) for all j, k ∈ X, where a1 , a2 , a3 are nonnegative reals with a1 +a2 +2a3 < 1. Then Γ, Ω have a unique common fixed point. dl (Γm j, Ωn k) ≤ a1 dl (j, k) + a2

Corollary 3.7. If Γ and Ω are two commuting self mappings defined on a complete dislocated metric space (X, dl ) satisfying the condition : dl (j, Γm j) dl (k, Ωn k) 1 + dl (j, k) for all j, k ∈ X, where a, b, are nonnegative reals with a + b < 1. Then Γ, Ω have a unique common fixed point. dl (Γm j, Ωn k) ≤ a dl (j, k) + b

4. Existence of a common solution for a system of integral equations In this section, we show that theorem 3.4 can be applied to the existance of a common solution of the system of the integral equations. Theorem 4.1. Let X = C ([a, b], R) , where b > a ≥ 0 and dl : X × X → R be defined by p −1 dl (j, k) = max kj (t) − k (t)k∞ 1 + a2 ecot a . t∈[a,b]

Consider the following system of integral equations: Z

b

j (t) =

k1 (t, r, j (r)) dr + g (t) , a

Z (3)

j (t) =

b

k2 (t, r, j (r)) dr + h (t) , a

where, X = C [a, b] , t ∈ [a, b] ⊂ R and j, g, h ∈ X.. Suppose that k1 , k2 : [a, b] × [a, b] × R → R are continuous and such that Z b (4.2) Fj (t) = k1 (t, r, j (r)) dr a

Some New Common Fixed Points of Generalized Rational

171

and Z (4.3)

b

k2 (t, r, j (r)) dr

Gj (t) = a

for all j ∈ X and for all t ∈ [a, b] .Then the existence of a solution to (4.1) is equaivalent to the existance of common fixed point of S and T. Let us consider p −1 kFj (t) − Gk (t) + g (t) − h (t)k∞ 1 + a2 ecot a ≤ A (j, k) (t)+B (j, k) (t) where A (j, k) (t) = kj (t) − k (t)k∞

p −1 1 + a2 ecot a

and B (j, k) (t) =

kFj (t) + g (t) − j (t)k∞ kGk (t) + h (t) − y (t)k∞ p −1 1 + a2 ecot a 1 + d (j, k)

Then the system of integral Equations (4.2) and (4.3) have a unique common solution. Proof: It is easily to check that (X, dl ) is a dislocated metric space. Define two mappings S ,T : X ×X → X by Sj = Fj +g and Tj = Gj +h. Then p −1 d (S (j) , T (k)) = max kFj (t) − Gk (t) + g (t) − h (t)k∞ 1 + a2 ecot a t∈[a,b]

d (j, S (j)) = max kFj (t) + g (t) − j (t)k∞

p −1 1 + a2 ecot a

t∈[a,b]

and d (k, T (k)) = max kGk (t) + h (t) − k (t)k∞

p −1 1 + a2 ecot a

t∈[a,b]

Thus by theorem 3.4, we get S and T have a common fixed point. Thus there exists a unique point v ∈ X such that v = Sv = T v. Now, we have j = S (j) = Fj + g and j = T (j) = Gj + h that is Z b

j (t) =

k1 (t, r, j (r)) dr + g (t) a

and Z j (t) =

b

k2 (t, r, j (r)) dr + h (t) a

172Sami Ullah Khan∗ , Muhammad Arshad, Tahair Rasham and Abdullah Shoaib

Therefore, we can conclude that the system of integral equations (4.1) have a unique common fixed point. Conflict of Interests The authors declare that they have no competing interests.

References [1] A. Al-Rawashdeh, J. Ahmad, Common Fixed Point Theorems for JSContractions, Bulletin of Mathematical Analysis and Applications Volume 8 Issue 4(2016), Pages 12-22. [2] M. Abbas, B. E. Rhoades, Fixed and periodic point results in cone metric spaces. Appl. Math. Lett. 22. 511–515 (2009) [3] M. Arshad, A. Azam, M. Abbas, A. Shoaib, Fixed point results of dominated mappings on a closed ball in ordered partial metric spaces without continuity, U.P.B. Sci. Bull., Series A, Vol. 76, Iss.2. 2014. [4] M. Arshad, E. Karapinar, J. Ahmad, Some Unique Fixed Point Theorem For Rational Contractions in Partially Ordered Metric Spaces, Journal of Inequalities and Applications, 2013. [5] M. Arshad, S.U. Khan, HK, Nashine, M. Nazam, Some Common Fixed Points of Generalized Contractive Mappings on Complex Valued Metric Spaces, J. Ana. Num. Theory. 5, No. 1, 73-80 (2017). [6] J. Ahmad, N. Hussain, New Suzuki-Berinde Type Fixed Point Results, CARPATHIAN J. MATH, 33 (2017), No. 1, 59 – 72. [7] S. Banach, Sur les operations dans les ensembles abstraits et leur application aux equations int egrales, Fund. Math., 3 (1922), 133-181. [8] A. Branciari, A fixed point theorem of Banach-Caccippoli type on a class of generalized metric spaces, Public. Math. Debrecen 57 31–37 (2000). [9] B. C. Dhage, Generalized metric spaces with fixed point. Bull. Calcutta Math. Soc. 84, 329–336 (1992). [10] C. E. Frechet, Surquelques points du calcul fonctionnal, Rendiconti del Circolo Mathematico di Palermo, vol 22, 2nd semester. pp 1–74 (1906). [11] L. G. Haung, X. Zhang, Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332, 1468–1476 (2007). [12] P. Hitzler, A. K. Seda, Dislocated topologies. J. Electr. Eng. 51(12), 3-7 (2000). [13] P. Hitzler, Generalized metrics and topology in logic programming semantics. PhD thesis, National University of Ireland (University College, Cork) (2001). [14] W. A. Kirk, Some recent results in metric fixed point theory, J. Fixed point theory and appl. 2, 195-207 (2007). [15] MA. Kutbi, J. Ahmad, N. Hussain, M. Arshad, Common Fixed Point Results for Mappings with Rational Expressions, Abstract and Applied Analysis vol. 2013, Article ID 549518, 11 pages. [16] S. Oltra, O. Valero, Banach fixed point theorems for partial metric spaces, Rend. Ist. Mat. Univ, Trieste 36(2004), 17-26. [17] S.G. Matthews, Partial metric topology Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci.,vol. 728, 1994, pp. 183–197.

Some New Common Fixed Points of Generalized Rational

173

[18] SJ. O’Neill, Partial metrics, valuations and domain theory Proc. 11th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci, vol. 806, 1996, pp. 304–315. [19] S. Radenovic, B. E. Rhoades, Fixed point theorem for two non-self mappings in cone metric spaces. Comput. Math. Appl. 57 1701–1707 (2009). [20] S. Rezapour, R. Hamlbarani, Some notes on the paper ‘cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 345 719–724 (2008). [21] S. Romaguera and M. Schellekens, Quasi-metric properties of complexity spaces Topology Appl. 98(1999), 311–322. [22] M. Arshad, S. U. Khan, J. Ahmad, Fixed point results for F-contractions involving some new rational expressions, JP Journal of Fixed Point Theory and Applications Volume 11, Number 1, 2016, Pages 79-97. [23] S. U. Khan, and Arjamand Bano, Common fixed point theorems for f-contraction mappings in TVS-valued cone metric spaces, J. of New Theory, 2016, Number13, Pages: 96-103. [24] C. Semple, M. Steel, Phylogenetics, Oxford Lecture Ser. In Math Appl, vol. 24, Oxford Univ. Press, Oxford (2003). [25] O. Valero, On Banach fixed point theorems for partial metric spaces, Applied General Topology, Vol.6, No.2, 2005.

Sami Ullah Khan Department of Mathematics, International Islamic University, H-10, Islamabad - 44000, Pakistan. Department of Mathematics, Gomal University D. I. Khan, KPK, Pakistan. E-mail: [email protected] Muhammad Arshad Department of Mathematics, International Islamic University, H-10, Islamabad - 44000, Pakistan. E-mail: marshad− [email protected] Tahair Rasham Department of Mathematics, International Islamic University, H-10, Islamabad - 44000, Pakistan. E-mail: tahir [email protected] Abdullah Shoaib Department of Mathematics, Ripha International

174Sami Ullah Khan∗ , Muhammad Arshad, Tahair Rasham and Abdullah Shoaib

University, Islamabad, Pakistan. E-mail: [email protected]