Dear Label_Name,

Greetings! I hope you are well.

I am writing on behalf of an international publishing house, Science and Education Publishing, USA (http://www.sciepub.com).

Science and Education Publishing (SciEP) is a multidisciplinary open access publisher of Journals covering the fields of Science, Technology and Medicine. All SciEP publications are subject to high-quality peer review, editorial and production processes and are freely available online.

Welcome to the April, 2013 edition of SciEP newsletter, providing monthly summaries of articles on science & education related topics of interest to scientist and professionals. The mission of our journals is to provide an open access forum for publishing new findings on issues pertinent to scientific and academic field. We also invite you to submit original research papers, review articles, short reports, or case studies are considered for publication in our Multidisciplinary Journals.

American Journal of Public Health Research
DOI: 10.12691/ajphr-1-1-3

The Implementation of a Tele-Homecare System with Service Oriented Architecture and HL7 Message Transmission Standard
Ching-Sung Wang

American Journal of Medical and Biological Research
DOI: 10.12691/ajmbr-1-1-2

The Influence of Ethanol on Pyruvate Kinases Activity in Vivo, in Vitro, in Silico
Lelevich Sergey Vladimirovich, Khrustalev Vladislav Victorovich, Barkovsky Eugene Victorovich, Shedogubova Tatyana Aleksandrovna

American Journal of Medical Sciences and Medicine
DOI: 10.12691/ajmsm-1-1-1

Clinical and Histological Features in Wegener Granulomatosis
Li Cavoli Gioacchino, Passantino Rita, Bono Luisa, Tortorici Calogera, Ferrantelli Angelo, Giammarresi Carlo, Rotolo Ugo

American Journal of Infectious Diseases and Microbiology
DOI: 10.12691/ajidm-1-1-2

The Curse of Lymphatic Filariasis: Would the Continual Use of Diethylcarbamazine Eliminate this Scourge in Papua New Guinea?
Anne Lanham, Lillian Mwanri

We have released issues of some journals on February 2013.
American Journal of Public Health Research
American Journal of Medical Sciences and Medicine
American Journal of Medical and Biological Research
American Journal of Pharmacological Sciences
American Journal of Clinical Medicine Research
American Journal of Nursing Research
American Journal of Cancer Prevention
American Journal of Medicine Studies
American Journal of Infectious Diseases and Microbiology
American Journal of Cardiovascular Disease Research
American Journal of Biomedical Research
American Journal of Mechanical Engineering
American Journal of Microbiological Research
Journal of Preventive Medicine
American Journal of Food and Nutrition
American Journal of Hypertension Research
American Journal of Sports Science and Medicine
Journal of Cancer Research and Treatment
American Journal of Zoological Research
Journal of Biomedical Engineering and Technology
American Journal of Microbiological Research
Biomedical Science and Engineering

We are pleased to announce that submissions are now being accepted for peer review for all the journals across all our subject areas in SciEP.

Please submit your manuscript via our online submission system:
http://www.sciepub.com/author/signin

To unsubscribe from our mailing list, please click on the following link: unsubscribe

I am looking forward to hearing from you.

Kind regards,

David Rain
Email:join@sciepub.com
Science and Education Publishing (http://www.sciepub.com)

A New Approach to Fixed Point Theorems on a Metric Space Endowed with Graph

R. Hemavathy, R. Om Gayathri*

Department of Mathematics, Meenakshi College for Women (Affiliated to University of Madras), Chennai, Tamil Nadu, India

Abstract: In this paper, a new approach has been discussed to define the graph associated with the metric space and the iteration function is used to define its sub-graph. Subsequently, the fixed point theorems by Banach, Kannan, Chatterjea and Ciric are obtained using this new approach.

Keywords: fixed point, iterated function, graph, sub-graph, w-sequence

Received September 17, 2022; Revised October 21, 2022; Accepted October 30, 2022

Citation: R. Hemavathy, R. Om Gayathri, A New Approach to Fixed Point Theorems on a Metric Space Endowed with Graph. American Journal of Applied Mathematics and Statistics, 10 (3). 69-75. January 2022. doi:10.12691/ajams-10-3-1

1. Introduction

Banach [1] laid the foundation for the study of metric fixed point theory which instilled the interest of many mathematicians to develop results which had applications in mathematics as well as other branches of science. The contraction condition of the mapping in the Banach fixed point theorem was modified and some interesting results were exhibited by Kannan [2], Chatterjea [3], Ciric [4], Edelstein [5] to name a few. New results were obtained by studying fixed point theorems for different types of mappings such as multi-valued mappings [6], α-ψ - contractive mappings [7], (α,β)-(ψ,φ)-contractive mappings [8] in metric spaces. In the recent works of [9-15] new ideas were explored for these mappings in the setting of different metric spaces such as b-metric space, rectangular b-metric space , S-metric space.

Graph theoretical approach in Fixed point theory was initiated by the work of Espinola and Kirk [16] in the year 2006. Jachymski [17] took the lead by defining the graph associated with the metric space and subsequently proving results pertaining to the fixed point theorems on the metric space endowed with graph. He coined the term Banach G-contraction meaning Banach contraction on a metric space endowed with graph. His work invoked the interest of many to study fixed point theorems on various metric spaces endowed with graph. This led to a series of papers [18-27] in which different contraction principles has been proved in this background.

The concept of graphical metric space was introduced by Shukla, Radenovic and Vetro in their work [28] in the year 2017. In this paper, a new metric was defined for the metric space using graphs. The concept of convergence of a sequence and Cauchy sequence was studied in the context of graphical metric space and this was further extended to rectangular b-metric space in the year 2019 [29].

In the work done previously by many authors in the study of fixed point theorems on metric spaces endowed with graph, the graph was defined by taking the vertex set as the set X and the edge set contained the diagonal of the Cartesian product X x X, i.e. the graph was assumed to have loops at each and every vertex. In the present paper, the graph associated with the metric space contains edges joining a point with its image. Hence if the graph has a loop at a particular vertex, then that vertex is the fixed point of the mapping under consideration. To prove the various contraction principles, a sub-graph of the above graph is defined using the iterated function. The graph defined above is a weighted graph where the weights are the distance between the points. A sequence named as w-sequence is defined corresponding to the sequence of the edges of the sub-graph. The contraction principles by Banach [1], Kannan [2], Chatterjea [3] and Ciric [4] are proved using this approach on metric spaces endowed with graph.

2. Preliminaries

Let (X,d) be a metric space. In the following three sections the basic concepts related to sequences, definition of Graph and sub-graph, results connected with fixed points are exhibited.

2.1. Sequences

Definition 2.1.1. A sequence in the metric space (X,d) is said to be convergent if for a given ϵ>0 there exists such that

Definition 2.1.2. A sequence in the metric space (X,d) is said to be Cauchy if for every ϵ>0 there exists such that

Definition 2.2.3. A sequence in the metric space (X,d) is said to be monotone if either (non-decreasing) or (non-increasing).

Theorem 2.1.1 (Monotone Convergence theorem). If a sequence is monotone and is bounded then it converges.

2.2. Graphs

Definition 2.2.1 [30]. A graph G is an ordered pair (V, E) where V is the set of points called as vertices and E is the set of lines called as edges.

Definition 2.2.2 [30]. A Graph is called a sub-graph of if and

Definition 2.2.3. [30]. A weighted graph is a simple graph that has a number, termed as weight, associated with each of its edges. Hence a weighted graph consists of a vertex set, edge set together with the weights for each of its edges.

Definition 2.2.4 [30]. An edge of a graph G is called a loop if its initial vertex and terminal vertex are the same.

2.3. Fixed Point Theorems

Definition 2.3.1 [1]. A mapping T: X→X is said to be a contraction if there exists a real number α such that 0≤α<1 and d(Tx,Ty)≤αd(x,y).

Defintion 2.3.2 [2]. Let (X,d) be a metric space. A mapping T: X→X is called a Kannan mapping if there exists such that:

Definition 2.3.3 [3]. Let (X,d) be a metric space. A mapping T:X→X is called a Chatterjea mapping if there exists such that:

Definition 2.3.4 [4]. Let (X,d) be a metric space. A mapping T:X→X is said to be a λ-generalized contraction if and only if for every x, y ε X there exist non-negative numbers q(x,y), r(x,y), s(x,y) and t(x,y) such that

and

holds for every x,y ε X.

Definition 2.3.5 [4]. Let (X,d) be a metric space. A mapping T:X→X is said to be T-orbitally complete if every Cauchy sequence has a limit point in X.

Definition 2.3.6 [4]. Let (X,d) be a metric space. A mapping T:X→X is said to be T-orbitally continuous if for such that for some we have

Theorem 2.3.1 [4]. Let T be a λ-generalized contraction of T-orbitally complete metric space X into itself. Then

i) There is in X a unique fixed point u under T,

ii) for every x ε X and

