<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2014.43013</article-id><article-id pub-id-type="publisher-id">APM-44346</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Fixed Point Theorem for Maps Satisfying a General Contractive Condition of Integral Type
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>nbsp;</surname><given-names>Sumitra</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Saurabh</surname><given-names>Manro</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>B. No. 33, H. No. 223, Peer Khana Road, Khanna, Ludhiana, India</addr-line></aff><aff id="aff1"><addr-line>Department of Mathematics, Faculty of Science, Jazan University, Jazan, KSA</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>mathsqueen_d@yahoo.com(NS)</email>;<email>sauravmanro@yahoo.com, sauravmanro@hotmail.com(SM)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>28</day><month>03</month><year>2014</year></pub-date><volume>04</volume><issue>03</issue><fpage>82</fpage><lpage>88</lpage><history><date date-type="received"><day>26</day>	<month>December</month>	<year>2013</year></date><date date-type="rev-recd"><day>26</day>	<month>January</month>	<year>2014</year>	</date><date date-type="accepted"><day>1</day>	<month>February</month>	<year>2014</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   The aim of this paper is to prove common fixed point theorems for variants of weak compatible maps in a complex valued-metric space. In this paper, we generalize various known results in the literature using (CLRg) property. The concept of (CLRg) does not require a more natural condition of closeness of range. 
 
