CC BY
64Probl. Anal. Issues Anal. Vol. 9 (27), No1, 2020, pp. 27-37
27
DOI: 10.15393/j3.art.2020.6850 UDC 519.17, 517.982
L. ÄRYANPÜUR, H. RAHIMI, G. SÜLEIMANI RAD
FIXED POINT RESULTS FOR HARDY-ROGERS TYPE CONTRACTIONS WITH RESPECT TO A C-DISTANCE IN GRAPHICAL CONE METRIC SPACES
Abstract. The aim of this paper is to prove some existence and uniqueness results of the fixed points for Hardy-Rogers type contraction in cone metric spaces associated with a c-distance and endowed with a graph. These results prepare a more general statement, since we apply the condition of orbitally G-continuity of mapping instead of the condition of continuity, and consider cone metric spaces endowed with a graph instead of cone metric spaces.
Key words: c-distance, cone metric spaces, fixed point, orbitally G-continuous, connected graph
2010 Mathematical Subject Classification: 46A19, 47H10, 05C20
1. Introduction and preliminaries. In 1996, Kada et al. [11] defined the concept of w-distance in metric spaces and proved some fixed point theorems with respect to this distance. On the other hand, in 1997, Zabrejko [18] developed a fixed point theory in abstract metric spaces and X-normed spaces. Later, Huang and Zhang [8] reintroduced the concept of the cone metric space by replacing the set of real numbers by an ordered Banach space. In 2011, Cho et al. [3] defined a cone version of the w-distance (where it is called c-distance) and obtained some fixed point theorems under a c-distance in ordered cone metric spaces. For more results, see the papers [7] by Huang et al. and [15], [16] by Rahimi and Soleimani Rad. Further, in 2008, Jachymski [9] equipped the underlying metric space with a directed graph and formulated the Banach contraction in the graph language. After that, some authors extended the fixed point theory in the graph language in [1], [12], [14], see also references therein. Very recently, Fallahi et al. [4], [5] studied the existence of the
© Petrozavodsk State University, 2020
fixed points for various contractive mappings with respect to a c-distance in cone metric spaces endowed with a graph.
In this paper, we consider a c-distance in cone metric spaces with a directed graph and obtain some fixed point theorems of Hardy-Rogers type contraction with respect to this distance. We start by reviewing a few basic definitions and notions, which are frequently applied.
Definition 1. [8] Let E be a real Banach space with the zero element 9. A proper nonempty and closed subset P of E is called a cone if P+P C P, XP C P for X ^ 0 and P n (-P) = [9].
Given a cone P C E, Huang and Zhang [8] applied a partial ordering — with respect to P by x — y if and only if y — x E P. We write x — y if x — y and x = y. Moreover, we denote x ^ y if and only if y — x E int P, where int P is the interior of P. If int P = 9, then the cone P is named solid. The cone P is normal if there is a number k > 0 such that for all x,y E E, where 9 — x — y, we have ||;z|| ^ k\\y\\.
Definition 2. [8] Let X be a nonempty set. Suppose that the mapping d : X x X ^ P satisfies
(d1) 9 — d(x, y) for all x,y E X and d(x, y) = 9 if and only if x = y;
(d2) d(x,y) = d(y,x) for all x,y E X;
(d3) d(x, z) — d(x, y) + d(y, z) for all x,y,z E X.
Then d is named a cone metric on X and (X, d) is called a cone metric space.
For other notions and concepts, such as Cauchy sequences, convergence, completeness, and continuity in cone metric spaces, we refer to [8]. We shall also make use of the following property when the cone P is nonnormal:
(*) Let u — Xu with u E P and 0 < A < 1. Then u = 9.
Definition 3. [3], [17] Let (X,d) be a cone metric space. A function q : X x X ^ E is called a c-distance on X if the following holds:
(Qi) 9 — q(x,y) for all x,y E X;
(q2) q(x,z) — q(x, y) + q(y, z) for all x,y,z E X;
(q3) for all n ^ 1 and x E X, if q(x,yn) — u for some u = ux, then q(%, y) — u whenever [yn] is a sequence in X converging to a point y E X;
(q4) for all c E E with c E int P, there exists e E E with e E int P such that q(z, y) ^ e and q(z, x) ^ e imply d(x, y) ^ c.
Each w-distance is a c-distance in a cone metric space with E = R and P = [0, to). But the converse does not hold. Thus, the c-distance is a generalization of the w-distance. Moreover, for a c-distance q, q(a, b) = 9 is not necessarily equivalent to a = b and q(a, b) = q(b, a) does not necessarily hold for all a,b E X.
Lemma 1. [3], [7] Let (X,d) be a cone metric space, q be a c-distance on X, {an} be a sequence in X, and {^fn} and {#„} be two convergent sequences to 9 in P. For any a,b,c E X, the following properties hold:
(i) let q(an, b) — and q(an, c) ^ 8n for all n E N. Then b = c. Also, if q(a, b) = 9 and q(a, c) = 9, then b = c;
(ii) let q(an,am) -< jn for all m,n E N with m > n. Then {an} is a Cauchy sequence in X.
Let (X, d) be a cone metric space and G be a directed graph without parallel edges and with the vertex set V(G) = X and the edge set E(G) that contains all loops. Then the graph G can be written as the ordered pair ( V( G),E(G)) and (X,d) is the named cone metric space endowed with the graph G. Also, The graph G is connected if there exists a path in G between every two vertices of G. For more details on graphs, see [2]. In the sequel, let (X, d) be a cone metric space endowed with a graph G with V(G) = X and A(X) C E(G), where A(X) = {(x,x) E X x X : x E X}, Fix(T) be the set of all fixed points of a self-map T on X and XT = {x EX : (x,Tx) E E(G)}.
From the idea of Jachymski [9] and Petrusel and Rus [13], Fallahi et al. defined Picard operators in cone metric spaces and orbitally G-continuous mappings on X as follows.
Definition 4. [4], [5] Let (X, d) be a cone metric space. A self-map T on X is called a Picard operator ifT has a unique fixed point x* in X and Tnx ^ x* for all x E X.
Definition 5. [4], [5] Let (X, d) be a cone metric space endowed with a graph G. A mapping T : X ^ X is called orbitally G-continuous on X if for all x,y E X and all sequences {bn} of positive integers with (Tbnx,Tbn+1x) E E(G) for all n ^ 1, the convergence Tbnx ^ y implies T(Tb-x) ^ Ty.
Note that a continuous mapping on a cone metric space is orbitally G-continuous for all graphs G, but the converse is not generally true.
2. Main results. The following theorem is the principal result of this paper; it uses Hardy-Rogers contraction [6].
Theorem 1. Let (X, d) be a complete cone metric space endowed with a graph G, q be a c-distance, and T : X ^ X be an orbitally G-continuous mapping that preserves the edges of G; that is, (x,y) E E(G) implies (Tx,Ty) E E(G) for all x,y E X. Suppose that there exist mappings Ui : X ^ [0,1) with Ui(Tx) ^ ^i(x) for all x E X and for i = 1, 2,..., 5), such that
q(Tx,Ty) — ui(x)q(x,y) + u2(x)q(x,Tx) + u3(x)q(y,Ty)+ (1)
+ u4(x)q(x,Ty) + v5 (x)q(y,Tx), q(Ty,Tx) — ui(x)q(y,x) + u2(x)q(Tx,x) + u3(x)q(Ty,y)+ (2) + u4(x)q(Ty, x) + (x)q(Tx, y)
for all x,y E X with (x,y) E E(G), where
(ui + + u3 + 2u4 + 2v5)(x) < 1. (3)
Then xt = 0 if and only if T has a fixed point. Further, if Tz = z, then q(z, z) = 9. Moreover, if the subgraph of G with the vertex set Fix (T) is connected, then the restriction of T to xt is a Picard operator.
Proof. Because Fix (T) C xt, if T has a fixed point, then xt is nonempty. Conversely, let x0 E xt. Since T preserves the edges of G, then (xn, xn+i) E E E(G) for all n E N, where xn = Txn-i = Tnx0. Now, by considering x = xn and y = xn-i in (1) and since (xn-i,xn) E E(G), we have
q(xn+i,xn) = q(Txn,Txn-i) — (4)
— ui(xn)q(xn,xn-i) + U2(xn)q(xn,Txn) + u3(xn)q(xn-i,Txn-i) + + Vi(xn )q(xn,Txn-i) + v5 (xn)q(xn-i,Txn) —
— Ui(xo)q(xn,xn-i) + (u3 + v5 )(xo)q(xn-i ,xn) + u4(xo)q(xn+i ,xn) + (^2 + v^ + )(xo )q(x
Similarly, by considering x = xn and y = xn-i in (2), we have
q(xn,xn+i) — Ui(xo)q(xn-i ,xn) + (u3 + v5 )(xo)q(xn,xn-i)+ (5)
+ u4(xo)q(xn,xn+i) + (u2 + u4 + u5)(xo)q(xn+i,xn). Adding up (4) and (5), we obtain
q(xn+i,xn) + q(xn,xn+i) ^ (Vi + u3 + u5)(x0)[q(xn,xn-i) + q(x n—1, xra)]
+ (v2 + 2 V4 + u5)(xo)[q(xn+i,xn) + q(xn,xn+i)].
Put in = q(xn+i,xn) + q(xn,xn+i). Then
In ^ ("i + V3 + iy5)(xo)(lln-i) + (V2 + 2 P4 + f5)(xo)tin,
which implies in ^ kin-i for all n E N, where
0 O = < 1 (6)
1 - (//2 + 2//4 + V5)(xo)
by (3) and since (vi + u3 + u5)(x0) ^ 0. By repeating this procedure, we have in ^ knio for all n E N. Hence,
q(xn,xn+i) < ^ kn[q(xi,xo) + q(xQ,xi)}. (7)
Now, let m > n. It follows from (q2), (6) and (7) that
kn
q(xn,xm) ^ ---[q(xi,xo) + q(xo,xi)].
1-
Since -¡^j:[q(xi,x0) + q(x0,xi)} is a convergent to 9 sequence, Lemma 1 (ii) implies that {xn} is a Cauchy sequence. Since X is complete, there exists point z E X such that xn = Tnx0 ^ z as n ^ <. Now, we prove that z is a fixed point for T. From x0 E Xt we have (Tnx0,Tn+ix0) E E(G) for all n ^ 0. Thus, by the orbital G-continuity of T, we have Tn+ix0 ^ Tz. Since the limit of a sequence is unique, we conclude T = and is a fixed point of the mapping T. Also, let T = for E X. It follows
5
from (1) that q(z, z) ^ (vi + v2 + u3 + u4 + is5)(z)q(z, z). Since Y1 ui(z) <
i=i
< (^ + v2 + v3 + 2u4 + 2u5)(z) < 1, then q(z, z) = 9 by (*).
Next, suppose that the subgraph of G with the vertex set Fix(T) is connected and z* E X is a fixed point of T. Then there exists a path (xi)1-=0 in G from z to z*, such that xi,..., xn-i E Fix (T) by x0 = z, xn = z* and (xi-i,xi) E E (G) for i = 1,... ,N. Since q(xi-i,xi-i) = q(xi, xi) = 9 for each i = 1, 2,..., N and by applying (1) and (2), we get
q(xi,xi-i) ^ (vi + u4)(xi)q(xi,xi-i) + u5(xi)q(xi-1 ,xi), (8)
q(xi-i,xi) — (ui + u4)(xi)q(xi-i,xi) + u5(xi)q(xi,xi-i). (9)
Now, adding up (8) and (9), we have
q(xi,xi-i) + q(xi-i,xi) — (vi + + u5)(xi)[q(xi,xi-i) + q(xi-i,xi)],
which implies that q(xi,xi-i)+ q(xi-i,xi) = 9 by (3) and (ui + u4 + u5)(xi) — — (vi + »2 + v3 + 2u4 + 2u5)(xi). Hence, q(xi,x—) = q(x— ,Xi) = 9. Thus, by Lemma 1 (i) and since q(xi, Xi) = 9 and q(xi, Xi-i) = 9, we have Xi = Xi-i for i = 1,2,...,N; that is, z = x0 = xi = ■■■ = xn-i = xn = z*. Therefore, the fixed point of T is unique and the restriction of T to X? is a Picard operator. This completes the proof. □
Example. Let X =[0,1],E = CR [0,1] with the norm = ||^|U+||^'|U, P = E E : ^(t) ^ 0 on [0,1]} be a non-normal cone. Consider the mapping d : X x X ^ E introduced by d(x,y) = \x — y\ ■ ip(t) for all x,y E X, where ^(t) = el E P C E with t E [0,1]. Then (X,d) is a cone metric space with a solid cone. Define the mapping q : X x X ^ E by q(x,y)(t) = y ■ el for all x,y E X, where t E [0,1]. Then q is a c-distance. Define T : X ^ X by T(x) = f-, if x = 2, and Tx = 0, if x = i. Clearly, T is not continuous at x = 2, and, so, on the whole X. Suppose that X is endowed with a graph G = (V(G),E(G)), where V(G) = X and E(G) = {(x,x) : x E X} U {(0, 2), (2, 0)}. Now, T is orbitally G-continuous on X. Consider mappings ui(x) = f++i, u2(x) = f and u3(x) = u4(x) = v5(x) = 0 for all x E X. Then
X2
'X2\ — ^ X+1 _ ,, „^J ™ _ 1
(i) if x = 1, then ui{Tx) = vi( f ) = ^ ^ = vi(x) and if x
— 4 ^ 4 — ^ ^ — 2' then Ui(T2) = 4 ^ 8 = ui(i);
(ii) if x = i, then u2(Tx) = u2(f2) = f2 ^ f = v2(x) and if x = 2, then V2(T2) = 0 ^ i = v±(2);
(iii) Ui(Tx) ^ ^i(x) for all x E X and i = 3,4, 5;
(iv) (ui + U2 + U3 + 2^4 + 2u5)(x) = ^ + f < 1 for all x E X;
(v) let x E X with (x,x) E E(G). Then, in two cases x = 1 and x = 1, both relations (1) and (2) are true;
(vi) since (0,T0) = (0, 0) E E(G), we have XT = 0.
Thus, all the conditions of Theorem 1 are true. Clearly, T has a unique fixed point x = 0 E [0,1] and q(0, 0) = 0.
Now, several consequences of our main result follow for particular choices of the graph G. Firstly, consider a cone metric space (X,d) endowed with the complete graph G0, whose vertex set coincides with X; that is, V(G0) = X and E(G0) = X x X. Let G = G0 in Theorem 1. Then it is clear that the set Xt related to any self-map T on X coincides with the whole set X. Thus, we have the following corollary.
Corollary 1. Let (X, d) be a complete cone metric space endowed with the graph G0, q be a c-distance and T : X ^ X be a orbitally Go-continuous mapping. Suppose that there exist mappings ui : X ^ [0,1) with ui(Tx) ^ vi(x) for all x E X and for i = 1, 2,..., 5), such that relations (1) - (3) hold for all x,y E X. Then T has a fixed point.
Now, let (X, C) be a poset (partially ordered set) and G\ be the graph with V(Gx) = X and E(Gx) = {(x,y) E X x X : x C y}. Since C is reflexive, E(G\) contains all loops. By putting G = G\ in Theorem 1, we obtain the following corollary of our main theorem.
Corollary 2. Let (X, C) be a poset, (X,d) be a complete cone metric space, q be a c-distance, and T : X ^ X be a nondecreasing and orbitally G\-continuous mapping on X. Suppose that there exist mappings vi : X ^ [0,1) with ui(Tx) ^ vi(x) for all x E X and for i = 1, 2,..., 5), such that relations (1) -(3) hold for all x,y E X with x C y. Then T has a fixed point if and only if there exist x0 E X such that x0 C Tx0. Further, if Tz = z, then q(z, z) = 9.
Now, let X be a poset endowed with the graph G2 given by V(G2) = X and E(G2) = {(x,y) E X x X : x C y V y C x}; that is, an ordered pair (x,y) E X x X is an edge of G2 if and only if x and y are comparable elements of (X, C). Consider G = G2 in Theorem 1. Then we have another fixed point corollary as follows.
Corollary 3. Let (X, C) be a poset, (X, d) be a complete cone metric space, q be a c-distance, and T : X ^ X be a nondecreasing and orbitally G2-continuous mapping that maps comparable elements of X onto comparable elements. Suppose that there exist mappings vi : X ^ [0,1) with ui(Tx) ^ vi(x) for all x E X and for i = 1, 2,..., 5), such that relations (1) - (3) hold for all comparable x,y E X. Then T has a fixed point on X if and only if there exist x0 E X such that x0 and Tx0 are comparable. Moreover, if Tz = z, then q(z, z) = 9.
Let e E int P be fixed. Two elements x,y E X are said to be e-closed
if d(x,y) e. Consider the e-graph G3 with V(G3) = X and E(G3) = = {(x, y) E X x X : d(x, y) e}. Note that E(G3) contains all loops. Set G = G3 in Theorem 1. Then we have the following result.
Corollary 4. Let (X, d) be a complete cone metric space endowed with the graph G3, £ E int P, q be a c-distance, and T : X ^ X be a or-bitally G3-continuous mapping that maps e-close elements of X onto e-close elements. Suppose that there exist mappings Ui : X ^ [0,1) with Vi(Tx) ^ Vi(x) for all x E X and for i = 1, 2,..., 5, such that relations (1) - (3) hold for all x,y E X such that x and y are e-close elements. Then T has a fixed point on X if and only if there exists x0 E X such that x0 and Tx0 are e-close. Moreover, ifTz = z, then q(z, z) = 9.
Remark 1. In Theorem 1 and its corollaries, consider fi(x) = fi for i = 1, 2,..., 5. Then we can obtain the same assertions. Also, for Banach-type fixed point result with respect to a c-distance on cone metric spaces endowed with a graph, we apply the condition q(Tx,Ty) -< aq(x, y) for all x,y E X, where a E [0,1).
3. Application to a fourth-order differential equation. In this section, the existence of solution of a fourth-order boundary-value problem by applying Green's functions is established as a consequence of Corollary 2. Specially, we study the fourth-order two-point boundary value problem
'xiv (t) = k(t ,x(t)), 0 <t< 1,
x(0) = x'(0) = x''(1) = x/w(1) = 0, ( )
!
with k E C([0,1] x R, R). Note that the problem (10) may be equivalently expressed in the integral form: find the solution x* E X of
x(t)= G(t,r)k(r,x(r)) dr, tE [0,1], (11)
where the Green function G(t, r) is given by
G(t, t) = ±T2(3t - t), 0 ^r^i^ 1, t2(3r - t), 0 ^t^r^ 1.
and
0 ^G(t, t) ^ ^t2T, yt, T E [0,1]. (12)
i
Let us review the mathematical background (see [10], [16]). Let X = = C([0,1], R) be the set of all non-negative real-valued continuous functions on the interval [0,1], and let this set be endowed with the norm \\x\\ = ll^ll^ + H^'Hro, where \\:z\\ro = supie[0,i] lx(t)l Also, let E = = C1([0,1], R) and P = [x E E : x(t) ^ 0 for all t E [0,1]}. Define a mapping d : X x X ^ E by d(x,y) = ev supie[0,1] l^(t) — y(t)l for all x,y E X and v E [0,1]. Also, consider the partial order x Q y iff x(t) ^ y(t) for all t E [0,1]. Evidently, (X, Q) is a partially ordered set and (X, d) is a complete cone metric space. Further, consider the c-distance q : X x X ^ E given by q(x,y) = ev suptly(t)l for all x,y E X and v E [0,1]. Moreover, we use the following assumptions:
(I) There exists a : X ^ [0,1) such that
0 ^ k(t,y(t)) ^ 4a(x)q(x,y)e-v, (13)
for all x,y E X with x Q y and for all t E [0,1] and 1
a(jGit,r)kMr)) *) S «(,) Vx E X (14)
0
1
(II) There exists x0 E X such that x0(t) ^ f G(t,r)k(r,x0(r)) dr for all
0
t E [0,1]; so, the integral equation (11) admits a lower solution in X.
Suppose that the function k E C([0,1] x R,R) satisfies assumptions (I)
and (II). Now, we prove the existence of at least one solution of (10) in
X. This problem is equivalent to the fixed-point problem obtained by
introducing the continuous integral operator T : X ^ X given as
1
(Tx)(t) = j G(t,r)k(r,x(r)) dr, t E [0,1], x E X. 0
Now, we prove that the operator T satisfies all the conditions in
Corollary 1. Consequently, there exists a fixed point of T in X. Since
k E C([0,1] x R,R) is nondecreasing, we conclude that T is a nondecrea-
sing mapping with respect to Q. Also, by using (12) and (13), we obtain
1
q(Tx,Ty) = ev sup / G(t, tau)k(r,y(r)) dr ^ a(x)q(x,y)
te[0,1] J 0
for all t E [0,1] and for all x,y E X with x Q y. By assumption (II), there exists x0 E X such that x0 Q Tx0. Also, from (14) and since a assumes
values in the interval [0,1), we have a(Tx) ^ a(x) < 1 for all x E X. Thus, all the conditions of Corollary 2 with vi(x) = a(x) and Vi(x) = 0 for i = 2, 3, 4, 5 hold true. Hence, we deduce the existence of a fixed point of T; that is, there exists a solution of problem (10) in X.
4. Conclusion. In this paper, we have considered the condition of orbitally G-continuity of mappings instead of the condition of continuity of mappings and cone metric spaces endowed with graph instead of cone metric spaces; some theorems of existing literature, such as Kada et al. [11], Cho et al. [3], Fallahi et al. [4], Fallahi and Soleimani Rad [5], Petrusel and Rus [13], Rahimi and Soleimani Rad [15], [16], and Wang and Guo [17] can be unified there. We finish this paper with some questions:
Question 1. Can one obtain these results by considering nother condition instead of continuity of the mapping T?
Question 2. Can one prove the main theorem and its corollaries by considering one contractive-type relation instead of two contractive-type relations?
Acknowledgment. The authors thank the Editorial Board and the referees for their valuable comments that helped to improve the text.
References
[1] Alfuraidan M. R., Khamsi M. A. Coupled fixed points of monotone mappings in a metric space with a graph, Fixed Point Theory., 2018, vol. 19, no. 1, 33-44.
[2] Bondy J. A., Murty U. S. R., Graph theory, Springer, 2008.
[3] Cho Y. J., Saadati R., Wang S. H. Common fixed point theorems on generalized distance in ordered cone metric spaces, Comput. Math. Appl., 2011, vol. 61, pp. 1254-1260.
[4] Fallahi F., Petrusel A., Soleimani Rad G. Fixed point results for pointwise Chatterjea type mappings with respect to a c-distance in cone metric spaces endowed with a graph, U.P.B. Sci. Bull. (Series A)., 2018, vol. 80, no. 1, pp. 47-54.
[5] Fallahi K., Soleimani Rad G. Fixed points of a f-G-contractive mapping with respect to a c-distance on an abstract metric space endowed with a graph, Mathematical Notes., 2019, vol. 105, no. (5-6), pp. 781-788.
[6] Hardy G. H., Rogers T. D. A generalization of a fixed point theorem of Reich, Canad. Math. Bull., 1973, vol. 16, pp. 201-206.
[7] Huang H., RadenoviC S., DosenoviC T. Some common fixed point theorems on c-distance in cone metric spaces over Banach algebras, Appl. Comput. Math., 2015, vol 14, no. 2, pp. 180-193.
[8] Huang L. G., Zhang X. Cone metric spaces and fixed point theorems of contractive mappings, J. Math. Anal. Appl., 2007, vol. 332, pp. 1467-1475.
[9] Jachymski J. The contraction principle for mappings on a metric space with a graph, Proc. Amer. Math. Soc., 2008, vol. 136, pp. 1359-1373.
[10] Jleli M., Cojbasic Rajic V., Samet B., Vetro C. Fixed point theorems on ordered metric spaces and applications to nonlinear elastic beam equations, J. Fixed Point Theory Appl., 2012, vol. 12, pp. 175-192.
[11] Kada O., Suzuki T., Takahashi W. Nonconvex minimization theorems and fixed point theorems in complete metric spaces, Math. Japon., 1996, vol. 44, pp. 381-391.
[12] Nicolae A., O'Regan D., Petrusel A. Fixed point theorems for singlevalued and multivalued generalized contractions in metric spaces endowed with a graph, Georgian Math. J., 2011, vol. 18, pp. 307-327.
[13] Petrusel A., Rus I. A. Fixed point theorems in ordered L-spaces, Proc. Amer. Math. Soc., 2006, vol. 134, no. 2, pp. 411-418.
[14] Petrusel A., Rus I. A. Fixed point theory in terms of a metric and of an order relation, Fixed Point Theory., 2019, vol. 20, no. 2, pp. 601-622.
[15] Rahimi H., Soleimani Rad G. Common fixed-point theorems and c-distance in ordered cone metric spaces, Ukrain. Math. J., 2014, vol. 65, no. 12, pp. 1845-1861.
[16] Soleimani Rad G., Rahimi H., Vetro C. Fixed point results under generalized c-distance with application to nonlinear fourth-order differential equation, Fixed Point Theory., 2019, vol. 20, no. 2, pp. 635-648.
[17] Wang S., Guo B. Distance in cone metric spaces and common fixed point theorems, Appl. Math. Lett., 2011, vol. 24, pp. 1735-1739.
[18] Zabrejko P. P. K-metric and K-normed linear spaces: survey, Collect. Math., 1997, vol. 48, pp. 825-859.
Received July 20, 2019.
In revised form,, February 4, 2020.
Accepted February 7, 2020.
Published online February 18, 2020.
Department of Mathematics, Faculty of Science Central Tehran Branch, Islamic Azad University, Tehran, Iran E-mail: [email protected]; [email protected]; [email protected]