iii)

3. Main Result

Let (X,d) be a metric space. Let T: X→X. We now define the graph associated with the metric space as below:

Definition 3.1. Let (X,d) be a metric space. Let T: X→X. Define a weighted graph G associated with X as below: Let G=(V,E) where V=X and E={(x,Tx)/x ε X}. The weights of the edges are the distance between the endpoints of the edges. Now (X,d) becomes a metric space endowed with the graph G.

Definition 3.2. The sub-graph of G is defined as below:

Let be any arbitrary point of X. Let where and let

Then and . Hence is a sub-graph of G.

Definition 3.3. Let (X,d) be a metric space endowed with the graph G. Let be the sub-graph of G defined as in Definition 3.2. Let . Then the sequence is called the w-sequence of real numbers associated with the graph

Example 3.1 Let X={0,1,2,3}. The metric on X is defined as d(x,y)=|x-y|, x, y ε X. Let T: X→X be defined as below:

Following is the the graph associated with X defined as in Definition 3.1. G=(V,E) where V={0,1,2,3}, E={(0,0),(1,0),(2,0),(3,1)}.

Figure 3.1. The Graph G associated with X

The sub-graph corresponding to every element of X and the w-sequence in each case are illustrated below:

Case (i):

Let

where

Figure 3.2. Graph G₀ corresponding to the point y₀=0

