Hindawi Publishing Corporation ξ e Scientiο¬c World Journal Volume 2014, Article ID 981578, 12 pages http://dx.doi.org/10.1155/2014/981578
Research Article Implicit Contractive Mappings in Modular Metric and Fuzzy Metric Spaces N. Hussain1 and P. Salimi2 1 2
Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia Young Researchers and Elite Club, Rasht Branch, Islamic Azad University, Rasht, Iran
Correspondence should be addressed to N. Hussain;
[email protected] Received 21 April 2014; Accepted 26 May 2014; Published 5 June 2014 Academic Editor: Abdullah Alotaibi Copyright Β© 2014 N. Hussain and P. Salimi. 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. The notion of modular metric spaces being a natural generalization of classical modulars over linear spaces like Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, and Calderon-Lozanovskii spaces was recently introduced. In this paper we investigate the existence of fixed points of generalized πΌ-admissible modular contractive mappings in modular metric spaces. As applications, we derive some new fixed point theorems in partially ordered modular metric spaces, Suzuki type fixed point theorems in modular metric spaces and new fixed point theorems for integral contractions. In last section, we develop an important relation between fuzzy metric and modular metric and deduce certain new fixed point results in triangular fuzzy metric spaces. Moreover, some examples are provided here to illustrate the usability of the obtained results.
1. Introduction and Basic Definitions Chistyakov introduced the notion of modular metric spaces in [1, 2]. The main idea behind this new concept is the physical interpretation of the modular. Informally speaking, whereas a metric on a set represents nonnegative finite distances between any two points of the set, a modular on a set attributes a nonnegative (possibly, infinite valued) βfield of (generalized) velocitiesβ: to each βtimeβ π > 0 the absolute value of an average velocity ππ (π₯, π¦) is associated in such a way that in order to cover the βdistanceβ between points π₯, π¦ β π it takes time π to move from π₯ to π¦ with velocity ππ (π₯, π¦). But the way we approached the concept of modular metric spaces is different. Indeed we look at these spaces as the nonlinear version of the classical modular spaces introduced by Nakano [3] on vector spaces and modular function spaces introduced by Musielak [4] and Orlicz [5, 6]. For the study of electrorheological fluids (for instance lithium polymethacrylate), modeling with sufficient accuracy using classical Lebesgue and Sobolev spaces, πΏπ and π1,π , where π is a fixed constant is not adequate, but rather the exponent π should be able to vary [7]. One of the most interesting problems in this setting is the famous Dirichlet
energy problem [8, 9]. The classical technique used so far in studying this problem is to convert the energy functional, naturally defined by a modular, to a convoluted and complicated problem which involves a norm (the Luxemburg norm). The modular metric approach is more natural and has not been used extensively. In recent years, there was a strong interest to study the fixed point property in modular function spaces after the first paper [10] was published in 1990. For more on metric fixed point theory, the reader may consult the book [11] and for modular function spaces [12, 13]. Let π be a nonempty set. Throughout this paper for a function π : (0, β) Γ π Γ π β [0, β], we will write ππ (π₯, π¦) = π (π, π₯, π¦) ,
(1)
for all π > 0 and π₯, π¦ β π. Definition 1 (see [1, 2]). A function π : (0, β) Γ π Γ π β [0, β] is said to be modular metric on π if it satisfies the following axioms: (i) π₯ = π¦ if and only if ππ (π₯, π¦) = 0, for all π > 0; (ii) ππ (π₯, π¦) = ππ (π¦, π₯), for all π > 0, and π₯, π¦ β π;
2
The Scientific World Journal (iii) ππ+π (π₯, π¦) β€ ππ (π₯, π§) + ππ (π§, π¦), for all π, π > 0 and π₯, π¦, π§ β π.
σ΅¨ σ΅¨ M (π, Ξ£, P, π) = {π β Mβ ; σ΅¨σ΅¨σ΅¨π (π₯)σ΅¨σ΅¨σ΅¨ < βπ-a.e} ,
If instead of (i), we have only the condition (iσΈ ) ππ (π₯, π₯) = 0,
βπ > 0, π₯ β π,
measurable functions differing only on a π-null set. With this in mind we define
(2)
then π is said to be a pseudomodular (metric) on π. A modular metric π on π is said to be regular if the following weaker version of (i) is satisfied:
(6)
where each π β M(π, Ξ£, P, π) is actually an equivalence class of functions equal to π-a.e. rather than an individual function. Where no confusion exists we will write M instead of M(π, Ξ£, P, π). Let π be a regular function pseudomodular.
(3)
(a) We say that π is a regular function semimodular if π(πΌπ) = 0 for every πΌ > 0 implies π = 0 π-a.e.
Finally, π is said to be convex if for π, π > 0 and π₯, π¦, π§ β π, it satisfies the inequality
(b) We say that π is a regular function modular if π(π) = 0 implies π = 0 π-a.e.
π₯=π¦
iff ππ (π₯, π¦) = 0, for some π > 0.
π π π (π₯, π§) + π (π§, π¦) . ππ+π (π₯, π¦) β€ π+π π π+π π
(4)
Note that for a metric pseudomodular π on a set π and any π₯, π¦ β π, the function π β ππ (π₯, π¦) is nonincreasing on (0, β). Indeed, if 0 < π < π, then ππ (π₯, π¦) β€ ππβπ (π₯, π₯) + ππ (π₯, π¦) = ππ (π₯, π¦) .
(5)
Following example presented by Abdou and Khamsi [14] is an important motivation of the concept of modular metric spaces. Example 2. Let π be a nonempty set and Ξ£ a nontrivial πalgebra of subsets of π. Let P be a πΏ-ring of subsets of π, such that πΈ β© π΄ β P for any πΈ β P and π΄ β Ξ£. Let us assume that there exists an increasing sequence of sets πΎπ β P such that π = β πΎπ . By E we denote the linear space of all simple functions with supports from P. By Mβ we will denote the space of all extended measurable functions; that is, all functions π : π β [ββ, β] such that there exists a sequence {ππ } β E, |ππ | β€ |π|, and ππ (π₯) β π(π₯) for all π₯ β π. By 1π΄ we denote the characteristic function of the set π΄. Let π : Mβ β [0, β] be a nontrivial, convex, and even function. We say that π is a regular convex function pseudomodular if (i) π(0) = 0; (ii) π is monotone; that is, |π(π₯)| β€ |π(π₯)| for all π₯ β π implies π(π) β€ π(π), where π, π β Mβ ; (iii) π is orthogonally subadditive; that is, π(π1π΄βͺπ΅ ) β€ π(π1π΄) + π(π1π΅ ) for any π΄, π΅ β Ξ£ such that π΄ β© π΅ =ΜΈ 0, π β M; (iv) π has the Fatou property; that is, |ππ (π₯)| β |π(π₯)| for all π₯ β π implies π(ππ ) β π(π), where π β Mβ ; (v) π is order continuous in E; that is, ππ β E and |ππ (π₯)| β 0 implies π(ππ ) β 0. Similarly, as in the case of measure spaces, we say that a set π΄ β Ξ£ is π-null if π(π1π΄ ) = 0 for every π β E. We say that a property holds π-almost everywhere if the exceptional set is π-null. As usual we identify any pair of measurable sets whose symmetric difference is π-null as well as any pair of
The class of all nonzero regular convex function modulars defined on π will be denoted by R. Let us denote π(π, πΈ) = π(π1πΈ ) for π β M, πΈ β Ξ£. It is easy to prove that π(π, πΈ) is a function pseudomodular in the sense of Definition 2.1.1 in [13] (see also [15, 16]). Let π be a convex function modular. (a) The associated modular function space is the vector space πΏ π (π, Ξ£), or briefly πΏ π , defined by πΏ π = {π β M; π (ππ) σ³¨β 0 as π σ³¨β 0} .
(7)
(b) The following formula defines a norm in πΏ π (frequently called Luxemburg norm): π σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©πσ΅©σ΅©π = inf {πΌ > 0; π ( ) β€ 1} . πΌ
(8)
A modular function space furnishes a wonderful example of a modular metric space. Indeed, let πΏ π be a modular function space. Define the function modular π by ππ (π, π) = π (
πβπ ) π
(9)
for all π > 0, and π, π β πΏ π . Then π is a modular metric on πΏ π . Note that π is convex if and only if π is convex. Moreover we have σ΅© σ΅©σ΅© β σ΅©σ΅©π β πσ΅©σ΅©σ΅©π = ππ (π, π) ,
(10)
for any π, π β πΏ π . Other easy examples may be found in [1, 2]. Definition 3. Let ππ be a modular metric space. (1) The sequence (π₯π )πβN in ππ is said to be π-convergent to π₯ β ππ if and only if for each π > 0, ππ (π₯π , π₯) β 0, as π β β. π₯ will be called the π-limit of (π₯π ). (2) The sequence (π₯π )πβN in ππ is said to be π-Cauchy if for each π > 0, ππ (π₯π , π₯π ) β 0, as π, π β β. (3) A subset π of ππ is said to be π-closed if the π-limit of a π-convergent sequence of π always belongs to π.
The Scientific World Journal
3
(4) A subset π of ππ is said to be π-complete if any πCauchy sequence in π is a π-convergent sequence and its π-limit is in π. (5) A subset π of ππ is said to be π-bounded if we have πΏπ (π) = sup {ππ (π₯, π¦) ; π₯, π¦ β π} < β.
(11)
In 2012, Samet et al. [17] introduced the concepts of πΌπ-contractive and πΌ-admissible mappings and established various fixed point theorems for such mappings defined on complete metric spaces. Afterwards Salimi et al. [18] and Hussain et al. [19β21] modified the notions of πΌ-π-contractive and πΌ-admissible mappings and established certain fixed point theorems. Definition 4 (see [17]). Let π be self-mapping on π and πΌ : π Γ π β [0, +β) a function. One says that π is an πΌ-admissible mapping if π₯, π¦ β π,
πΌ (π₯, π¦) β₯ 1 σ³¨β πΌ (ππ₯, ππ¦) β₯ 1.
(12)
Definition 5 (see [18]). Let π be self-mapping on π and πΌ, π : π Γ π β [0, +β) two functions. One says that π is an πΌadmissible mapping with respect to π if π₯, π¦ β π,
πΌ (π₯, π¦) β₯ π (π₯, π¦) σ³¨β πΌ (ππ₯, ππ¦) β₯ π (ππ₯, ππ¦) .
(13)
Note that if we take π(π₯, π¦) = 1 then this definition reduces to Definition 4. Also, if we take, πΌ(π₯, π¦) = 1 then we say that π is an π-subadmissible mapping. Definition 6 (see [20]). Let (π, π) be a metric space. Let πΌ, π : π Γ π β [0, β) and π : π β π be functions. One says π is an πΌ-π-continuous mapping on (π, π), if, for given π₯ β π and sequence {π₯π } with π₯π σ³¨β π₯ as π σ³¨β β,
πΌ (π₯π , π₯π+1 ) β₯ π (π₯π , π₯π+1 ) βπ β N σ³¨β ππ₯π σ³¨β ππ₯. (14)
Example 7 (see [20]). Let π = [0, β) and π(π₯, π¦) = |π₯ β π¦| be a metric on π. Assume π : π β π and πΌ, π : π Γ π β [0, +β) are defined by π₯5 , ππ₯ = { sin ππ₯ + 2, π₯2 + π¦2 + 1, πΌ (π₯, π¦) = { 0,
if π₯ β [0, 1] , if (1, β) , if π₯, π¦ β [0, 1] , otherwise
(15)
and π(π₯, π¦) = π₯2 . Clearly, π is not continuous, but π is πΌ-πcontinuous on (π, π). A mapping π : π β π is called orbitally continuous at π β π if limπ β β ππ π₯ = π implies that limπ β β πππ π₯ = ππ. The mapping π is orbitally continuous on π if π is orbitally continuous for all π β π.
Remark 8 (see [20]). Let π : π β π be self-mapping on an orbitally π-complete metric space π. Define πΌ, π : π Γ π β [0, +β) by 3, πΌ (π₯, π¦) = { 0,
if π₯, π¦ β π (π€) otherwise,
π (π₯, π¦) = 1,
(16)
where π(π€) is an orbit of a point π€ β π. If π : π β π is an orbitally continuous map on (π, π), then π is πΌ-π-continuous on (π, π). In this paper, we investigate existence and uniqueness of fixed points of generalized πΌ-admissible modular contractive mappings in modular metric spaces. As applications, we derive some new fixed point theorems in partially ordered modular metric spaces, Suzuki type fixed point theorems in modular metric spaces and new fixed point theorems for integral contractions. At the end, we develop an important relation between fuzzy metric and modular metric and deduce certain new fixed point results in triangular fuzzy metric spaces. Moreover, some examples are provided here to illustrate the usability of the obtained results.
2. Fixed Point Results for Implicit Contractions Let us first start this section with a definition of a family of functions. Definition 9. Assume that Ξ H denotes the collection of all 6 continuous functions H : R+ β R satisfying the following. (H1) H is increasing in its 1th variable and nonincreasing in its 5th variable. (H2) if π’, V β R+ with π’, V > 0 and H(π’, V, V, π’, V+π’, 0) β€ 0, then, there exists π β Ξ¨ such that π’ β€ π (V) .
(17)
Notice that here we denote with Ξ¨ the family of nondecreasing functions π : [0, +β) β [0, +β) such that π π ββ π=1 π (π‘) < +β for all π‘ > 0, where π is the πth iterate of π. Example 10. Let H(π‘1 , π‘2 , π‘3 , π‘4 , π‘5 , π‘6 ) = π‘1 β π(max{π‘2 , (π‘3 + π‘4 )/2, (π‘5 + π‘6 )/2}), where π β Ξ¨; then H β Ξ H . Example 11. Let H(π‘1 , π‘2 , π‘3 , π‘4 , π‘5 , π‘6 ) = π‘1 β π(max{π‘2 , (1 + π‘3 )π‘4 /(1 + π‘2 )}), where π β Ξ¨; then H β Ξ H . Theorem 12. Let ππ be a complete modular metric space and π : ππ β ππ self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π; (ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ); (iii) π is an πΌ-π-continuous function;
4
The Scientific World Journal (iv) assume that there exists H β Ξ H such that for all π₯, π¦ β ππ and π > 0 with π(π₯, ππ₯) β€ πΌ(π₯, π¦) we have
Taking limit as π β β in the above inequality we get lim π π β β π/π
H (ππ/π (ππ₯, ππ¦) , ππ/π (π₯, π¦) , ππ/π (π₯, ππ₯) , ππ/π (π¦, ππ¦) , π2π/π (π₯, ππ¦) , ππ/π (π¦, ππ₯)) β€ 0, (18)
Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Proof. Let π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ). For π₯0 β π, we define the sequence {π₯π } by π₯π = ππ π₯0 = ππ₯π . Now since π is an πΌ-admissible mapping with respect to π then πΌ(π₯0 , π₯1 ) = πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ) = π(π₯0 , π₯1 ). By continuing this process we have (19)
for all π β N. Also, let there exists π0 β π such that π₯π0 = π₯π0 +1 . Then π₯π0 is fixed point of π and we have nothing to prove. Hence, we assume π₯π =ΜΈ π₯π+1 for all π β N βͺ {0}. Now by taking π₯ = π₯πβ1 and π¦ = π₯π in (iv) we get H (ππ/π (ππ₯πβ1 , ππ₯π ) , ππ/π (π₯πβ1 , π₯π ) , ππ/π (π₯πβ1 , ππ₯πβ1 ) , ππ/π (π₯π , ππ₯π ) , π2π/π (π₯πβ1 , ππ₯π ) , ππ/π (π₯π , ππ₯πβ1 )) β€ 0 (20) which implies H (ππ/π (π₯π , π₯π+1 ) , ππ/π (π₯πβ1 , π₯π ) , ππ/π (π₯πβ1 , π₯π ) , ππ/π (π₯π , π₯π+1 ) , π2π/π (π₯πβ1 , π₯π+1 ) , 0) β€ 0.
(21)
π2π/π (π₯πβ1 , π₯π+1 ) β€ ππ/π (π₯πβ1 , π₯π ) + ππ/π (π₯π , π₯π+1 ) β€ ππ/π (π₯πβ1 , π₯π ) + ππ/π (π₯π , π₯π+1 ) , (22)
(27)
for all π β₯ ππ/(πβπ) . Therefore we get ππ/π (π₯π , π₯π ) β€ ππ/π(πβπ) (π₯π , π₯π+1 ) + ππ/π(πβπ) (π₯π+1 , π₯π+2 ) + β
β
β
+ ππ/π(πβπ) (π₯πβ1 , π₯π )
0, then
From (H1) we deduce that ππ/π (π₯π , π₯π+1 ) β€ π (ππ/π (π₯πβ1 , π₯π )) β€ π (ππ/π (π₯πβ1 , π₯π )) . (24) Inductively, we obtain ππ/π (π₯π , π₯π+1 ) β€ ππ (ππ/π (π₯0 , π₯1 )) .
π π (π β π)
Thus π has a fixed point. Let all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0. Then by (iv)
On the other hand,
ππ/π (π₯π , π₯π+1 ) , ππ/π (π₯πβ1 , π₯π )
(26)
Suppose π, π β N with π > π and π > 0 be given. Then there exists ππ/(πβπ) β N such that ππ/π(πβπ) (π₯π , π₯π+1 )
0 with πΌ(π₯, π¦) β₯ 1 we have H (ππ/π (ππ₯, ππ¦) , ππ/π (π₯, π¦) , ππ/π (π₯, ππ₯) , ππ/π (π¦, ππ¦) , π2π/π (π₯, ππ¦) , ππ/π (π¦, ππ₯)) β€ 0, (32) where 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have 1 β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 14. Let ππ be a complete modular metric space and π : ππ β ππ self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π; (ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ); (iii) if {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then either π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) or π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯)
(33)
Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Proof. As in proof of Theorem 12, we can deduce a sequence {π₯π } such that π₯π+1 = ππ₯π with πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) and there exists π₯β β ππ such that π₯π β π₯β as π β β. From (iii) either π (π₯π+1 , ππ₯π+1 ) β€ πΌ (π₯π+1 , π₯β )
(34)
holds for all π β N. Let π(π₯π , ππ₯π ) β€ πΌ(π₯π , π₯β ). Then by taking π₯ = π₯π and π¦ = π₯β in (iv) we have H (ππ/π (ππ₯π , ππ₯β ) , ππ/π (π₯π , π₯β ) , ππ/π (π₯π , ππ₯π ) , ππ/π (π₯β , ππ₯β ) , π2π/π (π₯π , ππ₯β ) , ππ/π (π₯β , ππ₯π )) β€ 0 (35) which implies H (ππ/π (π₯π+1 , ππ₯β ) , ππ/π (π₯π , π₯β ) , ππ/π (π₯π , π₯π+1 ) , ππ/π (π₯β , ππ₯β ) , π2π/π (π₯π , ππ₯β ) , ππ/π (π₯β , π₯π+1 )) β€ 0.
H (ππ/π (π₯β , ππ₯β ) , 0, 0, ππ/π (π₯β , ππ₯β ) , π2π/π (π₯β , ππ₯β ) , 0) β€ 0.
(37)
Now since, π2π/π (π₯β , ππ₯β ) < ππ/π (π₯β , ππ₯β ), ππ/π (π₯β , ππ₯β ) < ππ/π (π₯β , ππ₯β ), H is increasing in its 1th variable and nonincreasing in its 5th variable, so we obtain H (ππ/π (π₯β , ππ₯β ) , 0, 0, ππ/π (π₯β , ππ₯β ) , ππ/π (π₯β , ππ₯β ) , 0) β€ 0
(38)
which is a contradiction. Now by taking π’ = ππ/π (π₯β , ππ₯β ) and V = 0, from (H2) we have ππ/π (π₯β , ππ₯β ) β€ π (0) = 0.
(39)
Hence, ππ/π (π₯β , ππ₯β ) = 0; that is, π₯β = ππ₯β . Similarly we can deduce that ππ₯β = π₯β when ππ (π₯π+1 , ππ₯π+1 ) β€ πΌπ (π₯π+1 , π₯β ). By using Example 10 and Theorem 14 we can obtain the following corollary. Corollary 15. Let ππ be a complete modular metric space. Let π : ππ β ππ be self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π; (ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 );
holds for all π β N; (iv) condition (iv) of Theorem 12 holds.
π (π₯π , ππ₯π ) β€ πΌ (π₯π , π₯β ) or
Taking limit as π β β in the above inequality we obtain
(36)
(iii) if {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then either π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) or π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯)
(40)
holds for all π β N; (iv) for all π₯, π¦ β ππ and π > 0 with π(π₯, ππ₯) β€ πΌ(π₯, π¦) we have ππ/π (ππ₯, ππ¦) β€ π (max {ππ/π (π₯, π¦) , ππ/π (π₯, ππ₯) + ππ/π (π¦, ππ¦) , 2 π2π/π (π₯, ππ¦) + ππ/π (π¦, ππ₯) }) , 2 (41) where π β Ξ¨ and 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦), then π has a unique fixed point.
6
The Scientific World Journal
Corollary 16. Let ππ be a complete modular metric space. Let π : ππ β ππ be self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π; (ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ); (iii) if {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then either π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) or (42)
π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯) holds for all π β N;
(iv) for all π₯, π¦ β ππ and π > 0 with π(π₯, ππ₯) β€ πΌ(π₯, π¦) we have ππ/π (ππ₯, ππ¦) β€ π (max {ππ/π (π₯, π¦) ,
[1 + ππ/π (π₯, ππ₯)] ππ/π (π¦, ππ¦) 1 + ππ/π (π₯, π¦)
}) , (43)
Example 18. Let ππ = [0, +β) and ππ (π₯, π¦) = (1/π)|π₯ β π¦|. Define π : ππ β ππ , πΌ, π : ππ Γ ππ β [0, β), and π : [0, β) β [0, β) by 1 2 { if π₯ β [0, 1] , π₯, { { 16 { { { 2 { ππ₯ = { sin π₯ + cos π₯ + 1 , if π₯ β (1, 2] , { { β π₯2 + 1 { { { { if π₯ β (2, β) , {7π₯ + ln π₯, 1 , if π₯, π¦ β [0, 1] , { { {2 πΌ (π₯, π¦) = { { {1 , otherwise, {8 1 π (π₯, π¦) = , 4
1 π (π‘) = π‘. 2
Let πΌ(π₯, π¦) β₯ π(π₯, π¦); then π₯, π¦ β [0, 1]. On the other hand, ππ€ β [0, 1] for all π€ β [0, 1]. Then, πΌ(ππ₯, ππ¦) β₯ π(ππ₯, ππ¦). That is, π is an πΌ-admissible mapping with respect to π. If {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then ππ₯π , π2 π₯π , π3 π₯π β [0, 1] for all π β N. That is, π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) ,
where π β Ξ¨ and 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦), then π has a unique fixed point. Corollary 17. Let ππ be a complete modular metric space. Let π : ππ β ππ be self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π;
π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯)
ππ/2 (ππ₯, ππ¦) =
(iii) if {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then either π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) or (44)
π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯) holds for all π β N;
(47)
hold for all π β N. Clearly, πΌ(0, π0) β₯ π(0, π0). Let πΌ(π₯, π¦) β₯ π(π₯, ππ₯). Now, if π₯ β [0, 1] or π¦ β [0, 1], then 1/8 β₯ 1/4, which is a contradiction. So, π₯, π¦ β [0, 1]. Therefore,
(ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 );
2 1 σ΅¨σ΅¨ 2 σ΅¨ σ΅¨σ΅¨π₯ β π¦2 σ΅¨σ΅¨σ΅¨ σ΅¨ π 16 σ΅¨
=
1 σ΅¨σ΅¨ 1 σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨π₯ β π¦σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨π₯ + π¦σ΅¨σ΅¨σ΅¨ β€ σ΅¨π₯ β π¦σ΅¨σ΅¨σ΅¨ 8π σ΅¨ 4π σ΅¨
=
1 1 σ΅¨ σ΅¨σ΅¨ σ΅¨π₯ β π¦σ΅¨σ΅¨σ΅¨ 2 π/ (1/2) σ΅¨
1 = ππ/(1/2) (π₯, π¦) = π (ππ/(1/2) (π₯, π¦)) 2 β€ π (max {ππ/π (π₯, π¦) ,
(iv) for all π₯, π¦ β ππ and π > 0 with π(π₯, ππ₯) β€ πΌ(π₯, π¦) we have
[1 + ππ/π (π₯, ππ₯)] ππ/π (π¦, ππ¦) 1 + ππ/π (π₯, π¦)
[1 + ππ/π (π₯, ππ₯)] ππ/π (π¦, ππ¦) 1 + ππ/π (π₯, π¦)
ππ/π (ππ₯, ππ¦) β€ πππ/π (π₯, π¦) +π
(46)
}) . (48)
,
(45)
where π + π < 1 and 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦), then π has a unique fixed point.
Hence all conditions of Corollary 16 hold and π has a unique fixed point. Let (ππ , βͺ―) be a partially ordered modular metric space. Recall that π : ππ β ππ is nondecreasing if for all π₯, π¦ β π, π₯ βͺ― π¦ β π(π₯) βͺ― π(π¦). Fixed point theorems for monotone operators in ordered metric spaces are widely
The Scientific World Journal
7
investigated and have found various applications in differential and integral equations (see [20, 22β25] and references therein). From results proved above, we derive the following new results in partially ordered modular metric spaces. Theorem 19. Let (ππ , βͺ―) be a complete partially ordered modular metric space and π : ππ β ππ self-mapping satisfying the following assertions: (i) π is nondecreasing; (ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) π is continuous function; (iv) assume that there exists H β Ξ H such that for all π₯, π¦ β ππ and π > 0 with π₯ βͺ― π¦ we have H (ππ/π (ππ₯, ππ¦) , ππ/π (π₯, π¦) , ππ/π (π₯, ππ₯) , ππ/π (π¦, ππ¦) ,
(iv) assume that for all π₯, π¦ β ππ and π > 0 with π₯ βͺ― π¦ we have ππ/π (ππ₯, ππ¦) β€ π (max {ππ/π (π₯, π¦) ,
ππ/π (π₯, ππ₯) + ππ/π (π¦, ππ¦) , 2
π2π/π (π₯, ππ¦) + ππ/π (π¦, ππ₯) }) , 2 (53) where π β Ξ¨ and 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦, then π has a unique fixed point.
(49)
Corollary 22. Let (ππ , βͺ―) be a complete partially ordered modular metric space and π : ππ β ππ self-mapping satisfying the following assertions:
Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦ and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point.
(i) π is nondecreasing; (ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) if {π₯π } is a sequence in π such that π₯π βͺ― π₯π+1 with π₯π β π₯ as π β β, then either
π2π/π (π₯, ππ¦) , ππ/π (π¦, ππ₯)) β€ 0, where 0 < l < π.
Theorem 20. Let (ππ , βͺ―) be a complete partially ordered modular metric space and π : ππ β ππ self-mapping satisfying the following assertions: (i) π is nondecreasing; (ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) if {π₯π } is a sequence in π such that π₯π βͺ― π₯π+1 with π₯π β π₯ as π β β, then either ππ₯π βͺ― π₯
or π2 π₯π βͺ― π₯
(50)
holds for all π β N; (iv) assume that there exists H β Ξ H such that for all π₯, π¦ β ππ and π > 0 with π₯ βͺ― π¦ we have H (ππ/π (ππ₯, ππ¦) , ππ/π (π₯, π¦) , ππ/π (π₯, ππ₯) , ππ/π (π¦, ππ¦) , π2π/π (π₯, ππ¦) , ππ/π (π¦, ππ₯)) β€ 0, (51) where 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦ and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Corollary 21. Let (ππ , βͺ―) be a complete partially ordered modular metric space and π : ππ β ππ self-mapping satisfying the following assertions: (i) π is nondecreasing; (ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) if {π₯π } is a sequence in π such that π₯π βͺ― π₯π+1 with π₯π β π₯ as π β β, then either ππ₯π βͺ― π₯ holds for all π β N;
or π2 π₯π βͺ― π₯
(52)
ππ₯π βͺ― π₯
or π2 π₯π βͺ― π₯
(54)
holds for all π β N; (iv) assume that for all π₯, π¦ β ππ and π > 0 with π₯ βͺ― π¦ we have ππ/π (ππ₯, ππ¦) β€ π (max {ππ/π (π₯, π¦) ,
[1 + ππ/π (π₯, ππ₯)] ππ/π (π¦, ππ¦) 1 + ππ/π (π₯, π¦)
}) , (55)
where π β Ξ¨ and 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦, then π has a unique fixed point. Corollary 23. Let (ππ , βͺ―) be a complete partially ordered modular metric space and π : ππ β ππ self-mapping satisfying the following assertions: (i) π is nondecreasing; (ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) if {π₯π } is a sequence in π such that π₯π βͺ― π₯π+1 with π₯π β π₯ as π β β, then either ππ₯π βͺ― π₯
or π2 π₯π βͺ― π₯
(56)
holds for all π β N; (iv) assume that for all π₯, π¦ β ππ and π > 0 with π₯ βͺ― π¦ we have ππ/π (ππ₯, ππ¦) β€ πππ/π (π₯, π¦) + π
[1 + ππ/π (π₯, ππ₯)] ππ/π (π¦, ππ¦) 1 + ππ/π (π₯, π¦)
where π + π < 1 and 0 < π < π.
,
(57)
8
The Scientific World Journal
Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦, then π has a unique fixed point.
Proof. Define πΌ, π : ππ Γ ππ β [0, β) by
3. Suzuki Type Fixed Point Results in Modular Metric Spaces
where π = (1 β π)/(1 β π + π). Clearly, π(π₯, π¦) β€ πΌ(π₯, π¦) for all π₯, π¦ β ππ and π > 0. Then conditions (i)-(ii) of Corollary 17 hold. Let {π₯π } be a sequence such that π₯π β π₯ as π β β. Since πππ/π (ππ₯π , π2 π₯π ) β€ ππ/2π (ππ₯π , π2 π₯π ) for all π β N, from (61) we obtain
In 2008, Suzuki proved a remarkable fixed point theorem, that is, a generalization of the Banach contraction principle and characterizes the metric completeness. Consequently, a number of extensions and generalizations of this result appeared in the literature (see [26β30] and references therein). As an application of our results proved above we deduce Suzuki type fixed point theorems in the setting of modular metric spaces.
πΌ (π₯, π¦) = ππ/2π (π₯, π¦) ,
β€ ππ/π (π2 π₯π , π3 π₯π ) β€ πππ/π (ππ₯π , π2 π₯π ) +π
(58)
[1 + ππ/π (ππ₯π , π π₯π )] ππ/π (π π₯π , π π₯π ) 1 + ππ/π (ππ₯π , π2 π₯π )
π π (ππ₯π , π2 π₯π ) . 1 β π π/π Suppose there exists π0 β N, such that ππ/π (π2 π₯π , π3 π₯π ) β€
Proof. Define πΌ, π : (0, β) Γ ππ Γ ππ β [0, β) by
π (ππ₯π0 , π2 π₯π0 ) > πΌ (ππ₯π0 , π₯) or π (π2 π₯π0 , π3 π₯π0 ) > πΌ (π2 π₯π0 , π₯) ;
(64)
(65)
then (59)
Clearly, π(π₯, π¦) β€ πΌ(π₯, π¦) for all π₯, π¦ β ππ and π > 0. Since π is continuous, π is πΌ-π-continuous. Thus conditions (i)β(iii) of Theorem 12 hold. Let π(π₯, ππ₯) β€ πΌ(π₯, π¦). Then ππ/π (π₯, ππ₯) β€ ππ/π (π₯, π¦). So from (58) we obtain H (ππ/π (ππ₯, ππ¦) , ππ/π (π₯, π¦) , ππ/π (π₯, ππ₯) , ππ/π (π¦, ππ¦) , π2π/π (π₯, ππ¦) , ππ/π (π¦, ππ₯)) β€ 0. (60) Therefore all conditions of Theorem 12 hold and π has a unique fixed point. Theorem 25. Let ππ be a complete modular metric space and π self-mapping on π. Assume that
πππ/π (ππ₯π0 , π2 π₯π0 ) > ππ/2π (ππ₯π0 , π₯) or πππ/π (π2 π₯π0 , π3 π₯π0 ) > ππ/2π (π2 π₯π0 , π₯) .
(66)
Therefore, ππ/π (ππ₯π0 , π2 π₯π0 ) β€ ππ/2π (ππ₯π0 , π₯) + ππ/2π (π2 π₯π0 , π₯) < πππ/π (ππ₯π0 , π2 π₯π0 ) + πππ/π (π2 π₯π0 , π3 π₯π0 ) β€ πππ/π (ππ₯π0 , π2 π₯π0 ) + π β€ (π + π
π π (ππ₯π0 , π2 π₯π0 ) 1 β π π/π
π ) π (ππ₯π0 , π2 π₯π0 ) 1 β π π/π
= ππ/π (ππ₯π0 , π2 π₯π0 ) (67)
1βπ π (π₯, ππ₯) β€ ππ/2π (π₯, π¦) 1 β π + π π/π
which is a contradiction. Hence, (iii) of Corollary 17 holds. Thus all conditions of Corollary 17 hold and π has a unique fixed point.
σ³¨β ππ/π (ππ₯, ππ¦) β€ πππ/π (π₯, π¦) +π
3
which implies
for all π₯, π¦ β ππ and π > 0, where 0 < π < π. Then π has a fixed point. Moreover, if H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point.
π (π₯, π¦) = ππ/π (π₯, π¦) .
2
β€ πππ/π (ππ₯π , π2 π₯π ) + πππ/π (π2 π₯π , π3 π₯π )
π2π/π (π₯, ππ¦) , ππ/π (π¦, ππ₯)) β€ 0
πΌ (π₯, π¦) = ππ/π (π₯, π¦) ,
(63) 2
ππ/π (π₯, ππ₯) β€ ππ/π (π₯, π¦)
ππ/π (π₯, ππ₯) , ππ/π (π¦, ππ¦) ,
(62)
ππ/π (π2 π₯π , π3 π₯π )
Theorem 24. Let ππ be a complete modular metric space and π continuous self-mapping on π. Assume that
σ³¨β H (ππ/π (ππ₯, ππ¦) , ππ/π (π₯, π¦) ,
π (π₯, π¦) = πππ/π (π₯, π¦) ,
[1 + ππ/π (π₯, ππ₯)] ππ/π (π¦, ππ¦) 1 + ππ/π (π₯, π¦) (61)
for all π₯, π¦ β ππ and π > 0, where 0 < π < π and π + π < 1. Then π has a unique fixed point.
Corollary 26. Let ππ be a complete modular metric space and π self-mapping on π. Assume that 1 π (π₯, ππ₯) β€ ππ/2π (π₯, π¦) 1 + π π/π σ³¨β ππ/π (ππ₯, ππ¦) β€ πππ/π (π₯, π¦)
(68)
The Scientific World Journal
9
for all π₯, π¦ β ππ and π > 0, where 0 < π < π and π < 1. Then π has a unique fixed point.
Theorem 29. Let ππ be a complete modular metric space and π continuous self-mapping on π. Assume that ππ/π (π₯,ππ₯)
π (π‘) ππ‘
β«
4. Fixed Point Results for Integral Type Contractions
0
ππ/π (π₯,π¦)
Recently, Azadifar et al. [31] and Razani and Moradi [32] proved common fixed point theorems of integral type in modular metric spaces. In this section we present more general fixed point theorems for integral type contractions.
π (π‘) ππ‘
β€β«
0
σ³¨β H (β«
ππ/π (ππ₯,ππ¦)
0
Theorem 27. Let ππ be a complete modular metric space and π : ππ β ππ self-mapping satisfying the following assertions:
0
β«
ππ/π (π₯,ππ₯)
0
(i) π is an πΌ-admissible mapping with respect to π;
β«
(ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 );
ππ/π (π₯,π¦)
π (π‘) ππ‘, β«
π (π‘) ππ‘, β«
π (π‘) ππ‘,
ππ/π (π¦,ππ¦)
0
π2π/π (π₯,ππ¦)
0
π (π‘) ππ‘,
ππ/π (π¦,ππ₯)
π (π‘) ππ‘, β«
0
π (π‘) ππ‘) β€ 0 (71)
(iii) π is an πΌ-π-continuous function; (iv) assume that there exists H β Ξ H such that for all π₯, π¦ β ππ and π > 0 with π(π₯, ππ₯) β€ πΌ(π₯, π¦) we have H (β«
ππ/π (ππ₯,ππ¦)
0
ππ/π (π₯,π¦)
π (π‘) ππ‘, β«
0
β«
ππ/π (π₯,ππ₯)
0
β«
π (π‘) ππ‘, β«
0
ππ/π (π¦,ππ¦)
0
π2π/π (π₯,ππ¦)
π (π‘) ππ‘, π (π‘) ππ‘,
ππ/π (π¦,ππ₯)
π (π‘) ππ‘, β«
0
(69)
for all π₯, π¦ β ππ and π > 0, where 0 < π < π, π : [0, β) β [0, β) is a Lebesgue-integrable mapping satisfying π β«0 π(π‘)ππ‘ > 0 for π > 0. Then π has a fixed point. Moreover, if H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 30. Let ππ be a complete modular metric space and π self-mapping on π. Assume that ππ/π (π₯,ππ₯) 1βπ π (π‘) ππ‘ β« 1βπ+π 0
π (π‘) ππ‘) β€ 0,
where 0 < π < π, π : [0, β) β [0, β) is a Lebesgueπ integrable mapping satisfying β«0 π(π‘)ππ‘ > 0 for π > 0. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 28. Let ππ be a complete modular metric space and π : ππ β ππ self-mapping satisfying the following assertions:
β€β«
ππ/2π (π₯,π¦)
0
π (π‘) ππ‘ σ³¨β β«
ππ/π (ππ₯,ππ¦)
0
β€ πβ«
ππ/π (π₯,π¦)
0
(72)
π (π‘) ππ‘ π (π₯,ππ₯)
+π
π (π‘) ππ‘
[1 + β«0 π/π
π (π¦,ππ¦)
π (π‘) ππ‘] β«0 π/π π (π₯,π¦)
1 + β«0 π/π
π (π‘) ππ‘
π (π‘) ππ‘
(ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 );
for all π₯, π¦ β ππ and π > 0, where 0 < π < π, π + π < 1 and π : [0, β) β [0, β) is a Lebesgue-integrable mapping satisfyπ ing β«0 π(π‘)ππ‘ > 0 for π > 0. Then π has a unique fixed point.
(iii) if {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then either
5. Modular Metric Spaces to Fuzzy Metric Spaces
(i) π is an πΌ-admissible mapping with respect to π;
π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) or π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯)
(70)
holds for all π β N; (iv) condition (iv) of Theorem 27 holds. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point.
In 1988, Grabiec [33] defined contractive mappings on a fuzzy metric space and extended fixed point theorems of Banach and Edelstein in such spaces. Successively, George and Veeramani [34] slightly modified the notion of a fuzzy metric space introduced by Kramosil and MichΒ΄alek and then defined a Hausdorff and first countable topology on it. Since then, the notion of a complete fuzzy metric space presented by George and Veeramani has emerged as another characterization of completeness, and many fixed point theorems have also been proved (see for more details [35β39] and the references therein). In this section we develop an important relation
10
The Scientific World Journal
between modular metric and fuzzy metric and deduce in fixed point results in a triangular fuzzy metric space. Definition 31. A 3-tuple (π, π, β) is said to be a fuzzy metric space if π is an arbitrary set, β is a continuous π‘-norm and π is fuzzy set on π2 Γ(0, β) satisfying the following conditions, for all π₯, π¦, π§ β π and π‘, π > 0: (i) π(π₯, π¦, π‘) > 0; (ii) π(π₯, π¦, π‘) = 1 for all π‘ > 0 if and only if π₯ = π¦; (iii) π(π₯, π¦, π‘) = π(π¦, π₯, π‘); (iv) π(π₯, π¦, π‘) β π(π¦, π§, π ) β€ π(π₯, π§, π‘ + π ); (v) π(π₯, π¦, .) : (0, β) β [0, 1] is continuous.
(ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ); (iii) π is an πΌ-π-continuous function;
Definition 32 (see [36]). Let (π, π, β) be a fuzzy metric space. The fuzzy metric π is called triangular whenever (73)
for all π₯, π¦, π§ β π and all π‘ > 0. Lemma 33 (see [33, 35]). For all π₯, π¦ β π, π(π₯, π¦, β
) is nondecreasing on (0, β). As an application of Lemma 33, we establish the following important fact that each triangular fuzzy metric on π induces a modular metric. Lemma 34. Let (π, π, β) be a triangular fuzzy metric space. Define ππ (π₯, π¦) =
1 β1 π (π₯, π¦, π)
(74)
for all π₯, π¦ β π and all π > 0. Then ππ is a modular metric on π. Proof. Let π , π‘ > 0. Then we get (75)
for all π₯, π¦ β π and π , π‘ > 0. Now, since (π, π, β) is triangular, then we get ππ+π (π₯, π¦) = β€
(iv) assume that there exists H β Ξ H such that for all π₯, π¦ β π and π > 0 with π(π₯, ππ₯) β€ πΌ(π₯, π¦) we have H(
1 1 β 1, β 1, π (ππ₯, ππ¦, π/π) π (π₯, π¦, π/π) 1 1 β 1, β 1, π (π₯, ππ₯, π/π) π (π¦, ππ¦, π/π)
(77)
1 1 β 1, β 1) β€ 0, π (π₯, ππ¦, 2π/π) π (π¦, ππ₯, π/π) where 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 36. Let (π, π, β) be a complete triangular fuzzy metric space and π : π β π self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π; (ii) there exists π₯0 β π such that πΌ(π₯0 , ππ₯0 ) β₯ π(π₯0 , ππ₯0 ); (iii) if {π₯π } is a sequence in π such that πΌ(π₯π , π₯π+1 ) β₯ π(π₯π , π₯π+1 ) with π₯π β π₯ as π β β, then either π (ππ₯π , π2 π₯π ) β€ πΌ (ππ₯π , π₯) or
π (π₯, π¦, π ) = π (π₯, π¦, π ) β 1 = π (π₯, π¦, π ) β π (π₯, π₯, π‘) β€ π (π₯, π¦, π + π‘)
Theorem 35. Let (π, π, β) be a complete triangular fuzzy metric space and π : π β π self-mapping satisfying the following assertions: (i) π is an πΌ-admissible mapping with respect to π;
The function π(π₯, π¦, π‘) denotes the degree of nearness between π₯ and π¦ with respect to π‘.
1 1 1 β1+ β1β€ β1 π (π₯, π§, π‘) π (π₯, π¦, π‘) π (π§, π¦, π‘)
As an application of Lemma 34 and the results proved above we deduce following new fixed point theorems in triangular fuzzy metric spaces.
π (π2 π₯π , π3 π₯π ) β€ πΌ (π2 π₯π , π₯)
(78)
holds for all π β N; (iv) condition (iv) of Theorem 35 holds.
1 β1 π (π₯, π¦, π + π) 1 1 β1+ β1 π (π₯, π§, π + π) π (π§, π¦, π + π)
1 1 β1+ β1 β€ π (π₯, π§, π) π (π§, π¦, π)
Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π(π₯, π₯) β€ πΌ(π₯, π¦) and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 37. Let (π, π, β, βͺ―) be a partially ordered complete triangular fuzzy metric space and π : π β π self-mapping satisfying the following assertions: (i) π is nondecreasing;
= ππ (π₯, π§) + ππ (π§, π¦) . (76)
(ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) π is continuous function;
The Scientific World Journal
11
(iv) assume that there exists H β Ξ H such that for all π₯, π¦ β π and π > 0 with π₯ βͺ― π¦ we have H(
1 1 β 1, β 1, π (π₯, ππ₯, π/π) π (π¦, ππ¦, π/π)
for all π₯, π¦ β π and π > 0, where 0 < π < π. Then π has a unique fixed point.
where 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦ and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 38. Let (π, π, β, βͺ―) be a partially ordered complete triangular fuzzy metric space and π : π β π self-mapping satisfying the following assertions:
(ii) there exists π₯0 β π such that π₯0 βͺ― ππ₯0 ; (iii) if {π₯π } is a sequence in π such that π₯π βͺ― π₯π+1 with π₯π β π₯ as π β β, then either or π2 π₯π βͺ― π₯
(80)
holds for all π β N; (iv) assume that there exists H β Ξ H such that for all π₯, π¦ β ππ and 0π > 0 with π₯ βͺ― π¦ we have 1 1 β 1, β 1, π (ππ₯, ππ¦, π/π) π (π₯, π¦, π/π) 1 1 β 1, β 1, π (π₯, ππ₯, π/π) π (π¦, ππ¦, π/π)
(81)
where 0 < π < π. Then π has a fixed point. Moreover, if for all π₯, π¦ β Fix(π) we have π₯ βͺ― π¦ and H(π’, π’, 0, 0, π’, π’) > 0 for all π’ > 0, then π has a unique fixed point. Theorem 39. Let (π, π, β) be a complete triangular fuzzy metric space and π continuous self-mapping on π. Assume that
1 β1 π (π₯, π¦, π/π)
1βπ 1 ( β 1) 1 β π + π π (π₯, ππ₯, π/π) β€
1 1 β 1 σ³¨β β1 π (π₯, π¦, π/2π) π (ππ₯, ππ¦, π/π)
+π
1 β 1) π (π₯, π¦, π/π) (1/π (π₯, ππ₯, π/π)) [(1/π (π¦, ππ¦, π/π)) β 1] 1/π (π₯, π¦, π/π) (83)
for all π₯, π¦ β ππ and π > 0, where 0 < π < π and π + π < 1. Then π has a unique fixed point.
Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
1 1 β 1, β 1) β€ 0, π (π₯, ππ¦, 2π/π) π (π¦, ππ₯, π/π)
1 β1 π (π₯, ππ₯, π/π)
Theorem 40. Let (π, π, β) be a complete triangular fuzzy metric space and π continuous self-mapping on π. Assume that
β€ π(
(i) π is nondecreasing;
ππ₯π βͺ― π₯
1 1 β 1, β 1) β€ 0 π (π₯, ππ¦, 2π/π) π (π¦, ππ₯, π/π) (82)
(79)
1 1 β 1, β 1) β€ 0, π (π₯, ππ¦, 2π/π) π (π¦, ππ₯, π/π)
β€
1 1 β 1, β 1, π (ππ₯, ππ¦, π/π) π (π₯, π¦, π/π)
1 1 β 1, β 1, π (ππ₯, ππ¦, π/π) π (π₯, π¦, π/π) 1 1 β 1, β 1, π (π₯, ππ₯, π/π) π (π¦, ππ¦, π/π)
H(
σ³¨β H (
This paper was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The first author acknowledges with thanks DSR, KAU for financial support.
References [1] V. V. Chistyakov, βModular metric spaces, I: basic concepts,β Nonlinear Analysis, Theory, Methods and Applications, vol. 72, no. 1, pp. 1β14, 2010. [2] V. V. Chistyakov, βModular metric spaces, II: application to superposition operators,β Nonlinear Analysis, Theory, Methods and Applications, vol. 72, no. 1, pp. 15β30, 2010. [3] H. Nakano, Modulared Semi-Ordered Linear Spaces, Tokyo Mathematical Book Series, Maruzen, Tokyo, Japan, 1950. [4] J. Musielak, Orlicz Spaces and Modular Spaces, vol. 1034 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1983. [5] W. Orlicz, Collected Papers. Part I, PWN Polish Scientific Publishers, Warsaw, 1988. [6] W. Orlicz, Collected Papers. Part II, Polish Academy of Sciences, Warsaw, Poland, 1988.
12 [7] L. Diening, Theoretical and numerical results for electrorheological fluids [Ph.D. thesis], University of Freiburg, Freiburg im Breisgau, Germany, 2002. [8] P. Harjulehto, P. HΒ¨astΒ¨o, M. Koskenoja, and S. Varonen, βThe dirichlet energy integral and variable exponent Sobolev spaces with zero boundary values,β Potential Analysis, vol. 25, no. 3, pp. 205β222, 2006. [9] J. Heinonen, T. Kilpelinen, and O. Martio, Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford University Press, Oxford, UK, 1993. [10] M. A. Khamsi, W. K. Kozlowski, and S. Reich, βFixed point theory in modular function spaces,β Nonlinear Analysis, vol. 14, no. 11, pp. 935β953, 1990. [11] M. A. Khamsi and W. A. Kirk, An Introduction to Metric Spaces and Fixed Point Theory, John Wiley & Sons, New York, NY, USA, 2001. [12] N. Hussain, M. A. Khamsi, and A. Latif, βBanach operator pairs and common fixed pointsin modular function spaces,β Fixed Point Theory and Applications, vol. 2011, p. 75, 2011. [13] W. M. Kozlowski, Modular Function Spaces, vol. 122 of Series of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1988. [14] A. A. N. Abdou and M. A. Khamsi, βOn the fixed points of nonexpansive mappings in modular metric spaces,β Fixed Point Theory and Applications, vol. 2013, no. 1, p. 229, 2013. [15] W. M. Kozlowski, βNotes on modular function spaces I,β Comment Mathematica, vol. 28, pp. 91β104, 1988. [16] W. M. Kozlowski, βNotes on modular function spaces II,β Comment Mathematica, vol. 28, pp. 105β120, 1988. [17] B. Samet, C. Vetro, and P. Vetro, βFixed point theorems for πΌ-π-contractive type mappings,β Nonlinear Analysis, Theory, Methods and Applications, vol. 75, no. 4, pp. 2154β2165, 2012. [18] P. Salimi, A. Latif, and N. Hussain, βModified πΌ-π-contractive mappings with applications,β Fixed Point Theory and Applications, vol. 2013, no. 1, p. 151, 2013. [19] N. Hussain, M. A. Kutbi, S. Khaleghizadeh, and P. Salimi, βDiscussions on recent results for πΌ-π contractive mappings,β Abstract and Applied Analysis, vol. 2014, Article ID 456482, 13 pages, 2014. [20] N. Hussain, M. A. Kutbi, and P. Salimi, βFixed point theory in πΌcomplete metric spaces with applications,β Abstract and Applied Analysis, vol. 2014, Article ID 280817, 11 pages, 2014. [21] N. Hussain, E. Karapinar, P. Salimi, and F. Akbar, βπΌ-admissible mappings and related fixed point theorems,β Journal of Inequalities and Applications, vol. 2013, no. 1, p. 114, 2013. [22] R. P. Agarwal, N. Hussain, and M.-A. Taoudi, βFixed point theorems in ordered banach spaces and applications to nonlinear integral equations,β Abstract and Applied Analysis, vol. 2012, Article ID 245872, 15 pages, 2012. [23] N. Hussain, S. Al-Mezel, and Peyman Salimi, βFixed points for π-graphic contractions with application to integral equations,β Abstract and Applied Analysis, vol. 2013, Article ID 575869, 11 pages, 2013. [24] N. Hussain and M. A. Taoudi, βKrasnoselβskii-type fixed point theorems with applications to Volterra integral equations,β Fixed Point Theory and Applications, vol. 2013, article 196, 2013. [25] J. J. Nieto and R. RodrΒ΄Δ±guez-LΒ΄opez, βContractive mapping theorems in partially ordered sets and applications to ordinary differential equations,β Order, vol. 22, no. 3, pp. 223β229, 2005.
The Scientific World Journal [26] N. Hussain A Latif and P. Salimi, βBest proximity point results for modified Suzuki πΌ-π-proximal contractions,β Fixed Point Theory and Applications, vol. 2014, no. 1, p. 10, 2014. [27] T. Suzuki, βA new type of fixed point theorem in metric spaces,β Nonlinear Analysis, Theory, Methods and Applications, vol. 71, no. 11, pp. 5313β5317, 2009. [28] T. Suzuki, βA generalized banach contraction principle that characterizes metric completeness,β Proceedings of the American Mathematical Society, vol. 136, no. 5, pp. 1861β1869, 2008. [29] Nabi Shobe, Shaban Sedghi, J. R. Roshan, and N. Hussain, βSuzuki-type fixed point results in metric-like spaces,β Journal of Function Spaces and Applications, vol. 2013, Article ID 143686, 9 pages, 2013. [30] N. Hussain, D. DoriΒ΄c, Z. Kadelburg, and S. RadenoviΒ΄c, βSuzukitype fixed point results in metric type spaces,β Fixed Point Theory and Applications, vol. 2012, p. 126, 2012. [31] B. Azadifar, G. Sadeghi, R. Saadati, and C. Park, βIntegral type contractions in modular metric spaces,β Journal of Inequalities and Applications, vol. 2013, no. 1, p. 483, 2013. [32] A. Razani and R. Moradi, βCommon fixed point theorems of integral type in modular spaces,β Bulletin of the Iranian Mathematical Society, vol. 35, no. 2, pp. 11β24, 2009. [33] M. Grabiec, βFixed points in fuzzy metric spaces,β Fuzzy Sets and Systems, vol. 27, no. 3, pp. 385β389, 1988. [34] A. George and P. Veeramani, βOn some results in fuzzy metric spaces,β Fuzzy Sets and Systems, vol. 64, no. 3, pp. 395β399, 1994. [35] I. Altun and D. Turkoglu, βSome fixed point theorems on fuzzy metric spaces with implicit relations,β Communications of the Korean Mathematical Society, vol. 23, no. 23, pp. 111β124, 2008. [36] C. di Bari and C. Vetro, βA fixed point theorem for a family of mappings in a fuzzy metric space,β Rendiconti del Circolo Matematico di Palermo, vol. 52, no. 2, pp. 315β321, 2003. [37] D. Gopal, M. Imdad, C. Vetro, and M. Hasan, βFixed point theory for cyclic weak π-contraction in fuzzy metric space,β Journal of Nonlinear Analysis and Application, vol. 2012, Article ID jnaa-00110, 11 pages, 2012. [38] N. Hussain, S. Khaleghizadeh, P. Salimi, and A. N. Afrah Abdou, βA new approach to fixed point results in triangular intuitionistic fuzzy metric spaces,β Abstract and Applied Analysis, vol. 2014, Article ID 690139, 16 pages, 2014. [39] M. A. Kutbi, J. Ahmad, A. Azam, and N. Hussain, βOn fuzzy fixed points for fuzzy maps with generalized weak property,β Journal of Applied Mathematics, vol. 2014, Article ID 549504, 12 pages, 2014.