Fixed points in partially ordered metric space using δ-distance hybrid contraction
Abstract
The main objective of this paper is to obtain some coincidence point and common fixed point results for multivalued and single valued mappings with generalized hybrid contractive conditions by employing the notion of pre-order relations, δ-distance and altering distance functions in partial ordered metric space. An example is illustrated to prove that the generalizations are real improvements.
Full Text
Tables and figures are in the full-text PDF.
Introduction
In pure and applied mathematics, metric spaces are very crucial, as metric fixed point theory has wide applications in almost all fields of quantitative sciences. The simplicity and usefulness of Banach contraction Principle [1] made the fixed point theorem, a very popular tool in establishing the existence of solution for an integral equation in many branches of mathematical analysis. In 1969, Nadler [11] extended the Banach contraction principle to multivalued mappings in complete metric spaces and one of the interesting results on weakened contractive condition was reported by Alber et al. [2] . Later, Ran and Reurings [15] weakened the contraction principle by considering single valued mappings over partially ordered complete metric spaces, and applied their results to matrix equations. Since then, many authors have studied the existence of fixed points in partially ordered sets. (refer [3,10,13,14] ). Hybrid contractive conditions, that is, contractive conditions involving single valued and multivalued maps are the further addition to metric fixed point theory and its applications. For a comprehensive survey on fundamental development of hybrid contractions and historical remarks, refer S. L. Singh et al. [12,16,17] . The purpose of this paper is to establish some coincidence point and common fixed point results for multivalued and single valued mappings with weakened hybrid contractive conditions using the concept of pre-order relations, δ distance and altering distance functions in metric space endowed with partial order. An example is illustrated to prove that the generalizations are real improvements. These Results extend the results of Gregorio et al. [7] , Giniswamy et al. [6] and many recent results in the literature. First, some basic definitions and important results which are needed in the main results will be recalled.
Definition 1.1:
A partially ordered set is a system (𝑋, ≼) where X is a non-empty set and ≼ is a binary relation on X satisfying, for all 𝑥, 𝑦, 𝑧 ∈ 𝑋 1. 𝑥 ≼ 𝑥 (Reflexivity) 2. If 𝑥 ≼ 𝑦 and 𝑦 ≼ 𝑥, then x = y (Antisymmetry) 3. If 𝑥 ≼ 𝑦 and y ≼ z, then 𝑥 ≼ 𝑧 (Transitivity) Definition 1.2. The triple (𝑋, 𝑑, ≼) is called a partially ordered metric space, if (𝑋, ≼) is a partially ordered set together with (𝑋, 𝑑) is a metric space.
Throughout this paper, CB(X) denotes the set of all nonempty, closed and bounded subsets of a metric space X endowed with a partial order. The δ-distance between any two subsets A and B of X is given by
By the above definition one can conclude the following: 1. 𝑑(𝑎, 𝐵) ≤ 𝐷(𝐴, 𝐵) ≤ 𝛿(𝐴, 𝐵) 2. 𝑑(𝐴, 𝑏) ≤ 𝐷(𝐴, 𝐵) ≤ 𝛿(𝐴, 𝐵) 3. 𝛿(𝐴, 𝐵) = 0 if and only if 𝐴 = 𝐵 = {𝑎} 4. 𝐷(𝐴, 𝐵) = 0 if and only if 𝐴 = 𝐵 Definition 1.4: Let (X, d, ⪯) be a partially ordered metric space, g: X →X and T: X→ CB(X). If w = gx ∈ Tx for some x ∈ X, then x is said to be a coincidence point of g and T and w is the point of coincidence of g and T.
Definition 1.5: Let (X, d, ⪯) be a partially ordered metric space, g: X → X and T: X → CB(X). Then a point 𝑥 ∈ 𝑋 is said to be a fixed point of g and T if x = gx ∈ Tx. The first three pre-order relations between nonempty subsets of partially ordered metric space appeared in [4,5,18] respectively and the last three are defined in [7] . Definition 1.6: Let (𝑋, 𝑑, ⪯) be a partially ordered metric space. Let 𝐴, 𝐵 ∈ 𝐶𝐵(𝑋), then the pre-order relations are defined as follows:
Definition 1.7: Let (X, d, ⪯) be a partially ordered metric space, g: X → X and T: X → CB(X). Then the mappings g and T are called weakly compatible if gx ∈ Tx for some x ∈ X implies gT (x) ⊆ Tg(x). The altering distance function is defined as follows and it has been utilized in many works in metric fixed point theory. Definition 1.8: [9] A function 𝜓: [0, ∞) → [0,1)is called an altering distance function if the following properties are satisfied: 1. ψ is monotone increasing and continuous, 2. ψ(t) = 0 if and only if t = 0. Lemma 1.9: [11] . Let {𝐴 𝑛 } be a sequence in 𝐶𝐵(𝑋) and lim 𝑛→∞ 𝐷(𝐴 𝑛 , 𝐴) = 0 for 𝐴 ∈ 𝐶𝐵(𝑋). If 𝑥 𝑛 ∈ 𝐴 𝑛 and lim 𝑛→∞ 𝑑(𝑥 𝑛 , 𝑥) = 0 then 𝑥 ∈ 𝐴. Proposition 1.10: [8] . Let X be a given nonempty set. Assume that 𝑔: 𝑋 → 𝑋 and 𝑇: 𝑋 → 2 𝑋 are weakly compatible mappings. If g and T have a unique point of coincidence 𝑤 = 𝑔𝑥 ∈ 𝑇𝑥, then w is the unique common fixed point of g and T.
Main Results
We now state and prove the first main result. Throughout this paper, Φ denotes the class of functions 𝜙: [0, ∞) → [0,1) such that lim 𝑟→𝑡 + sup 𝜙(𝑟) < 1 for each 𝑡 ∈ [0, ∞) Theorem 2.1: Let (𝑋, 𝑑, ≼) be partially ordered metric space. Let 𝑇: 𝑋 → 𝐶𝐵(𝑋) be a multivalued mapping and g: 𝑋 → 𝑋 be a self map satisfying the following conditions 1. 𝑇(𝑥) ⊆ g𝑋 ∀ 𝑥 ∈ 𝑋 and g𝑋 is complete
References
- Banach S. Sur les operations dans les ensembles abstraites et leurs applications. Fund. Math. 1922;3:133-181.
- Alber Ya I, Guerre-Delabriere S. Principles of weakly contractive maps in Hilbert space. New Results on Operation Theory: Adv. Appl. 1997;98:7-22.
- Beg I, Butt AR. Fixed point theorems for set valued mappings in partially ordered metric spaces. Int. J. Math. Sci. 2003;7:66-68.
- Beg I, Butt AR. Common fixed point for generalized set valued contractions satisfying an implicit relation in partially ordered metric spaces. Math. Commun. 2012;15:65-76.
- Choudhury BS, Metiya N. Multivalued and single valued fixed point results in partially ordered metric spaces. Arab J. Math. Sci. 2011;17:135-151.
- Giniswamy P, Maheshwari C, Jeyanthi. Fixed points on hybrid contractive conditions in partially ordered metric space. Journal of Nonlinear and Convex Analysis. 2016;17(6):1137-1149.
- Gregorio RO, Macansantos PS. Fixed point theorems and stability of fixed point sets of multivalued mappings. Adv. Fixed Point Theory. 2013;3:735-746.
- Kaewcharoen A, Kaewkhao A. Common fixed points for singlevalued and multivalued mappings in G-metric spaces. Int. J. Math. Anal. 2011;5:1775-1790.
- Khan MS, Swaleh M, Sessa S. Fixed point theorems by altering distances between the points. Bull. Australian Math. Soc. 1984;30:1-9.
- Klim D, Wardowski D. Fixed point theorems for set valued contractions in complete metric spaces. J. Math. Anal. Appl. 2007;334:132-139.
- Nadler SB. Multivalued contraction mappings. Pacific J. Math. 1969;30:475-478.
- Naimpally SA, Singh SL, Whitfield JHM. Coincidence point theorems for hybrid contractions. Math. Nachr. 1986;127:177-180.
- Nieto JJ, Rodriguez-Lopez R. Contractive mapping theorems in partially ordered sets and application to ordinary differential equations. Order. 2005;22:223-239.
- Nieto JJ, Rodriguez-Lopez R. Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 2007;23:2205-2212.
- Ran ACM, Reurings MCB. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Amer. Math. Soc. 2004;132:1435-1443.
- Singh SL, Mishra SN. Nonlinear hybrid contractions. J. Nat. Phys. Sci. 1994;5(8):191-206.
- Singh SL, Mishra SN. Coincidence and fixed points of non self hybrid contractions. J. Math. Anal. Appl. 2001;256:486497.
- Straccia U, Ojeda-Aciego M, Damasio CV. On fixed points of multivalued functions on complete lattices and their applications to generalized logic programs. SIAM J. Comput. 2009;38:1881-1911.
How this paper connects to the literature. Drag to explore, click any node to open that paper.