The w-sequence in this case is as follows:

Case(ii):

Let

where

Figure 3.3. Graph G₀ corresponding to the point y₀=1

The w-sequence in this case is given by

Case (iii):

Let

where

Figure 3.4. Graph G₀ corresponding to the point y₀=2

The w-sequence in this case is given below:

Case (iii):

Let

where

Figure 3.5. Graph G₀ corresponding to the point y₀=3

The w-sequence in this case is given as below:

The following two lemmas are useful in proving the fixed point theorems on the metric space (X,d) endowed with the graph G.

Lemma 3.1. Let (X,d) be a metric space and let T:X→X. Let G be graph associated with X. Let be any arbitrary point of X. Let be the sub-graph of G defined as in Definition 3.2. Then the sequence is Cauchy if and only if the w-sequence associated with the graph is non-increasing.

Proof. Suppose the w-sequence associated with the graph is non-increasing. Then

i.e the w-sequence, being the sequence of the length of the edges between the terms of the sequence is a sequence of non-negative real numbers bounded below by zero. Hence by Theorem 2.1.1, the w-sequence is convergent. This implies the terms of the sequence are closer as n approaches infinity. i.e. the iterated sequence is Cauchy.

Lemma 3.2. Let (X,d) be a metric space. Let T: X→X. Let G be the graph associated with X. The point of X is a fixed point of T if and only if the graph G has a loop at

