This document summarizes a research paper that proves some new fixed point theorems for generalized weakly contractive mappings in ordered partial metric spaces. The paper extends previous theorems proved by Nashine and Altun in 2017. It presents definitions of partial metric spaces and properties. It proves a new fixed point theorem (Theorem 2.1) for nondecreasing mappings on ordered partial metric spaces that satisfy a generalized contractive condition. The theorem shows the mapping has a fixed point and the partial metric of the fixed point to itself is 0. It uses properties of partial metrics, contractive conditions and continuity to prove the sequence generated by iterating the mapping is Cauchy and converges.
International Journal of Mathematics and Statistics Invention (IJMSI) inventionjournals
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
International Journal of Mathematics and Statistics Invention (IJMSI) inventionjournals
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Some properties of two-fuzzy Nor med spacesIOSR Journals
The study sheds light on the two-fuzzy normed space concentrating on some of their properties like convergence, continuity and the in order to study the relationship between these spaces
In this paper we study on contribution of fixed point theorem in Metric spaces and Quasi Metric spaces.
Key words: Metric space, Contraction Mapping, Fixed point Theorem, Quasi Metric Space, p-Convergent, p-orbit ally continuous.
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappingsiosrjce
Som [11 ] establishes a common fixed point theorem for R-weakly Commuting mappings in a Fuzzy
metric space.The object of this Paper is to prove some fixed point theorems for occasionally Weakly compatible
mappings by improving the condition of Som[11 ].
Fixed points of contractive and Geraghty contraction mappings under the influ...IJERA Editor
In this paper, we prove the existence of fixed points of contractive and Geraghty contraction maps in complete metric spaces under the influence of altering distances. Our results extend and generalize some of the known results.
Common Fixed Point Theorems in Uniform SpacesIJLT EMAS
In the process of generalization of metric spaces to
Topological spaces, a few aspects of metric spaces are lost.
Therefore, the requirement of generalization of metric spaces
leads to the theory of uniform spaces. Uniform spaces stand
somewhere in between metric spaces and general topological
spaces. Khan[6] extended fixed point theorems due to Hardy and
Rogers[2], Jungck[4] and Acharya[1] in uniform space by
obtaining some results on common fixed points for a pair of
commuting mappings defined on a sequentially complete
Hausdorff uniform space. Rhoades et. al.[7] generalized the
result of Khan[6] by establishing a general fixed point theorem
for four compatible maps in uniform space .
In this paper, a common fixed point theorem in
uniform spaces is proved which generalizes the result of Khan[6]
and Rhoades et al.[7] by employing the less restrictive condition
of weak compatibility for one pair and the condition of
compatibility for second pair, the result is proved for six selfmappings.
Trabalho realizado com o grupo do Projeto Turismo no Vale. Ana Cleide, Adir Magno, Elvira Nascimento e Mario Carvalho.
Entrando no túnel do cooperativismo - “Cultcoop não é trabalho comportamental. É um processo
e tarefa de caminhar juntos e transformar a cultura.”
Divisão de grupos de trabalho: Organização
Tempo
Mobilização
Boas-vindas
Registro de atividades.
Some properties of two-fuzzy Nor med spacesIOSR Journals
The study sheds light on the two-fuzzy normed space concentrating on some of their properties like convergence, continuity and the in order to study the relationship between these spaces
In this paper we study on contribution of fixed point theorem in Metric spaces and Quasi Metric spaces.
Key words: Metric space, Contraction Mapping, Fixed point Theorem, Quasi Metric Space, p-Convergent, p-orbit ally continuous.
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappingsiosrjce
Som [11 ] establishes a common fixed point theorem for R-weakly Commuting mappings in a Fuzzy
metric space.The object of this Paper is to prove some fixed point theorems for occasionally Weakly compatible
mappings by improving the condition of Som[11 ].
Fixed points of contractive and Geraghty contraction mappings under the influ...IJERA Editor
In this paper, we prove the existence of fixed points of contractive and Geraghty contraction maps in complete metric spaces under the influence of altering distances. Our results extend and generalize some of the known results.
Common Fixed Point Theorems in Uniform SpacesIJLT EMAS
In the process of generalization of metric spaces to
Topological spaces, a few aspects of metric spaces are lost.
Therefore, the requirement of generalization of metric spaces
leads to the theory of uniform spaces. Uniform spaces stand
somewhere in between metric spaces and general topological
spaces. Khan[6] extended fixed point theorems due to Hardy and
Rogers[2], Jungck[4] and Acharya[1] in uniform space by
obtaining some results on common fixed points for a pair of
commuting mappings defined on a sequentially complete
Hausdorff uniform space. Rhoades et. al.[7] generalized the
result of Khan[6] by establishing a general fixed point theorem
for four compatible maps in uniform space .
In this paper, a common fixed point theorem in
uniform spaces is proved which generalizes the result of Khan[6]
and Rhoades et al.[7] by employing the less restrictive condition
of weak compatibility for one pair and the condition of
compatibility for second pair, the result is proved for six selfmappings.
Trabalho realizado com o grupo do Projeto Turismo no Vale. Ana Cleide, Adir Magno, Elvira Nascimento e Mario Carvalho.
Entrando no túnel do cooperativismo - “Cultcoop não é trabalho comportamental. É um processo
e tarefa de caminhar juntos e transformar a cultura.”
Divisão de grupos de trabalho: Organização
Tempo
Mobilização
Boas-vindas
Registro de atividades.
https://utilitasmathematica.com/index.php/Index
Utilitas Mathematica journal that publishes original research. This journal publishes mainly in areas of pure and applied mathematics, statistics and others like algebra, analysis, geometry, topology, number theory, diffrential equations, operations research, mathematical physics, computer science,mathematical economics.And it is official publication of Utilitas Mathematica Academy, Canada.
Existance Theory for First Order Nonlinear Random Dfferential Equartioninventionjournals
In this paper, the existence of a solution of nonlinear random differential equation of first order is proved under Caratheodory condition by using suitable fixed point theorem. 2000 Mathematics Subject Classification: 34F05, 47H10, 47H4
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)IJERA Editor
This paper presents some common fixed point theorems for weakly compatible mappings via an implicit relation in Fuzzy Menger spaces satisfying the common property (E.A)
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...mathsjournal
In this paper, we give some new definition of Compatible mappings of type (P), type (P-1) and type (P-2) in intuitionistic generalized fuzzy metric spaces and prove Common fixed point theorems for six mappings
under the conditions of compatible mappings of type (P-1) and type (P-2) in complete intuitionistic fuzzy
metric spaces. Our results intuitionistically fuzzify the result of Muthuraj and Pandiselvi [15]
Mathematics subject classifications: 45H10, 54H25
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...mathsjournal
In this paper, we give some new definition of Compatible mappings of type (P), type (P-1) and type (P-2) in intuitionistic generalized fuzzy metric spaces and prove Common fixed point theorems for six mappings under the conditions of compatible mappings of type (P-1) and type (P-2) in complete intuitionistic fuzzy metric spaces. Our results intuitionistically fuzzify the result of Muthuraj and Pandiselvi [15]
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...mathsjournal
In this paper, we give some new definition of Compatible mappings of type (P), type (P-1) and type (P-2) in intuitionistic generalized fuzzy metric spaces and prove Common fixed point theorems for six mappings under the conditions of compatible mappings of type (P-1) and type (P-2) in complete intuitionistic fuzzy metric spaces.
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...mathsjournal
In this paper, we give some new definition of Compatible mappings of type (P), type (P-1) and type (P-2) in intuitionistic generalized fuzzy metric spaces and prove Common fixed point theorems for six mappings under the
conditions of compatible mappings of type (P-1) and type (P-2) in complete intuitionistic fuzzy metric spaces. Our results intuitionistically fuzzify the result of Muthuraj and Pandiselvi [15]
Mathematics subject classifications: 45H10, 54H25
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Propertyinventionjournals
The object of this paper is to establish a common fixed point theorem for semi-compatible pair of self maps by using CLRg Property in fuzzy metric space.
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastavaBIOLOGICAL FORUM
ABSTRACT: In this paper our works establish a new fixed point theorem for a different type of mapping in complete fuzzy metric space. Here we define a mapping by using some proved results and obtain a result on the actuality of fixed points. We inspired by the concept of Hossein Piri and Poom Kumam [15]. They introduced the fixed point theorem for generalized F-suzuki -contraction mappings in complete b-metric space. Next Robert plebaniak [16] express his idea by result “New generalized fuzzy metric space and fixed point theorem in fuzzy metric space”. This paper also induces comparing of the outcome with existing result in the literature.
Keywords: Fuzzy set, Fuzzy metric space, Cauchy sequence Non- decreasing sequence, Fixed point, Mapping.
Similar to Unique fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces (20)
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
PHP Frameworks: I want to break free (IPC Berlin 2024)Ralf Eggert
In this presentation, we examine the challenges and limitations of relying too heavily on PHP frameworks in web development. We discuss the history of PHP and its frameworks to understand how this dependence has evolved. The focus will be on providing concrete tips and strategies to reduce reliance on these frameworks, based on real-world examples and practical considerations. The goal is to equip developers with the skills and knowledge to create more flexible and future-proof web applications. We'll explore the importance of maintaining autonomy in a rapidly changing tech landscape and how to make informed decisions in PHP development.
This talk is aimed at encouraging a more independent approach to using PHP frameworks, moving towards a more flexible and future-proof approach to PHP development.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
Search and Society: Reimagining Information Access for Radical FuturesBhaskar Mitra
The field of Information retrieval (IR) is currently undergoing a transformative shift, at least partly due to the emerging applications of generative AI to information access. In this talk, we will deliberate on the sociotechnical implications of generative AI for information access. We will argue that there is both a critical necessity and an exciting opportunity for the IR community to re-center our research agendas on societal needs while dismantling the artificial separation between the work on fairness, accountability, transparency, and ethics in IR and the rest of IR research. Instead of adopting a reactionary strategy of trying to mitigate potential social harms from emerging technologies, the community should aim to proactively set the research agenda for the kinds of systems we should build inspired by diverse explicitly stated sociotechnical imaginaries. The sociotechnical imaginaries that underpin the design and development of information access technologies needs to be explicitly articulated, and we need to develop theories of change in context of these diverse perspectives. Our guiding future imaginaries must be informed by other academic fields, such as democratic theory and critical theory, and should be co-developed with social science scholars, legal scholars, civil rights and social justice activists, and artists, among others.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Key Trends Shaping the Future of Infrastructure.pdfCheryl Hung
Keynote at DIGIT West Expo, Glasgow on 29 May 2024.
Cheryl Hung, ochery.com
Sr Director, Infrastructure Ecosystem, Arm.
The key trends across hardware, cloud and open-source; exploring how these areas are likely to mature and develop over the short and long-term, and then considering how organisations can position themselves to adapt and thrive.
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Tobias Schneck
As AI technology is pushing into IT I was wondering myself, as an “infrastructure container kubernetes guy”, how get this fancy AI technology get managed from an infrastructure operational view? Is it possible to apply our lovely cloud native principals as well? What benefit’s both technologies could bring to each other?
Let me take this questions and provide you a short journey through existing deployment models and use cases for AI software. On practical examples, we discuss what cloud/on-premise strategy we may need for applying it to our own infrastructure to get it to work from an enterprise perspective. I want to give an overview about infrastructure requirements and technologies, what could be beneficial or limiting your AI use cases in an enterprise environment. An interactive Demo will give you some insides, what approaches I got already working for real.
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf91mobiles
91mobiles recently conducted a Smart TV Buyer Insights Survey in which we asked over 3,000 respondents about the TV they own, aspects they look at on a new TV, and their TV buying preferences.
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf
Unique fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces
1. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
www.iiste.org
Unique Fixed Point Theorems for Generalized Weakly
Contractive Condition in Ordered Partial Metric Spaces
RajeshShrivastava1,Sudeep Kumar Pandey2,Ramakant Bhardwaj3,R.N.Yadav4
1.Govt. Science and Commerce College, Benazir, Bhopal (M.P.)India
2.Millennium Group of Institution, Bhopal (M.P.)India
3.Truba Institute of Technology and Science, Bhopal (M.P.)India
4.Patel Group of Institutions, Bhopal (M.P.)India
Abstract
The aim of this paper to prove some fixed point theorems for generalized weakly contractive condition in
ordered partial metric spaces. The result extend the main theorems of Nashine and altun[17] on the class of
ordered partial metric ones.
Keywords: - Partial metric, ordered set, fixed point, common fixed point.
AMS subject classification: - 54H25, 47H10, 54E50
Introduction and preliminaries
The concept of partial metric space was introduced by Methuews [16] in 1994.In such spaces the distance of a
point to itself may not be zero. Specially from the point of sequences, a convergent sequence need not have
unique limit. Methuews [16] extended the well known Banach contraction principle to complete partial metric
spaces. After that many interesting fixed point results were established in such spaces. In this direction we refer
the reader to Velero[21]. Oltra and Velero[23]. Altun et at[4]. Ramaguera[24]. Altun and Erduran[2] and
Aydi[6,7,8].
First we recall some definitions and properties of
partial metric spaces [see 2, 4, 16, 22,23,24,25 for more details]
Definition 1.1:- A partial metric on non empty set X is a function
p: X × X →
+
such that for all
x, y , z ∈ X .
( p1 ) x = y ⇔ p ( x, y) = p(x, y) = p ( y, y)
( p2 ) p(x, x) ≤ p(x, y)
? p3 ) p(x, y) = p( y, x)
(
( p4 ) p(x, y) ≤ p(x, x) + p( z, y) − p( z, z)
A partial metric space is a pair (X, p ) such that X is a non-empty set and p is a partial metric on X.
Remarks 1.2:- It is clear that if p ( x , y ) = 0 , then from (p1) and (p2).
? = y But if x = y , p ( x , y ) may not be 0. A basic example of a partial metric space is the pair
x
(
+
, p ) where p ( x, y ) = max{ x, y} for all x, y ∈
+
Each partial metric p on X generates a T0 topology τp on X which has a base the family of open p-balls
{Bp ( x, ε ), x ∈ X , ε > 0}
Where
? p ( x ε ) = { y ∈ X : p( x, y) < p( x, x) + ε } for all x ∈ X and ε > 0.
B
If p is a partial metric on X then function P
s
: X × X → R+
P ( x , y ) = 2 p ( x, y ) − p ( x, x ) − p ( y , y )
given by
s
(1.1)
Is metric on X.
Definition 1.3:- let
( X , p)
be a partial metric space and
牋牋牋{
( i )牋牋牋牋xn } converges to a point x ∈ X
牋牋牋{
( ii )牋牋牋牋xn } is called Cauchy sequence if
{ xn }
be a sequence in X. then
if and only if p ( x, x) = lim p ( x, xn ).
there exists
120
p →+∞
( and is finite )
lim ? ( xn xm ) .
p
n , m →+∞
2. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
Definition 1.4:- A partial metric space
www.iiste.org
( X , p ) is said to be complete if every Cauchy sequence (x ) in x
n
converges, with respect to τp to a point x∈X, such that p(x,x)=lim p(xn,xm).
Lemma 1.5:- Let (X,p)be a partial metric space then.
(a)
{ x n} is a Cauchy sequence in (X,p)if and only if it is a Cauchy sequence in the metric space (X,ps).
(b)
(X,p) is complete if and only if the metric space (X,ps) is complete. Further more
lim p s ( xn , x) = 0 if and only if
n →+∞
p(x, x)= lim p(xn , x)= lim p(xn , xm )
n→+∞
n ,m→+∞
Definition 1.6:- (([2]) suppose that (X, p) is a metric space. A mapping
F : ( X , p ) → ( X , p ) is said to be continuous at x ∈ X , if for every ε>0 there exists δ>0 such that
F ( B p ( x, δ ) ) ⊆ B p ( Fx, ε ).
The following results are easy to check.
Lemma 1.7 :- let (x,p) be a partial metric space F:X→X is continuous if and only if given a sequence { xn }∈ℕ
and x∈X such that p(x,x)=
hence p(Fx,Fx)=
lim
n→+∞
p(x, xn),
lim p(Fx,Fxn).
n→+∞
Remarks 1.8: ([22]) let (x, p) be a partial metric space and F :( x, p) →(x, p) if F is continuous on (X, p) then F:
(X, ps) →(X, ps) is continuous.
On the other hand. Fixed point problems of contractive mapping in metric spaces endowed with a partially order
have been studied by many authors (see [1,3,5,9,10,11,12,14,15,17,18,19,20,21]. In particular Nashine and altun
[17] proved the following.
Theorem 1.9:- Let (X, ≤) be a partially ordered set and (X, d) be a complete metric space. Suppose that T:X→X
is a nondecreasing mapping such that for every to comparable elements. x,y∈X
Ψ (d(Tx,Ty)) ≤ Ψ (m(x,y)) –
(m(x,y))
.(1.2)
Where
M(x,y)=a1d(x,y)+ a2d(x,Tx)+ a3d(y,Ty)+ a4 [d(y,Tx)+d(x,Ty)]+ a5[d(y,Ty)+d(x,Tx)]
With a1>0 , a2,a3,a4,a5 >0,a1+a2+a3+2(a4+a5 )≤ 1 and Ψ
:[(0,+∞] → [0,+∞]
is a continuous non decreasing
,
φ is a lower semi continues function and Ψ(t)=0=
(t) If and only if t=0. Also suppose there exists x0∈X with
x0≤ Tx0. Assume that
i.
T is continuous or
ii.
If a nondcreasing sequence { x n} converges to x, then x n ← x for all n.
Then T has a fixed point
The purpose of this paper is to extend theorem (1.9) on the class of ordered partial metric space. Also a common
fixed point result is given.
ϕ
ϕ
ϕ
ϕ
2. Main results
Theorem 2.1:- (X, ≤) be a partially ordered set and (X, p) be a complete partial metric space. Suppose that T:
X→X is a nondecreasing such that for every two comparable element x, y∈X.
Ψ(p(Tx,Ty))<=Ψ (θ(x,y)) –
(θ(x,y))
(2.1)
Where
θ(x,y)=a1p(x,y) + a2p(x,Tx) + a3p(y,Ty) + a4 [p(y,Tx) + p(x,Ty)]
(2.2)
+ a5[p(y,Ty) + p(x,Tx)]
With . (a1, a4,a5)>0 , (a2,a3) >=0,(a1+a2+a3+2(a4+a5 ))≤ 1 and Ψ
:[(0,+∞] → [0,+∞] Ψ is a continuous
,
nondecreasing,
is a lower semi continuous function and
ϕ
ϕ
ϕ
ϕ
Ψ(t)=0=
(t). if and only if t=0 . Also suppose there exists there exists x0∈X with x0≤ Tx0.
Assume that:
i.
T is continuous or
ii.
If a non decreasing sequence { xn } converges to x in (X, p) then xn≤x for all n.
Then T has a fixed point, say z moreover p(z,z)=0.
121
3. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
www.iiste.org
Proof: - If Tx0=x0 then the proof is completed. Suppose that Tx0≠x0. Now since x0<Tx0 and T is non decreasing
we have
x0<Tx0≤T2x0≤ …………………………..≤Tnx0≤Tn+1x0≤………
Put xn=Tnx0, hence xn+1=Txn. If there exists n0∈{1,2,….} such that θ
(
(
n0
, xn0 −1
) =0 then by definition (2.2), it
)
p xn 0 −1 , xn 0 = p xn0 , Txn0 −1 = 0 ,
is clear that
So
)
(x
xn0 −1 = xn0 = Txn0 −1 and so we are finished. Now we can suppose
θ(xn,xn-1)>0
For all n≥1, let us check that
lim
(2.3)
p(xn+1, xn)=0
n→+∞
(2.4)
By (2.2), we have using condition (p4)
θ(xn,xn-1)=a1p(xnxn-1) + a2p(xn,Txn) + a3p(xn-1,Txn-1 ) + a4[p(xn-1,Txn)+p(xn,Txn-1)
+ a5[p(xn-1,Txn-1)+p(xn,Txn)]
= a1p(xn, xn-1) + a2p(xn, xn+1) +a3p(xn-1, xn)+a4[p(xn-1, xn+1)+p(xn,xn)]
+a5[p(xn-1,xn)+p(xn,xn+1)]
≤(a1+a3+a4+a5)p(xn,xn-1)+(a2+a4+a5)p(xn,xn+1)[by (p4)]
Now we claim that
P(xn+1,xn)≤p(xn,xn-1 )
For all n≥1. Suppose that is not true, that is there exists n0≥1 such that
since
xn0 ≤ xn0 +1
( (
)) = Ψ ( p (Tx , Tx ))
≤ Ψ (θ ( x , x ) − ϕ (θ ( x , x ))
≤ Ψ (a + a + a + a ) p ( x , x )
+ ( a + a + a ) p ( x , x ) − ϕ (θ ( x , x
))
≤ Ψ ( a + a + a + 2a + 2a ) p ( x , x ) − ϕ (θ ( x
≤ Ψ ( p ( x x ) − ϕ (θ ( x , x ) )
1
2
5
5
1
2
n0
) now
n0 −1
n0
4
4
(
n0 −1
n0
n0 −1
3
)
p xn0 +1 , xn0 > p xn0 , xn0 −1
we can use the inequality( 2.1) then we have
Ψ p xn0 +1 , xn0
n0
(
( 2.5)
n0 +1
n0
3
n0 +1
Which implies that
n −1
n0
4
n0
5
n0
n0
n0 ? 1
n0 +1
n0
, xno −1
))
no −1
ϕ ( θ ( xn , xn −1 ) ) ≤ 0
0
0
and by property of
ϕ
given that θ
(x
n0
)
, xn0 −1 = 0 , this
contradict (2.3) hence( 2.5 )holds and so the sequence p(xn+1,xn) is non increasing and bounded below. Thus there
exists ρ>0 such that limit
lim p(xn+1,xn)=ρ. Assume that ρ >0, by (2.2), we have
n→+∞
a1ρ=
lim a1p( xn,xn-1)≤ lim supθ( xn,xn-1)
n→+∞
n→+∞
=
lim sup [(a1+a3) p(xn,xn-1)+a2p( xn,xn+1)
n→+∞
+a4[p(xn-1,xn+1)+p(xn,xn)]+a5[p(xn-1,xn)+p(xn,xn+1)]
≤
lim sup[( a1+a3+a4+a5 )p( xn,xn-1)+ (a2+a4+a5 )p(xn,xn-1)]
n→+∞
This implies that
0<a1ρ≤
lim supθ (xn, xn-1)≤ (a1+a2+a3+2a4+2a5 )ρ ≤ ρ
n→+∞
And so there exists ρ1>0 and subsequence {xn(k)} of {xn} such that
lim θ (xn (k) ,xn (k) −1 )= ρ1 ≤ ρ
k →+∞
122
4. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
By the lower semi-continuity of
ϕ
www.iiste.org
we have
ϕ ( ρ1 ) ≤ lim inf ϕ (θ (xn (k) ,xn (k) +1 ))
k →+∞
From( 2.1) we have
Ψ (p(xn(k)+1,xn(k)))= Ψ (p(Txn(k),Txn(k)-1))
≤ Ψ (θ(xn(k),xn(k)-1))-
ϕ
(θ(xn(k),xn(k)-1))
And taking upper limit as K→+∞ we have using the properties of Ψ and
Ψ(ρ)≤ ψ ( ρ1 ) −
ϕ
lim inf ϕ (θ (xn (k) ,xn (k) +1 ))
k →+∞
ϕ (ρ )
≤Ψ(ρ)- ϕ (ρ )
That is ϕ (ρ ) =0 thus by the property of ϕ
≤Ψ(ρ1)-
1
1
we have ρ1=0 which is a contradiction. Therefore we have ρ=0
1
that is (2.4) holds.
Now we show that{xn} is a cauchy sequence in the partial metric space (x,p).
From lemma 1.5 it is sufficient to prove that {xn} is a Cauchy sequence in the metric space (X,ps)suppose to the
contrary. Then there is a ∈>0 such that for and integer K there exist integer m(k)>n(k)>k such that
ps(xn(k),xm(k))>ε
(2.6)
For ever integer K let m(k) be the least positive integer exceeding n(k) satisfying
(2.6 )and such that
ps(xn(k),xm(k)-1)≤ε
( 2.7)
Now using (2.4)
ε< ps(xn(k),xm(k))≤ ps(xn(k),xm(k)-1)+ ps(xm(k)-1,xm(k))
≤ε+ ps(xm(k)-1,xm(k))
Then by (2.4) it follows that
lim p s ( xn ( k ) , xm ( k ) ) = ε
(2.8)
k →+∞
Also by the triangle inequality. We have
p s ( x n ( k ) , x m ( k ) −1 ) − p s ( x n ( k ) , x m ( k ) ) ≤ p s ( x m( k ) −1 , x m ( k ) )
By using (2.4), (2.8) we get
lim p s ( xn ( k ) , xm ( k ) −1 ) = ε
(2.9)
k →+∞
On the other hand by definition of ps .
p s ( xn ( k ) , xm ( k ) −1 ) = 2 p
p s ( xn ( k ) , xm ( k ) −1 ) = 2 p
(x
(x
n(k )
, xm ( k ) ) − p
n ( k ) , xm ( k ) −1
(x
)− p (x
n(k )
, xn( k ) ) − p
n ( k ) , xn( k )
(x
)− p (x
m( k )
, xm ( k ) )
m( k ) −1 , xm ( k ) −1 )
letting k→+∞, we find thanks to (2.8), (2.9) and the condition p3 in (2.4)
lim
p
(x
n(k )
, xm (k )
lim
p
(x
n(k )
, x m ( k )−1
k → +∞
k → +∞
)=
ε
( 2 .1 0 )
2
)=
ε
( 2 .1 1)
2
In view of (2.2) we get
123
Hence
5. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper)
www.iiste.org
ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
a1 p ( xn ( k ) , xm ( k )−1 ) ≤ θ ( xn ( k ) , xm ( k )−1 )
=a1 p ( xn ( k ) , xm ( k ) −1 ) + a2 p ( xn ( k ) , T xn( k ) )
+a3 p ( xm( k ) −1 , T xm ( k ) −1 )
+ a4 [ p ( xm( k ) −1 , T xn( k ) −1 ) + p ( xn ( k ) , T xm ( k )−1 )]
+a5 p ( xm( k )−1 , T xm ( k ) −1 ) + p ( xn( k ) , T xn( k ) )
=a1 p ( xn ( k ) , xm ( k ) −1 ) + a2 p ( xn ( k ) , xn( k )+1 )
+a3 p ( xm( k ) −1 , xm ( k ) )
+ a4 [ p ( xm( k ) −1 , xn( k ) ) + p ( xn ( k ) , xn( k )+1 )]
+a5 p ( xm( k )−1 , xm ( k ) ) + p ( xn( k ) , xn( k ) +1 )
≤ a1 p ( xn ( k ) , xm ( k ) −1 ) + a2 p ( xn ( k ) , xn( k )+1 )
+a3 p ( xm( k ) −1 , xm ( k ) )
+ a4 p ( xm( k )−1 , xn( k ) ) + p ( xn ( k ) , xn( k ) +1 ) + p ( xn ( k ) , xm ( k ) )
+a5 p ( xm( k )−1 , xm ( k ) ) + p ( xn( k ) , xn( k )+1 )
Taking upper limit as K→ +∞ and using (2.4),(2.10) and (2.11) we have
0 < a1
ε
2
(x
≤ lim sup θ
k →+∞
n ( k ) , xm ( k ) −1 ) ≤ (a 1 + 2 a4 + 2 a 5 )
ε
2
this implies that there exists ε1>0 And subsequence {xn(k(p))} of { xn(k) } Such that
θ
lim
p→ +∞
(x
n ( k (p ))
By the lower semi continuity of
, xm
ϕ
( k (p )) − 1
ε1 ≤
ε
2
we have
(
ϕ (ε 1 ) ≤ lim inf ϕ θ ( xn ( k ) , xm ( k ) −1 )
k →+∞
)=
)
Now by (2.1) we get…
ε
ψ = lim supψ p ( xn ( k (p)) , xm ( k (p)) )
p →+∞
2
(
≤ lim supψ ( p ( x
p →+∞
=
n ( k (p))
)
) (
, xm ( k (p)) +1 ) + p (Txn ( k (p)) , T xm ( k (p)) −1 )
lim sup ψ (p(Tx n(k(p)) ),Tx m(k(p)−1) ))
p →+∞
124
)
≤
ε
2
.
…
6. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper)
www.iiste.org
ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
(
)
(
)
≤ lim su p ψ θ ( x n ( k (p ) ) , x m ( k (p ) ) − 1 ) − ϕ θ ( x n ( k (p ) ) , x m ( k (p ) ) − 1 )
p → +∞
(
= ψ ( ε 1 ) − lim in f ϕ θ ( x n ( k (p ) ) , x m ( k (p ) ) − 1 )
p → +∞
)
≤ ψ (ε 1 ) − ϕ (ε 1 )
ε
≤ψ
− ϕ (ε 1 )
2
Which is a contradiction? Therefore {xn} is a Cauchy sequence in the metric space
(X, ps) from lemma (1.5) (X, ps) is a complete metric space. Then there is z∈X such that
lim p s ( xn , z) = 0
n → +∞
Again from lemma (1.5), we have thanks to( 2.4) and the condition (p2).
p(z, z) = lim p ( xn , z) = lim p ( xn , xn ) = 0
n →+∞
(2.12)
n →+∞
We will prove that Tz=z
1. Assume that (i) hold, that is T is continuous. By( 2.12) the sequence converges in(X,p)to z, and since T
is continuous hence the sequence.. converges to Tz that is
p(Tz,Tz) = lim p (T xn ,Tz)
(2.13)
n→+∞
Again thanks to (2.12)
P(z,Tz)= lim p ( xn , z) =
n →+∞
lim p (T x n −1 , Tz) = p (Tz, Tz)
n → +∞
(2.14)
On the other hand by(2.1),(2.14)
( θ(z,z))
Ψ( (p(z,Tz))=Ψ (p(Tz,Tz))≤Ψ (θ(z,z)Where from (2.12) and the condition p2
θ(z,z) = a1p(z,z) +( a2+a3+2a4+2a5 )p( z,Tz)
= (a2+a3+2a4+2a5 )p (z,Tz )≤p(z,Tz)
Thus, Ψ (p(z,Tz), ≤Ψ(θ(z,z))( (z,z))
(
≤Ψ(p(z,Tz))(θ( z,z))
ϕ
ϕ
ϕ
ϕ
In follows that
(θ(z, Z))=0 so θ (z,z )=( a2+a3+2a4+2a5 )p(z,Tz) =0 that is p(z,Tz)=0, because ε> 0.
Hence z=Tz that is z is a fixed point of T
Assume that ii holds than we have xn≤z for all n, Therefore all n, we can use the inequality (2.1) for xn and z
since
θ(z,xn)=a1p(z,xn)+a2p(z,Tz)+a3p(xn,Txn)+a4[p(xn,Tz)+p(z,Txn)+a5[p(xn,Txn)+p(z,Tz)]
= a1p(z,xn )+a2p(z,Tz)+a3p(xn,xn+1)+a4[p(xn,Tz)+p(z,xn+1)+a5[p(xn,xn+1)+p(z,Tz)]
Hence from (2.4), (2.12)
lim θ (z, xn ) = (a 1 + a 4 + a 5 ) p( z , Tz)
n → +∞
we have,
ψ ( p(z, Tz) ) = lim supψ ( p (Tz, xn+1 ) )
n →+∞
= lim supψ ( p (Tz, T xn ) )
n →+∞
≤ lim supψ [ (ψ ( z , xn ) ) -ϕ (θ (z,x n ))
n →+∞
≤Ψ ((a1 +a4+a5)p(Tz,z))≤Ψ(p(Tz,z))-
ϕ
ϕ
ϕ
]
(a2+a4+a5)p(Tz,z).
((a2+a4+a5)p(Tz,z)).
ϕ
Then
((a2+a4+a5)p(Tz,z))=0 And since (a4,a5) >0 hence by the property of
we have p(Tz,z)=0 so Tz=z,
This complete the proof of theorem (2.1)
Remarks 2.2 Theorem 2.1 holds for ordered partial metric spaces, so it is an extension of the result of Noshine
and altun (17) given in theorem (1.9) which is verified just for ordered metric ones.
125
7. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper)
www.iiste.org
ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
Corollary 2.3 :- Let (X,≤) be a partially ordered set and (x,p) be a complete partial metric space suppose that
T:X→ X be a non decreasing mapping such that for every two comparable elements x,y∈X
P(Tx,Ty) ,≤θ(x,y)(θ(x,y))
(2.15)
Where
θ(x,y)=a1p(x,y)+a2p(x,Tx)+a3p(y,Ty)
+a4[p(y,Tx)+p(x,Ty)+a5[p(y,Ty)+p(x,Tx)]
(2.16)
: (0,+∞) → (0,+∞).
is a lower semi continuous
With (a1,a4,a5)>0.(a2,a3)≥0,(a1+a2+a3+2a4+2a5)≤1 and
ϕ
function and
ϕ (t)=0 if and
ϕ
ϕ
only if t=0 also suppose that there exists x0∈X with xo≤ Tx0, Assume that
ϕ
i.
T is continuous or
ii.
If a nondcreasing sequence {xn} converges to x, in (X,p),then xn≤x for all n.
Then T has a fixed point, say z moreover p(z,z)=0
Proof: - It is sufficient to take Ψ (t)=t in theorem.
Corollary 2.4:- Let (X.≤) be a partially ordered set and (X,p) be a complete partial metric space suppose
that T:X→ X be a non decreasing mapping such that for every two comparable elements x,y∈X
P (Tx, Ty)≤ kθ(x,y)
(2.17)
Where
θ(x,y)=a1p(x,y)+a2p(x,Tx)+a3p(y,Ty)
+a4[p(y,Tx)+p(x,Ty)+a5[p(y,Ty)+p(x,Tx)]
(2.18)
With k ∈ [0,1],(a1,a4,a5)>0,(a2,a3)≥0,(a1+a2+a3+2a4+2a5)≤1 also suppose , there exists x0 ∈X with xo≤ Tx0,
Assume that
i.
T is continuous or
ii.
If a nondcreasing sequence {xn} converges to x in(X,p) then xn≤x for all n.
Then T has a fixed point, say z moreover p(z,z)=0
Proof: - It sufficient to take Ψ(t)=(1-k)t in corollary (2.3)
We give in the following a sufficient condition for the uniqueness of the fixed point of the mapping T.
Theorem 2.5 :- Let all the conditions of the theorem (2.1) be fulfilled and let the following condition hold for
arbitrary two points x,y∈X there exists z∈X which is comparable with both x and y. If (a1+2a2+2a4+2a5 )≤ 1
or (a1+2a3+2a4+2a5) ≤1. Then the fixed point of T is unique.
Proof :- Let u and v be two fixed point of T, i.e Tu=u and Tv=v. we have in mind, p(u,u)=p(v,v)=0. Consider the
following two cases.
1. U and v are comparable. Then we can apply condition 2.1 and obtain that
Ψ(p(u,v))=Ψ(p(Tu,Tv))<=Ψ(θ(u,v))(θ(u,v))
Where
θ(u,v)=a1p(u,v)+a2p(u,Tu)+a3p(v,Tv)+a4[p(u,Tv)+p(v,Tu)]+a5[p(v,Tv)+p(u,Tu)]
= a1p(u,v )+a2p(u,u)+a3p(v,v)+a4[p(u,v)+p(v,u)]+a5[p(v,v)+p(u,u)]
=((a1 +2a4+2a5)p(u,v))+ a2p(u,u)+a3p(v,v)
≤(a1 +a2+a3+2a4+2a5)p(u,v)≤p(u,v).
We deduce
Ψ(p(u,v)) ≤Ψ(p(u,v)(θ (u,v)) i.e θ(u,v)=0
So p(u,v)=0 meaning that u=v, that is the uniqueness of the fixed point of T.
2. Suppose that u and v are not comparable. Choose and element w∈X comparable with both of them.
Then also u=Tnu is comparable is Tnw for each n (Since T is nondecreasing) Appling (2.1) one obtain
that
Ψ(p(u,Tnw))=Ψ(p(TTn-1u, TTn-1w))
≤Ψ(θ(Tn-1u, Tn-1w))(θ(Tn-1u, Tn-1w))
ϕ
ϕ
ϕ
=Ψ(θ(u, Tn-1w))-
ϕ (θ(u, T
n-1
w))
Where
θ(u,Tn-1w)=a1p (u, Tn-1w)+ a2p(u,T Tn-1u)+a3p(Tn-1w,T Tn-1w)
+a4[p(u,T Tn-1w)+p(Tn-1w, Tu)]+a5[p((Tn-1w,T Tn-1w)+p(u, TTn-1u)]
=a1p (u, Tn-1w)+ a2p(u,u)+a3p(Tn-1w, Tnw)
+a4[p(u, Tnw)+p(Tn-1w, u)]+a5[p((Tn-1w, Tnw)+p(u,u)]
=(a1+a4) p (u, Tn-1w)+a3p(Tn-1w, Tnw)+a4p(u, Tnw)+a5p(Tn-1w, Tnw)
=(a1 +a3+a4+a5)p(u,Tn-1w)+ (a3+a4+a5)p(u,Tnw)
Similarly as in the proof of theorem (2.1). It can be shown that under the condition (a1+2a3+2a4+2a5) ≤1
126
8. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper)
www.iiste.org
ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
P(u,Tnw)≤p(u,Tn-1w)
Note that when we consider
Ψ(p(Tn w,u))≤ Ψ(θ(Tn-1w,u))(θ(Tn-1w,u))
Where
θ(Tn-1w,u))= (a1 +a2)p(u, Tn-1w)+a2p (Tn-1w, Tnw)+ a4 p(u, Tnw)+ a5 p(Tn-1w, Tnw)
≤(a1 +a2+a4+a5)p(u,Tn-1w)+( a2+a4+a5) p(u, Tnw))
Hence one finds under (a1 +2a2+2a4+2a5) ≤ that p(Tnw,u)≤p(Tn-1w,u)
In each case, it follows that the sequence {p(u,fnw)} is non increasing and it has a limit l≥0 adjusting again
in the proof of theorem (2.1). one can finds that l=0 in the same way it can be deduced that p(v,Tnw)→0 as
n→+∞Now passing to the limit in p(u,v)≤ p(u,Tnw)+ p(Tnw,v) it follow that P(u,v)=0 so u=v, and the
uniqueness of the fixed point is proved.
Acknowledgement: One of the authors (R.B.) is thank full to MPCST Bhopal for project no. 2556
ϕ
References
1. R. P. Agarwal, M. A. ElGebeily and D. O’Regan, “Generalized contractions in
partially ordered
metric spaces”, Applicable Analysis. 87(1)(2008) 109116.
2. I. Altun and A. Erduran, “Fixed point theorems for monotone mappings on partial metric spaces”, Fixed Point
Theory and Applications, Volume 2011, Article ID 508730, 10 pages, doi:10.1155/2011/508730.
3. I. Altun and H. Simsek, “Some fixed point theorems on ordered metric spaces and application, Fixed Point
Theory and Applications”, Volume 2010, Article ID 621469, 17 pages, 2010.
4. I. Altun, F. Sola and H. Simsek, “Generalized contractions on partial metric spaces”, Topology and Its
Applications. 157 (18) (2010) 27782785.
5. H. Aydi,” Coincidence and common fixed point results for contraction type maps in partially ordered metric
spaces”, Int. Journal of Math. Analysis, Volume 5, 2011, Number 13, 631642.
6. H. Aydi, “Some fixed point results in ordered partial metric spaces”, Accepted in J. Nonlinear Sciences. Appl,
(2011).
7. . H. Aydi, “fixed point theorems for generalized weakly contractive condition in ordered partial metric
spaces”, in J. Nonlinear Analysis and Optimization Vol 2 No. 2 . (2011),269-284.
8. H. Aydi, “Some coupled fixed point results on partial metric spaces”, International Journal of Mathematics
and Mathematical Sciences, Volume 2011, Article ID 647091, 11 pages doi:10.1155/2011/647091.
9. H. Aydi, “Fixed point results for weakly contractive mappings in ordered partial metric spaces”, Journal of
Advanced Mathematical and Studies, Volume 4, Number 2, (2011).
10. I. Beg and A. R. Butt, “Fixed point for setvalued mappings satisfying an implicit relation in partially ordered
metric spaces”, Nonlinear Analysis. 71 (9) (2009) 36993704.
11. T.G. Bhaskar and V. Lakshmikantham, “Fixed point theorems in partially ordered metric spaces and
applications”, Nonlinear Analysis. 65 (2006) 13791393.
12. B.S. Choudhury and A. Kundu, “A coupled coincidence point result in partially ordered metric spaces for
compatible mappings”, Nonlinear Analysis (2010), doi:10.1016/j.na.2010.06.025.
13. Lj. C´ iric´ , N. Cakic´ , M. Rajovic´ and J. S. Ume,” Monotone generalized nonlinear contractions in
partially ordered metric spaces”, Fixed Point Theory and Applications, Volume 2008, Article ID 131294, 11
pages, 2008.
14. B. C. Dhage, “Condensing mappings and applications to existence theorems for common solution of
di¤erential equations”, Bull. Korean Math. Soc, 36 (3) (1999), 565578.
15. J. Harjani and K. Sadarangani, “Generalized contractions in partially ordered metric spaces and applications
to ordinary differential equations”, Nonlinear Analysis. 72 (34) (2010) 11881197.
16. V. Lakshmikantham and Lj. C´ iric´ , “Coupled fixed point theorems for nonlinear contractions in partially
ordered metric spaces”, Nonlinear Analysis. 70 (2009) 43414349.
17. S.G. Matthews, “Partial metric topology, in Proceedings of the 8th Summer Conference on General
Topology and Applications”, vol. 728, pp. 183197,
Annals of the New York Academy of Sciences, 1994.
18. H.K. Nashine and I. Altun, “Fixed point theorems for generalized weakly contractive condition in ordered
metric spaces”, Fixed Point Theory and Applications, Volume 2011, Article ID 132367, 20 pages
doi:10.1155/2011/132367.
19. H.K. Nashine and B. Samet, “Fixed point results for mappings satisfying
(Ψ ,
)weakly contractive condition in partially ordered metric spaces”, Nonlinear Analysis. 74 (2011)
22012209.
ϕ
127
9. Mathematical Theory and Modeling
ISSN 2224-5804 (Paper)
www.iiste.org
ISSN 2225-0522 (Online)
Vol.3, No.12, 2013
20. J.J. Nieto and R.R. L´opez, “Contractive mapping theorems in partially ordered sets and applications to
ordinary differential equations”, Order. 22 (3) (2005) 223239.
21. A.C.M. Ran and M.C.B. Reurings, “A fixed point theorem in partially ordered sets and some applications to
matrix equations”, Proceedings of the American Mathematical Society. 132 (5) (2004) 14351443.
22. B. Samet, “Coupled fixed point theorems for a generalized MeirKeeler
contraction in partially ordered metric spaces”, Nonlinear Analysis. 72 (2010) 45084517. 284 H. AYDI/JNAO :
VOL. 2, NO. 2, (2011), 269284
23. S.J. O’ Neill, “Two topologies are better than one”, Tech. report, University of Warwick, Coventry, UK,
http://www.dcs.warwick.ac.uk/reports/283.html, 1995.
24. S. Oltra and O. Valero, “Banach’s fixed point theorem for partial metric spaces”, Rendiconti dell’Istituto di
Matematica dell’Universit `a di Trieste. 36 (12) (2004) 1726.
25. S. Romaguera, “A Kirk type characterization of completeness for partial metric
spaces”, Fixed Point
Theory and Applications, Volume 2010, Article ID 493298, 6 pages, 2010.
26. O. Valero, “On Banach fixed point theorems for partial metric spaces”, Applied General Topology. 6
(2)(2005) 229240.
128
10. This academic article was published by The International Institute for Science,
Technology and Education (IISTE). The IISTE is a pioneer in the Open Access
Publishing service based in the U.S. and Europe. The aim of the institute is
Accelerating Global Knowledge Sharing.
More information about the publisher can be found in the IISTE’s homepage:
http://www.iiste.org
CALL FOR JOURNAL PAPERS
The IISTE is currently hosting more than 30 peer-reviewed academic journals and
collaborating with academic institutions around the world. There’s no deadline for
submission. Prospective authors of IISTE journals can find the submission
instruction on the following page: http://www.iiste.org/journals/
The IISTE
editorial team promises to the review and publish all the qualified submissions in a
fast manner. All the journals articles are available online to the readers all over the
world without financial, legal, or technical barriers other than those inseparable from
gaining access to the internet itself. Printed version of the journals is also available
upon request of readers and authors.
MORE RESOURCES
Book publication information: http://www.iiste.org/book/
Recent conferences: http://www.iiste.org/conference/
IISTE Knowledge Sharing Partners
EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open
Archives Harvester, Bielefeld Academic Search Engine, Elektronische
Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial
Library , NewJour, Google Scholar