ISBN 978-1-59973-558-0 VOLUME 1, 2018 MATHEMATICAL COMBINATORICS (INTERNATIONAL BOOK SERIES) Edited By Linfan MAO THE MADIS OF CHINESE ACADEMY OF SCIENCES AND ACADEMY OF MATHEMATICAL COMBINATORICS & APPLICATIONS, USA March, 2018 Vol.1, 2018 ISBN 978-1-59973-558-0 MATHEMATICAL COMBINATORICS (INTERNATIONAL BOOK SERIES) Edited By Linfan MAO (www.mathcombin.com) The Madis of Chinese Academy of Sciences and Academy of Mathematical Combinatorics & Applications, USA March, 2018 Aims and Scope: The Mathematical Combinatorics (International Book Series) is a fully refereed international book series with ISBN number on each issue, sponsored by the MADIS of Chinese Academy of Sciences and published in USA quarterly comprising 110-160 pages approx. per volume, which publishes original research papers and survey articles in all aspects of Smarandache multi-spaces, Smarandache geometries, mathematical combinatorics, non-euclidean geometry and topology and their applications to other sciences. Topics in detail to be covered are: Smarandache multi-spaces with applications to other sciences, such as those of algebraic multi-systems, multi-metric spaces, , etc.. Smarandache geometries; ··· Topological graphs; Algebraic graphs; Random graphs; Combinatorial maps; Graph and map enumeration; Combinatorial designs; Combinatorial enumeration; Differential Geometry; Geometry on manifolds; Low Dimensional Topology; Differential Topology; Topology of Manifolds; Geometrical aspects of Mathematical Physics and Relations with Manifold Topology; Applications of Smarandache multi-spaces to theoretical physics; Applications of Combi- natorics to mathematics and theoretical physics; Mathematical theory on gravitational fields; Mathematicaltheoryonparalleluniverses;OtherapplicationsofSmarandachemulti-spaceand combinatorics. Generally, papers on mathematics with its applications not including in above topics are also welcome. It is also available from the below international databases: Serials Group/EditorialDepartment of EBSCO Publishing 10 Estes St. Ipswich, MA 01938-2106,USA Tel.: (978) 356-6500,Ext. 2262 Fax: (978) 356-9371 http://www.ebsco.com/home/printsubs/priceproj.asp and Gale Directory of Publications and Broadcast Media, Gale, a part of Cengage Learning 27500 Drake Rd. Farmington Hills, MI 48331-3535,USA Tel.: (248) 699-4253,ext. 1326; 1-800-347-GALEFax: (248) 699-8075 http://www.gale.com Indexingand Reviews: MathematicalReviews(USA),ZentralblattMath(Germany),Refer- ativnyi Zhurnal (Russia), Mathematika (Russia), Directory of Open Access (DoAJ), Interna- tional Statistical Institute (ISI), International Scientific Indexing (ISI, impact factor 1.743), Institute for Scientific Information (PA, USA), Library of Congress Subject Headings (USA). Subscription A subscription can be ordered by an email directly to Prof.Linfan Mao,PhD The Editor-in-Chief of International Journal of Mathematical Combinatorics Chinese Academy of Mathematics and System Science Beijing, 100190, P.R.China Email: [email protected] Price: US$48.00 Editorial Board (4th) Editor-in-Chief Linfan MAO Shaofei Du ChineseAcademyofMathematicsandSystem Capital Normal University, P.R.China Science, P.R.China Email: [email protected] and Xiaodong Hu Academy of Mathematical Combinatorics & ChineseAcademyofMathematicsandSystem Applications, USA Science, P.R.China Email: [email protected] Email: [email protected] Deputy Editor-in-Chief Yuanqiu Huang Hunan Normal University, P.R.China Guohua Song Email: [email protected] Beijing University of Civil Engineering and H.Iseri Architecture, P.R.China Mansfield University, USA Email: [email protected] Email: hiseri@mnsfld.edu Editors Xueliang Li Nankai University, P.R.China Arindam Bhattacharyya Email: [email protected] Jadavpur University, India Guodong Liu Email: [email protected] Huizhou University Said Broumi Email: [email protected] Hassan II University Mohammedia W.B.Vasantha Kandasamy Hay El Baraka Ben M’sik Casablanca Indian Institute of Technology, India B.P.7951 Morocco Email: [email protected] Junliang Cai Ion Patrascu Beijing Normal University, P.R.China Fratii Buzesti National College Email: [email protected] Craiova Romania Yanxun Chang Han Ren Beijing Jiaotong University, P.R.China East China Normal University, P.R.China Email: [email protected] Email: [email protected] Jingan Cui Ovidiu-Ilie Sandru Beijing University of Civil Engineering and Politechnica University of Bucharest Architecture, P.R.China Romania Email: [email protected] ii MathematicalCombinatorics(InternationalBookSeries) Mingyao Xu Peking University, P.R.China Email: [email protected] Guiying Yan ChineseAcademyofMathematicsandSystem Science, P.R.China Email: [email protected] Y. Zhang Department of Computer Science Georgia State University, Atlanta, USA Famous Words: The problems that exist in the world today cannot be solved by the level of thinking that created them. By Albert Einstein, an American physicist. Math.Combin.Book Ser. Vol.1(2018), 1-17 Some Fixed Point Results for Contractive Type Conditions in Cone b-Metric Spaces and Applications G.S.Saluja (DepartmentofMathematics,Govt. KaktiyaP.G.College,Jagdalpur,Jagdalpur-494001(C.G.),India) [email protected] Abstract: In this paper, we establish some fixed point results for contractive type condi- tions in the framework of complete cone b-metric spaces and give some applications of our results. The results presented in thispaper generalize, extend and unify several well-known comparable results in theexisting literature. Key Words: Fixed point, contractivetypecondition, cone b-metricspace, cone. AMS(2010): 47H10, 54H25. §1. Introduction Fixedpointtheoryplaysabasicroleinapplicationsofmanybranchesofmathematics. Finding fixed point of contractive mappings becomes the center of strong research activity. Banach proved a very important result regarding a contraction mapping, known as the Banach con- traction principle [2] in 1922. In [3], Bakhtin introduced b-metric spaces as a generalization of metric spaces. He proved the contraction mapping principle in b-metric spaces that generalized the famous contraction principle in metric spaces. Since then, several papers have dealt with fixed point theory or the variationalprinciple for single-valuedandmulti-valued operatorsinb-metric spaces(see [4, 5, 11] and references therein). In recent investigation, the fixed point in non-convex analysis, especially in an ordered normed space, occupies a prominent place in many aspects (see [14, 15, 17, 20]). The authors define an ordering by using a cone, which naturally induces a partial ordering in Banach spaces. In 2007, Huang and Zhang [14] introduced the concept of cone metric spaces as a gen- eralization of metric spaces and establish some fixed point theorems for contractive mappings in normal cone metric spaces. Subsequently, several other authors [1, 16, 20, 23] studied the existence of fixed points andcommon fixed points of mappings satisfying contractivetype con- dition on a normal cone metric space. In 2008, Rezapour and Hamlbarani [20] omitted the assumption of normality in cone metric space, which is a milestone in developing fixed point theory in cone metric space. Recently,HussainandShah[15]introducedtheconceptofconeb-metricspaceasageneral- 1ReceivedJuly23,2017,AcceptedFebruary8,2018. 2 G.S.Saluja ization of b-metric space and cone metric spaces. They established some topologicalproperties insuchspacesandimprovedsomerecentresultsaboutKKM mappingsinthesettingofacone b-metricspace. Inthis paper,wegivesomeexamplesinconeb-metricspaces,thenobtainsome fixed theorems for contractive type conditions in the setting of cone b-metric spaces. Definition 1.1([14]) Let E be a real Banach space. A subset P of E is called a cone whenever the following conditions hold:) (c ) P is closed, nonempty and P = 0 ; 1 6 { } (c ) a,b R, a,b 0 and x,y P imply ax+by P; 2 ∈ ≥ ∈ ∈ (c ) P ( P)= 0 . 3 ∩ − { } Given a cone P E, we define a partial ordering with respect to P by x y if and only ⊂ ≤ ≤ if y x P. We shall write x<y to indicate that x y but x=y, while x y will stand for − ∈ ≤ 6 ≪ y x P0, where P0 stands for the interior of P. If P0 = then P is called a solid cone (see − ∈ 6 ∅ [22]). Thereexisttwokindsofcones-normal(withthenormalconstantK)andnon-normalones ([12]). Let E be a real Banach space, P E a cone and partial ordering defined by P. Then ⊂ ≤ P is called normal if there is a number K >0 such that for all x,y P, ∈ 0 x y imply x K y , (1.1) ≤ ≤ k k≤ k k or equivalently, if ( n)x y z and n n n ∀ ≤ ≤ lim x = lim z =ximply lim y =x. (1.2) n n n n n n →∞ →∞ →∞ The least positive number K satisfying (1.1) is called the normal constant of P. Example 1.2([22]) Let E = C1[0,1] with x = x + x on P = x E : x(t) 0 . R ′ This cone is not normal. Consider, for examkplek, x k(t)k=∞tn kandk∞y (t)= 1.{Th∈en 0 x ≥y}, n n n n ≤ n ≤ n and lim y = 0, but x = max tn +max tn 1 = 1 +1 > 1; hence x does n→∞ n k nk t∈[0,1]|n| t∈[0,1]| − | n n not converge to zero. It follows by (1.2) that P is a non-normal cone. Definition 1.3([14,24]) Let X be a nonempty set. Suppose that the mapping d: X X E × → satisfies: (d ) 0 d(x,y) for all x,y X with x=y and d(x,y)=0 x=y; 1 ≤ ∈ 6 ⇔ (d ) d(x,y)=d(y,x) for all x,y X; 2 ∈ (d ) d(x,y) d(x,z)+d(z,y) for all x,y,z X. 3 ≤ ∈ Then d is called a cone metric on X and (X,d) is called a cone metric space [14]. The concept of a cone metric space is more general than that of a metric space, because each metric space is a cone metric space where E =R and P =[0,+ ). ∞ Example 1.4([14]) Let E =R2, P = (x,y) R2 :x 0,y 0 , X =R and d: X X E { ∈ ≥ ≥ } × → SomeFixedPointResultsforContractiveTypeConditions 3 defined by d(x,y)=(x y ,αx y ), where α 0 is a constant. Then (X,d) is a cone metric | − | | − | ≥ space with normal cone P where K =1. Example 1.5([19]) Let E =ℓ2, P = x E :x 0,for alln , (X,ρ) a metric space, n n 1 n {{ } ≥ ∈ ≥ } and d: X X E defined by d(x,y)= ρ(x,y)/2n . Then (X,d) is a cone metric space. n 1 × → { } ≥ Clearly, the above examples show that class of cone metric spaces contains the class of metric spaces. Definition 1.6([15]) Let X be a nonempty set and s 1 be a given real number. A mapping ≥ d: X X E is said to be cone b-metric if and only if, for all x, y, z X, the following × → ∈ conditions are satisfied: (b ) 0 d(x,y) with x=y and d(x,y)=0 x=y; 1 ≤ 6 ⇔ (b ) d(x,y)=d(y,x); 2 (b ) d(x,y) s[d(x,z)+d(z,y)]. 3 ≤ The pair (X,d) is called a cone b-metric space. Remark 1.7 The class of cone b-metric spaces is larger than the class of cone metric space since any cone metric space must be a cone b-metric space. Therefore, it is obvious that cone b-metric spaces generalize b-metric spaces and cone metric spaces. We give some examples, which show that introducing a cone b-metric space instead of a conemetric spaceismeaningfulsince thereexistconeb-metricspacewhicharenotconemetric space. Example 1.8([13]) Let E = R2, P = (x,y) E : x 0,y 0 E, X = R and { ∈ ≥ ≥ } ⊂ d: X X E defined by d(x,y) = (x y p,αx y p), where α 0 and p > 1 are two × → | − | | − | ≥ constants. Then (X,d) is a cone b-metric space with the coefficient s=2p >1, but not a cone metric space. Example 1.9([13]) Let X = ℓp with 0 < p < 1, where ℓp = {{xn} ⊂ R : ∞n=1|xn|p < ∞}. 1 Letd: X×X →R+ definedbyd(x,y)= ∞n=1|xn−yn|p p,wherex={xPn}, y ={yn}∈ℓp. Then (X,d) is a cone b-metric space with(cid:16)the coefficient s(cid:17)= 21/p > 1, but not a cone metric P space. Example 1.10([13]) Let X = 1,2,3,4 , E = R2, P = (x,y) E : x 0,y 0 . Define { } { ∈ ≥ ≥ } d: X X E by × → (x y 1, x y 1) if x=y, − − d(x,y)= | − | | − | 6 0, if x=y. Then (X,d) is a cone b-metric space with the coefficient s = 6 > 1. But it is not a cone 5 metric space since the triangle inequality is not satisfied, d(1,2)>d(1,4)+d(4,2), d(3,4)>d(3,1)+d(1,4). Definition 1.11([15]) Let (X,d) be a cone b-metric space, x X and x be a sequence in n ∈ { } X. Then 4 G.S.Saluja x is a Cauchy sequence whenever, if for every c E with 0 c, then there is a n • { } ∈ ≪ natural number N such that for all n,m N, d(x ,x ) c; n m ≥ ≪ x converges toxwhenever, foreveryc E with0 c, thenthereis anaturalnumber n •{ } ∈ ≪ N such that for all n N, d(x ,x) c. We denote this by lim x = x or x x as n n n n ≥ ≪ →∞ → n . →∞ (X,d) is a complete cone b-metric space if every Cauchy sequence is convergent. • In the following (X,d) will stands for a cone b-metric space with respect to a cone P with P0 = in a real Banach space E and is partial ordering in E with respect to P. 6 ∅ ≤ Definition 1.12([10]) Let (X,d) be a metric space. A self mapping T: X X is called quasi → contraction if it satisfies the following condition: d(Tx,Ty) hmax d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx) ≤ n o for all x,y X and h (0,1) is a constant. ∈ ∈ Definition 1.13([10]) Let (X,d) be a metric space. A self mapping T: X X is called Ciric → quasi-contraction if it satisfies the following condition: d(x,Tx)+d(y,Ty) d(x,Ty)+d(y,Tx) d(Tx,Ty) hmax d(x,y), , ≤ 2 2 n o for all x,y X and h (0,1) is a constant. ∈ ∈ The following lemmas are often used (in particular when dealing with cone metric spaces in which the cone need not be normal). Lemma 1.14([17]) Let P be a cone and a bea sequencein E. If c intP and 0 a 0 n n { } ∈ ≤ → as n , then there exists N such that for all n>N, we have a c. n →∞ ≪ Lemma 1.15([17]) Let x, y, z E, if x y and y z, then x z. ∈ ≤ ≪ ≪ Lemma 1.16([15]) Let P be a cone and 0 u c for each c intP, then u=0. ≤ ≪ ∈ Lemma 1.17([8]) Let P be a cone, if u P and u ku for some 0 k<1, then u=0. ∈ ≤ ≤ Lemma 1.18([17]) Let P be a cone and a b+c for each c intP, then a b. ≤ ∈ ≤ §2. Main Results In this section we shall prove some fixed point theorems of contractive type conditions in the framework of cone b-metric spaces. Theorem 2.1 Let (X,d) be a complete cone b-metric space with the coefficient s 1. Suppose ≥ SomeFixedPointResultsforContractiveTypeConditions 5 that the mapping T: X X satisfies the contractive type condition: → d(Tx,Ty) αd(x,y)+βd(x,Tx)+γd(y,Ty) ≤ +µ[d(x,Ty)+d(y,Tx)] (2.1) for all x,y X, where α,β,γ,µ 0 are constants such that sα+β+sγ+(s2+s)µ<1. Then ∈ ≥ T has a unique fixed point in X. Proof Choose x X. We construct the iterative sequence x , where x = Tx , 0 n n n 1 ∈ { } − n 1, that is, x =Tx =Tn+1x . From (2.1), we have n+1 n 0 ≥ d(x ,x ) = d(Tx ,Tx ) n+1 n n n 1 − αd(x ,x )+βd(x ,Tx )+γd(x ,Tx ) n n 1 n n n 1 n 1 ≤ − − − +µ[d(x ,Tx )+d(x ,Tx )] n n 1 n 1 n − − = αd(x ,x )+βd(x ,x )+γd(x ,x ) n n 1 n n+1 n 1 n − − +µ[d(x ,x )+d(x ,x )] n n n 1 n+1 − = αd(x ,x )+βd(x ,x )+γd(x ,x ) n n 1 n n+1 n 1 n − − +µd(x ,x ) n 1 n+1 − αd(x ,x )+βd(x ,x )+γd(x ,x ) n n 1 n n+1 n 1 n ≤ − − +sµ[d(x ,x )+d(x ,x ] n 1 n n n+1 − = (α+γ+sµ)d(x ,x ) n n 1 − +(β+sµ)d(x ,x ). (2.2) n n+1 This implies that α+γ+sµ d(x ,x ) d(x ,x ) n+1 n n n 1 ≤ 1 β sµ − (cid:16) − − (cid:17) = λd(x ,x ) (2.3) n n 1 − where α+γ+sµ λ= . 1 β sµ (cid:16) − − (cid:17) As sα+β+sγ+(s2+s)µ<1, it is clear that λ<1/s. Similarly, we obtain d(x ,x ) λd(x ,x ). (2.4) n 1 n n 2 n 1 − ≤ − − Using (2.4) in (2.3), we get d(x ,x ) λ2d(x ,x ). (2.5) n+1 n n 1 n 2 ≤ − − Continuing this process, we obtain d(x ,x ) λnd(x ,x ). (2.6) n+1 n 1 0 ≤