Proof. Let be the fixed point of T. Then According to the Definition 3.1 of G, i.e. has a loop at

We now proceed to prove the Fixed point theorems by Banach, Kannan, Chatterjea and λ-generalized contraction by Ciric on a metric space (X,d) endowed with Graph G.

Theorem 3.1. Let (X,d) be a complete metric space and let T: X→X be a contraction on X. Let G be the graph associated with X. Then T has a unique fixed point

Proof. Let be any arbitrary point of X. The graph G and its sub-graph are defined as in Definition 3.1 and Definition 3.2. Consider the iterated sequence in X. According to Lemma 3.1, to prove that this sequence is Cauchy, it is enough to prove that the w-sequence associated with the graph is non-increasing.

Since T is a contraction on X we have,

i.e. with

Hence the w-sequence associated with is non-increasing. This implies, from Lemma 3.1, the iterated sequence is Cauchy. But X is complete. Hence this sequence converges to say, in X. The mapping T being a contraction is continuous. Hence the sequence converges to But the sequence is a subsequence of the sequence Hence the subsequence must have the same limit as the parent sequence. But the limit of a sequence is unique. Hence we must have This implies i.e. G has a loop at Hence by Lemma 3.2, is a fixed point of T.

To prove uniqueness, let if possible, be any other fixed point of T. Then

Since T is a contraction on X, we have,

which is a contradiction. Hence the fixed point of T is unique.

Theorem 3.2. Let (X,d) be a complete metric space. Let T: X→X and let G be the graph associated with X. If T satisfies

[picture] | (1)

for all x, y ε X, where then T has a unique fixed point.

Proof. Let be any arbitrary point of X. The graph G and its sub-graph are defined as in Definition 3.1 and Definition 3.2. Consider the iterated sequence in X. According to Lemma 3.1, to prove that this sequence is Cauchy, it is enough to prove that the w-sequence associated with the graph is non-increasing.

From (1) we have,

Hence the w-sequence associated with is non-increasing. From Lemma 3.1, the iterated sequence is a Cauchy sequence in X. But X is complete. Therefore this sequence converges in X. Let

Consider

Allow n→∞ on both sides. Then we have,

Hence

i.e. is a fixed point of T.

To prove uniqueness, let if possible, be any other fixed point of T. Then

From (1) we have,

where

This implies

Hence the fixed point of T is unique.

Theorem 3.3. Let (X,d) be a complete metric space. Let T: X→X and let G be the graph associated with X. If T satisfies

[picture] | (2)

for all x, y ε X , where then T has a unique fixed point.

Proof. Let be any arbitrary point of X. The graph G and its sub-graph are defined as in Definition 3.1 and Definition 3.2. Consider the iterated sequence in X. According to Lemma 3.1, to prove that this sequence is Cauchy, it is enough to prove that the w-sequence associated with the graph is non-increasing.

From (2) we have,

Hence the w-sequence associated with is non-increasing. From Lemma 3.1 the iterated sequence is a Cauchy sequence in X. But X is complete. Therefore this sequence converges in X. Let

Consider

Allow n→∞ on both sides. Then we have,

Hence

i.e. is a fixed point of T.

To prove uniqueness, let if possible, be any other fixed point of T. Then

From (2) we have,

where

⇒ This is a contradiction.

Hence i.e the fixed point of T is unique.

Following theorem is the fixed point theorem for λ-generalized contraction in a metric space endowed with a graph G.

Theorem 3.4. Let T be a λ-generalized contraction of T-orbitally complete metric space (X,d) into itself. Let G be the graph associated with X. Then

i) There is a unique fixed point in X,

ii) for every and

iii)

Proof. Let be any arbitrary point in X. Consider the iterated sequence in X. Define Hence we have The graph G and its sub-graph are defined as in Definition 3.1 and Definition 3.2. According to Lemma 3.1, to prove that the iterated sequence is Cauchy, it is enough to prove that the w-sequence associated with the graph is non-increasing.