</p></abstract><kwd-group><kwd>Weakly Compatible Maps; (CLRg) Property; Common Fixed Point</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Recently, Azam et al. [<xref ref-type="bibr" rid="scirp.44346-ref1">1</xref>] introduced complex-valued metric space which is more general than classical metric space. Sastry et al. [<xref ref-type="bibr" rid="scirp.44346-ref2">2</xref>] proved that every complex-valued metric space is metrizable and hence is not real generalizations of metric spaces. But indeed it is a metric space and it is well known that complex numbers have many applications in Control theory, Fluid dynamics, Dynamic equations, Electromagnetism, Signal analysis, Quantum mechanics, Relativity, Geometry, Fractals, Analytic number theory, Algebraic number theory etc. For more detail, one can refer to [<xref ref-type="bibr" rid="scirp.44346-ref3">3</xref>] -[<xref ref-type="bibr" rid="scirp.44346-ref5">5</xref>] . The aim of this paper is to prove a common fixed point theorem for variants of weak compatible maps in a complex valued-metric space. As a consequence, we extend and generalize various known results in the literature using (CLRg) property in complex valued metric space.</p></sec><sec id="s2"><title>2. Preliminaries</title><p>Let ℂ be the set of complex numbers and z<sub>1</sub>, z<sub>2</sub> ∊ ℂ, recall a natural partial order relation ≾ on ℂ as follows:</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\7d4f3685-7b0a-4996-acf5-bf196611ae51.png" xlink:type="simple"/></inline-formula>if and only if <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\5af28e3b-7f58-4cf5-b2ef-fe1b2afe707b.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\dd17a416-6be9-4f48-9ff1-62b9f3e280e1.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\fe6ee6a0-20d2-4b97-9558-63d6f8f89cbf.png" xlink:type="simple"/></inline-formula>if and only if <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\dce9acf4-dea7-4cd0-a68d-fc89f081698e.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\e620857e-9198-4e0f-b716-19e1791e46a7.png" xlink:type="simple"/></inline-formula></p><p>Definition 2.1. [<xref ref-type="bibr" rid="scirp.44346-ref1">1</xref>] . Let X be a nonempty set such that the map d: X &#215; X → ℂ satisfies the following conditions:</p><p>(C1) <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\b2efa2ad-6c4a-44a5-a74b-5e62b79b2c7f.png" xlink:type="simple"/></inline-formula>for all <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\6818bcc8-a767-4767-b95f-205392d3d572.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\fd15f369-8bb8-484f-9651-374786aaf769.png" xlink:type="simple"/></inline-formula> if and only if x = y;</p><p>(C2) <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\c370f033-e55f-47ef-b730-d28785c4fe65.png" xlink:type="simple"/></inline-formula>for all <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\a4953b63-7aad-42f9-ab0b-3146820aa34f.png" xlink:type="simple"/></inline-formula></p><p>(C3) <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\8a90d2dd-d617-41e9-9663-1d3c3279f11a.png" xlink:type="simple"/></inline-formula>for all <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\41ea5ddc-13c3-4548-8aec-157d4c576957.png" xlink:type="simple"/></inline-formula></p><p>Then d is called a complex-valued metric on X, and (X, d) is called a complex-valued metric space.</p><p>Example 2.1. [<xref ref-type="bibr" rid="scirp.44346-ref1">1</xref>] Define complex-valued metric d: X &#215; X → ℂ by<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\11f540e1-c4c0-43dc-9d16-405fbb7ff3fe.png" xlink:type="simple"/></inline-formula>. Then (X, d) is a complex-valued metric space.</p><p>Definition 2.2. [<xref ref-type="bibr" rid="scirp.44346-ref1">1</xref>] . Let (X, d) complex -valued metric space and x ∈ X. Then sequence {x<sub>n</sub>} sequence is i) convergent if for every <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\ed6355f2-6ca8-4630-afea-6aca2cf3f2ba.png" xlink:type="simple"/></inline-formula> there is a natural number N such that<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\835ad24f-196a-4116-ad8f-a6a713b0ec41.png" xlink:type="simple"/></inline-formula>, for all <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\d3e982d2-ccc8-409c-9881-42da30ede5f8.png" xlink:type="simple"/></inline-formula> We write it as <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\5f430706-9638-4e6c-8921-5298de3e4cd3.png" xlink:type="simple"/></inline-formula></p><p>ii) a Cauchy sequence, if for every <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\b3098bb4-29c4-4f8e-89ca-0a86dab0e21a.png" xlink:type="simple"/></inline-formula> there is a natural number N such that<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\72ccc000-a131-42b1-8078-8141916eb9a0.png" xlink:type="simple"/></inline-formula>, for all <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\79f249ea-930f-4545-b1a6-c4bcd9d8b69d.png" xlink:type="simple"/></inline-formula></p><p>Definition 2.3. [<xref ref-type="bibr" rid="scirp.44346-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.44346-ref6">6</xref>] . A pair of self-maps f and g of a complex-valued metric space <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\336bea14-b5a0-48b7-b1b3-88041acb757b.png" xlink:type="simple"/></inline-formula> are weakly compatible if fgz = gfz for all z ∊ X at which fz = gz.</p><p>Example 2.2. [<xref ref-type="bibr" rid="scirp.44346-ref6">6</xref>] . Define complex-valued metric <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\176921bb-4640-4847-aa27-253a7240da09.png" xlink:type="simple"/></inline-formula> defined by</p><p><img src="htmlimages\3-5300633x\984f9672-704c-4610-828f-5eaf594544c7.png" /></p><p>where a is any real constant. Then (X, d) is a complex-valued metric space. Suppose self maps f and g be defined as:</p><p><img src="htmlimages\3-5300633x\37d8cc79-edcc-4855-a939-5d22d75e10f7.png" /></p><p>and</p><p><img src="htmlimages\3-5300633x\ebeffcc5-631b-40c7-9089-7151cfce7cfd.png" /></p><p>Clearly, f and g are weakly compatible self maps.</p><p>In 2011, Sintunavarat and Kumam [<xref ref-type="bibr" rid="scirp.44346-ref7">7</xref>] introduced a new property called as “common limit in the range of g property” i.e., (CLR<sub>g</sub>) property, defined as:</p><p>Definition 2.4. A pair (f, g) of self-mappings is said to be satisfy the common limit in the range of g property if there exists a sequence <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\90d0f8eb-a5bd-4c26-a46b-fb5a8a5fbe93.png" xlink:type="simple"/></inline-formula> in X such that <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\57f7c0f1-5bee-43d9-9165-89204b0bbdc8.png" xlink:type="simple"/></inline-formula> for some <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\077bd455-981c-471b-a02d-0f4c10a1eb1c.png" xlink:type="simple"/></inline-formula></p></sec><sec id="s3"><title>3. Main Results</title><p>Definition 3.1. Let (X, d) be a complex valued metric space and (f, g) be a pair of self mappings on X and <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\8da0ccc2-396c-4778-bdd4-775c99105f62.png" xlink:type="simple"/></inline-formula> Let us consider the following sets:</p><p><img src="htmlimages\3-5300633x\ebc0f752-2d67-4a7b-994e-2418e1becaa0.png" /></p><p>and define the following conditions:</p><p>A) For arbitrary <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\9f86d620-6c08-442a-b6bb-1d3babc2b891.png" xlink:type="simple"/></inline-formula> there exists</p><p><img src="htmlimages\3-5300633x\541fcc69-fcdd-4902-9a32-3fa065b64abc.png" /></p><p>such that</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\4314db12-82eb-4f2b-9d36-3f168b33d2e3.png" xlink:type="simple"/></inline-formula>;</p><p>B) For arbitrary <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\f5553869-985a-43a0-bae5-c564dff511bb.png" xlink:type="simple"/></inline-formula> there exists</p><p><img src="htmlimages\3-5300633x\9c828601-93f7-44bf-8449-d8b57c6c5df4.png" /></p><p>such that</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\109d126a-8a66-4e39-9b51-15c68cb0feda.png" xlink:type="simple"/></inline-formula>;</p><p>C) For arbitrary <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\0b57c6d9-81c3-43d3-9adb-59779cafb915.png" xlink:type="simple"/></inline-formula> there exists</p><p><img src="htmlimages\3-5300633x\ce1b0779-efc9-4213-ba53-5bc6807d3c4b.png" /></p><p>such that</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\7ea6e93b-13a1-4552-aaac-3fdcbabefaf4.png" xlink:type="simple"/></inline-formula>.</p><p>Conditions A), B) and C) are called strict contractive conditions.</p><p>Theorem 3.1. Let f and g be two weakly compatible self mappings of a complex valued metric space (X, d) such that</p><p>(3.1) f, g satisfy (CLRg) property;</p><p>(3.2) for all <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\699aa69d-c6ee-4b9b-a51f-f33a5af0c5d4.png" xlink:type="simple"/></inline-formula> there exists</p><p><img src="htmlimages\3-5300633x\2f4e63ce-609e-4b1a-ba8f-dfb519091075.png" /></p><p>such that</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\b4b575fe-cbe7-4b15-ad09-621094fc0e4c.png" xlink:type="simple"/></inline-formula>.</p><p>Then f and g have a unique common fixed point in X.</p><p>Proof. Since f and g satisfy the (CLRg) property, there exists a sequence {x<sub>n</sub>} in X such that <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\ac777880-21c0-4615-acac-402e499fc79a.png" xlink:type="simple"/></inline-formula> for some x <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\a693f4fa-e4c6-4b70-a3ae-27c102e40006.png" xlink:type="simple"/></inline-formula> X.</p><p>We first show that fx = gx. Suppose not, i.e., fx ≠ gx.</p><p>From (3.2),</p><disp-formula id="scirp.44346-formula82219"><label>(3.3)</label><graphic position="anchor" xlink:href="htmlimages\3-5300633x\fa4aac45-0d33-4010-9476-2e445044603e.png"  xlink:type="simple"/></disp-formula><p>where</p><p><img src="htmlimages\3-5300633x\7685a162-7a4f-4bd7-b8a8-1d7977f35e18.png" /></p><p><img src="htmlimages\3-5300633x\c562b7c3-a354-4d23-9d3a-d9650e0edc45.png" /></p><p>Three cases arises:</p><p>i) If</p><p><img src="htmlimages\3-5300633x\dc1f76c6-1601-44be-ab2b-5a18ab520274.png" /></p><p>then (3.3) implies</p><p><img src="htmlimages\3-5300633x\870d497a-90da-4648-8459-87b5ed66e9a4.png" /></p><p>Taking limit as n→∞,</p><p><img src="htmlimages\3-5300633x\52e63c3e-7f25-4783-8ee5-b0fdb501290d.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\a21b3e1e-3186-48e8-8b9e-9c848d3db4c3.png" xlink:type="simple"/></inline-formula>contradiction.</p><p>ii) If</p><p><img src="htmlimages\3-5300633x\cb7d8df2-1632-46e0-b5fe-a6ea8678379f.png" /></p><p>then (3.3) implies,</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\10bc6cd1-aded-4fd2-ad39-4e99e1fd0956.png" xlink:type="simple"/></inline-formula>.</p><p>Taking limit as n→∞,</p><p><img src="htmlimages\3-5300633x\d7fcdc8b-90ab-47b0-8a37-ff3aaf12dea9.png" /></p><p>i.e., <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\15ccd5c7-ebe2-49db-8ca4-1e1e2018e4a2.png" xlink:type="simple"/></inline-formula>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\e24a9955-bd4e-43c5-b217-6bbfcbd44402.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>iii) If</p><p><inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\ddf022e4-1913-4c55-ac9a-ab2a2b01b92f.png" xlink:type="simple"/></inline-formula>then (3.3) gives,</p><p><img src="htmlimages\3-5300633x\98efbf21-4549-40dc-be56-fa8fa9859310.png" /></p><p>Making limit as n→∞,</p><p><img src="htmlimages\3-5300633x\d889a98a-1a20-47b5-afc6-2e5573298e0c.png" /></p><p>i.e., <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\f2ce4e8f-6b97-46df-8072-bb99f1f2b9da.png" xlink:type="simple"/></inline-formula>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\49810356-52ef-4503-a61a-e9cfa34cd009.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>Hence, from all three cases, gx = fx.</p><p>Now let z = fx = gx. Since f and g are weakly compatible mappings fgx = gfx which implies that fz = fgx = gfx = gz.</p><p>We claim that fz = z. Let, if possible, fz ≠ z.</p><p>Now</p><disp-formula id="scirp.44346-formula82220"><label>(3.4)</label><graphic position="anchor" xlink:href="htmlimages\3-5300633x\2d78cc6b-4943-4d6e-a19b-08c4b5aae452.png"  xlink:type="simple"/></disp-formula><p>where</p><p><img src="htmlimages\3-5300633x\1acbba5a-3dd7-4e73-8ad2-05a77371c901.png" /></p><p>Two cases arises:</p><p>i) If<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\2b2ee64a-6752-4e5f-a169-6f5d2e85dc23.png" xlink:type="simple"/></inline-formula>, then (3.4) gives,</p><p><img src="htmlimages\3-5300633x\243d5369-1a46-4bcb-87ac-a0493d1d7612.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\29255871-5448-44d2-a72b-5079070ad4c0.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>ii) If<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\da1fa7d0-d6d6-4098-81ca-33c37a6587e8.png" xlink:type="simple"/></inline-formula>, then (3.4) gives,</p><p><img src="htmlimages\3-5300633x\bf3492ed-fdf2-48b3-b0ad-4607093492de.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\388c9b51-175b-44c5-b1f6-6500b64510a1.png" xlink:type="simple"/></inline-formula>a contradiction.</p><p>Hence, from two cases, it is clear that fz = z = gz.</p><p>Hence z is a common fixed point of f and g.</p><p>For uniqueness, suppose that w is another common fixed point of f and g.</p><p>We shall prove that z = w. Let, if possible, z ≠ w.</p><p>Then</p><disp-formula id="scirp.44346-formula82221"><label>(3.5)</label><graphic position="anchor" xlink:href="htmlimages\3-5300633x\32cabdee-2e3c-4569-a4af-2f52a6a8ea86.png"  xlink:type="simple"/></disp-formula><p>where</p><p><img src="htmlimages\3-5300633x\e428765c-6d0d-4edf-9d2a-353f79ec0123.png" /></p><p>Again, two possible cases i) If<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\26d73929-6fde-4d4c-bc02-1f33d66debb6.png" xlink:type="simple"/></inline-formula>, then by (3.5), we have</p><p><img src="htmlimages\3-5300633x\a9c7b455-d5d2-4014-b7ff-a171770b298f.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\8a3898cf-1e16-4912-a949-1a5294f0253e.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>ii) If<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\1f9b70a9-5ba0-4205-bb8e-3735bde12109.png" xlink:type="simple"/></inline-formula>, then by (3.5), we have</p><p><img src="htmlimages\3-5300633x\4068576a-fb21-4f36-a2e7-3a05d8dfa71a.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\c82dcbe7-80db-4c78-9c40-111e0e5de3ba.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>Hence, z = w.</p><p>So, we can say that f and g have a unique common fixed point.</p><p>Remark 3.1. Theorem 3.1 also holds true if <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\8d554d24-693d-4d4b-bba0-4fad6ce680d4.png" xlink:type="simple"/></inline-formula> is replaced by<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\660c2fed-e61a-493e-9cb6-19833ce04f51.png" xlink:type="simple"/></inline-formula>.</p><p>Definition 3.2. Let (X, d) be a complex valued metric space, and let f, g: X→X. Then f is called a g-quasicontraction, if for some constant <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\772fc051-07ec-4ee2-8aa4-e14a51c465d8.png" xlink:type="simple"/></inline-formula> and for every x, y<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\a2a498ce-4e20-4eb7-a6ef-180a7f8d17a1.png" xlink:type="simple"/></inline-formula>X, there exists</p><p><img src="htmlimages\3-5300633x\6ff08af0-3094-4ca6-abad-1a03d13771a5.png" /></p><p>such that</p><p><img src="htmlimages\3-5300633x\62fe83f4-be73-410f-8486-52360836fb43.png" /></p><p>Theorem 3.2. Let f and g be two weakly compatible self mappings of a complex valued metric space (X, d) such that</p><p>(3.6) f is a g-quasi-contraction;</p><p>(3.7) f and g satisfy (CLRg) property.</p><p>Then f and g have a unique common fixed point.</p><p>Proof. Since f and g satisfy the (CLRg) property, there exists a sequence {x<sub>n</sub>} in X such that</p><p><img src="htmlimages\3-5300633x\a217fd54-56c6-4e2a-9091-63ca67a00c9d.png" /></p><p>We first claim that fx = gx. Suppose not. Since, f is a g-quasi-contraction, therefore</p><disp-formula id="scirp.44346-formula82222"><label>(3.8)</label><graphic position="anchor" xlink:href="htmlimages\3-5300633x\fa49ab45-d893-44e9-84f1-a0e0c435890b.png"  xlink:type="simple"/></disp-formula><p>for some <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\d686c3a0-5d98-4096-bf30-8ba215e0204e.png" xlink:type="simple"/></inline-formula></p><p>Following five cases arises:</p><p>i) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\fe225503-d122-4b33-81fb-67f6196c0274.png" xlink:type="simple"/></inline-formula>then by (3.8), we have</p><p><img src="htmlimages\3-5300633x\3c8230aa-45fe-47a4-bee7-449f3ff1fd72.png" /></p><p>taking limit as n→∞,we have</p><p><img src="htmlimages\3-5300633x\d919b755-acd0-4347-a921-0ca2c6b46ac3.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\7fe6bf57-b240-4b84-9fad-2f666b294131.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>ii) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\79964a79-1f70-4587-82d1-58ed2857579e.png" xlink:type="simple"/></inline-formula> then by (3.8), we have</p><p><img src="htmlimages\3-5300633x\63ebf51b-5d14-44da-9d51-22df57d53da4.png" /></p><p>taking limit as n→∞,we have</p><p><img src="htmlimages\3-5300633x\bec6656f-95b8-424b-8146-c521ef0f98fa.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\687966a2-671f-4f7c-b721-cac09ae8820f.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>iii) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\2d091abb-3f07-4278-848f-a85afb723828.png" xlink:type="simple"/></inline-formula> then by (3.8), we have</p><p><img src="htmlimages\3-5300633x\c82bd8d1-17ce-479c-923d-b6ac973ce1ee.png" /></p><p>taking limit as n→∞, we have</p><p><img src="htmlimages\3-5300633x\685ca1bf-563e-4db3-a3f9-31e60adcfcdc.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\c4a1bcc5-5f4d-45f6-8275-c0c1f7c0bac6.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>iv) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\a18b5319-e1c0-4953-9fa6-e727df9955e6.png" xlink:type="simple"/></inline-formula> then by (3.8), we have</p><p><img src="htmlimages\3-5300633x\fa475377-28a4-43f8-812c-c46cb21d717c.png" /></p><p>taking limit as n→∞,we have</p><p><img src="htmlimages\3-5300633x\f226aa68-0fa1-4412-8179-6a142196a5f0.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\e8c94b40-c3f7-4b3e-86d7-7d3e74ce1ceb.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>v) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\f73fa4c2-2b10-489e-a740-1602175a3add.png" xlink:type="simple"/></inline-formula> then by (3.8), we have</p><p><img src="htmlimages\3-5300633x\e1f110d5-0d14-41f2-a897-4c29dffb0234.png" /></p><p>taking limit as n→∞,we have</p><p><img src="htmlimages\3-5300633x\3aca17a8-7f1a-4c2a-992b-2a7e76defff0.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\d31992ae-4393-4227-a8a4-5e7147cfb82d.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>Thus from all fives possible cases, gx = fx.</p><p>Now, let z = fx = gx. Since f and g are weakly compatible mappings fgx = gfx which implies that fz = fgx = gfx = gz.</p><p>We claim that fz = z. Suppose not, then by (3.6), we have</p><disp-formula id="scirp.44346-formula82223"><label>(3.9)</label><graphic position="anchor" xlink:href="htmlimages\3-5300633x\f89dd5c2-9dde-40f6-8f84-f4e029e369ba.png"  xlink:type="simple"/></disp-formula><p>where</p><p><img src="htmlimages\3-5300633x\7ba87e37-3e85-4000-86a8-6e0664175e3f.png" /></p><p>Two cases arises:</p><p>i) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\b7ab634a-37da-4c1f-99d8-1a1218fc4a03.png" xlink:type="simple"/></inline-formula> then by (3.9), we have</p><p><img src="htmlimages\3-5300633x\ee9da549-ddf1-44b2-85f5-ea7f5ae873f3.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\8f26f864-11a5-4b71-a4da-6b0b8f79f06c.png" xlink:type="simple"/></inline-formula>a contradiction.</p><p>ii) If<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\a8df6caa-3bf1-48fe-8ccd-b55ddd15107c.png" xlink:type="simple"/></inline-formula>, then by (3.9), we have</p><p><img src="htmlimages\3-5300633x\ddcfa069-2d92-4e18-b002-c48945ff1014.png" /></p><p>which gives, <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\dce5b88f-6491-4eaf-9224-bc57be84f0ec.png" xlink:type="simple"/></inline-formula>a contradiction.</p><p>Thus, fz = z = gz.</p><p>Hence, z is a common fixed point of f and g.</p><p>For uniqueness, suppose that w is another common fixed point of f and g in X.</p><p>By (3.6), we have</p><disp-formula id="scirp.44346-formula82224"><label>(3.10)</label><graphic position="anchor" xlink:href="htmlimages\3-5300633x\152e04f9-d913-4b09-a3ca-e0f0638c783d.png"  xlink:type="simple"/></disp-formula><p>where</p><p><img src="htmlimages\3-5300633x\c36a2b62-0be1-4ac6-9c82-169fd5046a6e.png" /></p><p>Two possible cases arises:</p><p>i) If<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\9e895b79-e88e-4c4a-8d25-5de5dd703307.png" xlink:type="simple"/></inline-formula>, then by (3.9), we have</p><p><img src="htmlimages\3-5300633x\d19c9dfa-0f17-4a8f-a8e2-9a039a633fd9.png" /></p><p>which gives<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\7ba9b4d8-751d-4d7d-9cb2-93c78058b00d.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>ii) If <inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\11202555-b352-41ea-98d3-d211004557e2.png" xlink:type="simple"/></inline-formula> then by (3.9), we have</p><p><img src="htmlimages\3-5300633x\01f37c10-4c46-48a8-b7ea-cd79d6f5c052.png" /></p><p>which gives<inline-formula><inline-graphic xlink:href="tmlimages\3-5300633x\58f95c75-26e6-47b6-a2c3-ff4d24d21cb6.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>Hence, z = w i.e., f and g have a unique common fixed point.</p></sec><sec id="s4"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.44346-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Azam, A., Fisher, B. and Khan, M. (2011) Common Fixed Point Theorems in Complex Valued Metric Spaces. Numerical Functional Analysis and Optimization, 32, 243-253. http://dx.doi.org/10.1080/01630563.2011.533046</mixed-citation></ref><ref id="scirp.44346-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Sastry</surname><given-names> K.P.R.</given-names></name>,<name name-style="western"><surname> Naidu</surname><given-names> G.A. and Bekeshie</given-names></name>,<name name-style="western"><surname> T. </surname><given-names>  </given-names></name>,<etal>et al</etal>. (<year>2012</year>)<article-title>Metrizability of Complex Valued Metric Spaces and Remarks on Fixed Point Theorems in Complex Valued Metric Spaces</article-title><source> International Journal of Mathematical Archive</source><volume> 3</volume>,<fpage> 2686</fpage>-<lpage>2690</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.44346-ref3"><label>3</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Manro</surname><given-names> S. </given-names></name>,<etal>et al</etal>. (<year>2013</year>)<article-title>Some Common Fixed Point Theorems in Complex Valued Metric Spaces Using Implicit Relation</article-title><source> International Journal of Analysis and Applications</source><volume> 2</volume>,<fpage> 62</fpage>-<lpage>70</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.44346-ref4"><label>4</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Sintunavarat</surname><given-names> W. and Kumam</given-names></name>,<name name-style="western"><surname> P. </surname><given-names>  </given-names></name>,<etal>et al</etal>. (<year>2012</year>)<article-title>Generalized Common Fixed Point Theorems in Complex Valued Metric Spaces with Applications</article-title><source> Journal of Inequalities and Applications</source><volume> 1</volume>,<fpage> 1</fpage>-<lpage>12</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.44346-ref5"><label>5</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Verma</surname><given-names> R.K. and Pathak</given-names></name>,<name name-style="western"><surname> H.K. </surname><given-names>  </given-names></name>,<etal>et al</etal>. (<year>2012</year>)<article-title>Common Fixed Point Theorems Using Property (E.A) in Complex Valued Metric Spaces</article-title><source> Thai Journal of Mathematics</source><volume> 11</volume>,<fpage> 347</fpage>-<lpage>355</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.44346-ref6"><label>6</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Jungck</surname><given-names> G. and Rhoades</given-names></name>,<name name-style="western"><surname> B.E. </surname><given-names>  </given-names></name>,<etal>et al</etal>. (<year>1998</year>)<article-title>Fixed Point for Set Valued Functions without Continuous</article-title><source> Indian Journal of Pure and Applied Mathematics</source><volume> 29</volume>,<fpage> 227</fpage>-<lpage>238</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.44346-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Sintunavarat, W. and Kumam, P. (2011) Common Fixed Point Theorems for a Pair of Weakly Compatible Mappings in Fuzzy Metric Spaces. Journal of Applied Mathematics, 2011, Article ID: 637958.</mixed-citation></ref></ref-list></back></article>