Since T is a λ-generalized contraction we have,

From Definition 2.3.4, we have,

⇒

Using this in (3) we have,

(A)

From Definition 3.3,

Using this in (A) we have,

Hence the w-sequence is non-increasing and this implies the iterated sequence is Cauchy in X. But X is complete. Therefore the iterated sequence converges to say, in X.

i.e.

[picture] | (4)

This proves the condition (ii) of the theorem.

Now to prove that is the fixed point of T.

Since T is a λ-generalized contraction we have,

From Definition 2.3.4 we have,

This implies each of the non-negative numbers q(x,y),r(x,y),s(x,y),t(x,y) must be less than λ.

Hence we have,

Using (4) we have, Hence G has a loop at

Therefore is the fixed point of T and condition (i) of the theorem is proved.

To prove uniqueness, let if possible, be any other fixed point of T. Then

Since T is a λ-generalized contraction we have,

Since we have,

Hence the fixed point of T is unique and the condition (i) of the theorem is proved.

We now proceed to prove the condition (iii) of the theorem.

From Definition 2.3.4 we have,

Since λ<1 we have,

Using this in (3) we have,

i,e.

Repeating this argument we have,

Hence for some positive integer p, we have,

Allow n+p→∞ then we have,

Hence the condition (iii) of the theorem is also proved.

4. Conclusion

In this paper, the graph associated with the metric space is defined using a new approach and a sequence corresponding to the weights of the edges of the graph, namely w-sequence is defined. Using this sequence, the sequence of iterated functions is proved to be Cauchy. This methodology is followed for proving the contraction principles by Banach, Kannan, Chatterjea and λ-generalized contraction by Ciric. This approach can be used in proving the other contraction principles also.

References

[1]   | Banach S., “Sur les operations dans les ensembles abstraits et leurs applications aux equations integrales,” Fund. Math, 3, 133-181, 1922.
[2]   | Kannan R, “Some results on fixed points,” Bull.Calcutta.Math.Soc., 10, 71-76, 1968.
[3]   | Chatterjea S K., “Fixed-point theorems”, C. R. Acad. Bulgare Sci., 25, 727-730, 1972.
[4]   | Ćirć Lj., “Generalized Contractions and fixed-point theorems,” Publications De L’institut Mathematique, 26, 19-26, 1971.
[5]   | E delstein, M. “An extension of Banach contraction principle”, Proc. Am. Math. Soc., 12, 7-10, 1961.
[6]   | S. B. Nadler Jr., “Multi-valued contraction mappings,” Pacific Journal of Mathematics, Vol. 30, no. 2, pp. 475-488, 1969.
[7]   | B. Samet, C. Vetro, P. Vetro,” Fixed point theorems for α-ψ-contractive type mappings”, Nonlinear Anal. 75 (4), 2154-2165, 2012.
[8]   | S. Alizadeh, F. Moradlou, P. Salimi, “Some fixed point results for (α, β)-(ψ, φ)-contractive mappings”, Filomat, 28, 635-647, 2014.
[9]   | M. Bina Devi, N. Priyobarta and Yumnam Rohen, “Fixed point Theorems for ((α,β)-(φ,ψ))-Rational contractive Type Mappings”, J. Math. Comput. Sci., 11, No. 1, 955-969, 2021.
[10]   | M. Bina Devi, Bulbul Khomdram and Yumnam Rohen, “Fixed point theorems of generalised alpha-rational contractive mappings on rectangular b-metric spaces”, J. Math. Comput. Sci. 11, No. 1, 991-1010, 2021.
[11]   | Bulbul Khomdram, N. Priyobarta, Yumnam Rohen and Thounaojam Indubala, “Remarks on (α, β)- Admissible Mappings and Fixed Points under Z-Contraction Mappings”, Journal of Mathematics, Volume 2021, Article ID 6697739, 10 pages.
[12]   | Moirangthem Kuber Singh, Thounaojam Stephen, Konthoujam, Sangita Devi, Yumnam Rohen, “New generalized rational α*- contraction for multivalued mappings in b-metric space”, J. Math. Comput. Sci., 12:87, 2022.
[13]   | Shanu Poddar and Yumnam Rohen,” Generalised Rational αs-Meir-Keeler Contraction Mapping in S-metric Spaces”, American Journal of Applied Mathematics and Statistics, Vol. 9, No. 2, 48-52, 2021.
[14]   | Thounaojam Stephen, Yumnam Rohen, “Fixed points of generalized rational (α, β, Z)-contraction mappings under simulation functions”, J. Math. Computer Sci., 24, 345-57, 2022
[15]   | Tonjam Thaibema, Yumnam Rohen, Thounaojam Stephen, Oinam Budhichandra Singh,” Fixed points of rational F-contractions in S-metric spaces”, J. Math. Comput. Sci., 12:153, 2022.
[16]   | Espinola R and Kirk W A, “Fixed point theorems in R-trees with applications to graph theory,” Top.Appl., 153,1046-1055, 2006.
[17]   | Jachymski J, “The contraction principles for mappings on a metric space with a graph,” Proc.Amer.Math.Soc.136, (4), 1359-1373, 2008.
[18]   | Aleomraninejad S.M.A., Rezapour Sh. and Shahzad N., “Some fixed point results on a metric space with a graph”, Topology and its Applications, 159, 659-663, 2012.
[19]   | Balog L. and Berinde V., “Fixed point theorems for nonself Kannan type contractions in Banach spaces endowed with a graph,” Carpathian J.Math, 32, 293-302, 2016.
[20]   | Bega I., Butt A.R. and Radojevic S., “The contraction principle for set valued mappings on a metric space with a graph,” Comput.Math.Appl , 60, 1214-1219, 2010.
[21]   | Berinde V. and Pacurar M., “The contraction principle for nonself mappings on Banach spaces endowed with a graph,” J.Nonlinear Convex Anal , 16, 1925-1936, 2015.
[22]   | Bojor F, “Fixed point of φ-contraction in metric spaces endowed with graph,” Ann.Univ Craiova Math.Comput.Sci. Ser., 37 (4), 85-92, 2010.
[23]   | Bojor F., “Fixed points of Kannan mappings in metric spaces endowed with a graph,” An.Stiint Univ. “Ovidius” Constanta Ser.Mat., 20(1), 31-40, 2012.
[24]   | Chifu C.I. and Petrusal G.R., “Generalized contractions in metric spaces endowed with a graph”, Fixed point theory and Applications, 1, 1-9, 2012.
[25]   | Fallahi K. and Aghanianas A., “On quasi-contractions in metric spaces with a graph,” Hacettepe J. Math and Statistics, 45 (4), 1033-1047, 2016.
[26]   | Nicolae A,O’Regan D. and Petrusal A., “Fixed point theorems for single valued and multivalued Generalized contractions in metric spaces endowed with a graph,” Georgian Math. J., 2, 307-327, 2011.
[27]   | Samreen M., Kannan T., and Shahzad., “Some fixed point theorems in b-metric spaces endowed with a graph,” Abstr.Appl.Anal. , Article ID 967132 , 2013.
[28]   | Shukla S, Radenovic S and Vetro C., “Graphical Metric Space-A generalized setting in fixed point theory,” Rev.Real Acad.Cienc.Ser .A.Mat., 111, 641-655, 2017.
[29]   | Younis M., Singh D. and Goyal A., “A novel approach of graphical rectangular b-metric spaces with an application to the vibrations of a heavy hanging cable,” J. Fixed point theory Appl., 21, 2019.
[30]   | Bondy J.A. and Murty U.S.R., Graph theory, Springer, New York, (2008).