SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE
P. VIJAYARAJU, B. E. RHOADES, AND R. MOHANRAJ Received 18 October 2004 and in revised form 20 July 2005
We give a general condition which enables one to easily establish fixed point theorems for a pair of maps satisfying a contractive inequality of integral type.
Branciari [1] obtained a fixed point result for a single mapping satisfying an analogue of Banach’s contraction principle for an integral-type inequality. The second author [3]
proved two fixed point theorems involving more general contractive conditions. In this paper, we establish a general principle, which makes it possible to prove many fixed point theorems for a pair of maps of integral type.
DefineΦ= {ϕ:ϕ:R+→R}such thatϕis nonnegative, Lebesgue integrable, and sat- isfies
0ϕ(t)dt >0 for each>0. (1) Letψ:R+→R+satisfy that
(i)ψis nonnegative and nondecreasing onR+, (ii)ψ(t)< tfor eacht >0,
(iii)∞n=1ψn(t)<∞for each fixedt >0.
DefineΨ= {ψ:ψsatisfies (i)–(iii)}.
Lemma1. LetSandT be self-maps of a metric space(X,d). Suppose that there exists a sequence{xn} ⊂X withx0∈X,x2n+1:=Sx2n,x2n+2:=Tx2n+1, such that{xn}is complete and there exists ak∈[0, 1)such that
d(Sx,T y)
0 ϕ(t)dt≤ψ d(x,y)
0 ϕ(t)dt
(2)
for each distinctx,y∈ {xn}satisfying eitherx=T yory=Sx, whereϕ∈Φ,ψ∈Ψ.
Copyright©2005 Hindawi Publishing Corporation
International Journal of Mathematics and Mathematical Sciences 2005:15 (2005) 2359–2364 DOI:10.1155/IJMMS.2005.2359
Then, either
(a)SorThas a fixed point in{xn}or (b){xn}converges to some pointp∈Xand
d(xn,p)
0 ϕ(t)dt≤∞
i=n
ψi(d) forn >0, (3) where
d:= d(x0,x1)
0 ϕ(t)dt. (4)
Proof. Suppose thatx2n+1=x2nfor somen. Thenx2n=x2n+1=Sx2n, andx2n is a fixed point ofS. Similarly, ifx2n+2=x2n+1for somen, thenx2n+1is a fixed point ofT.
Now assume thatxn=xn+1for eachn. Withx=x2n,y=x2n+1, (2) becomes d(x2n+1,x2n+2)
0 ϕ(t)dt≤ψ
d(x2n,x2n+1)
0 ϕ(t)dt
. (5)
Substitutingx=x2n,y=x2n−1, (2) becomes d(x2n+1,x2n)
0 ϕ(t)dt≤ψ
d(x2n,x2n−1)
0 ϕ(t)dt
. (6)
Therefore, for eachn≥0, d(xn,xn+1)
0 ϕ(t)dt≤ψ
d(xn−1,xn) 0 ϕ(t)dt
≤ ··· ≤ψn(d). (7) Letm,n∈N,m > n. Then, using the triangular inequality,
dxn,xm
≤m
−1
i=n
dxi,xi+1
. (8)
It can be shown by induction that d(xn,xm)
0 ϕ(t)dt≤
m−1 i=n
d(xi,xi+1)
0 ϕ(t)dt. (9)
Using (7) and (9),
d(xn,xm)
0 ϕ(t)dt≤∞
i=n
ψi(d)≤∞
i=n
ψi(d). (10)
Taking the limit of (10) asm,n→ ∞and using condition (iii) forψ, it follows that{xn} is Cauchy, hence convergent, sinceXis complete. Call the limitp. Taking the limit of (10)
asm→ ∞yields (3).
Theorem2. Let(X,d)be a complete metric space, and letS,Tbe self-maps ofXsuch that for each distinctx,y∈X,
d(Sx,T y)
0 ϕ(t)dt≤ψ
M(x,y)
0 ϕ(t)dt
, (11)
wherek∈[0, 1),ϕ∈Φ,ψ∈Ψ, and M(x,y) :=max
d(x,y),d(x,Sx),d(y,T y), d(x,T y) +d(y,Sx) 2
. (12)
ThenSandThave a unique common fixed point.
Proof. We will first show that any fixed point ofSis also a fixed point ofT, and conversely.
Letp=Sp. Then
M(p,p)=max
0, 0,d(p,T p),d(p,T p) 2
=d(p,T p), (13) and (11) becomes
d(p,T p)
0 ϕ(t)dt≤ψ
d(p,T p) 0 ϕ(t)dt
, (14)
which, from (1), implies thatp=T p.
Similarly,p=T pimplies thatp=Sp.
We will now show thatSandTsatisfy (2).
M(x,Sx)=max
d(x,Sx),d(x,Sx),d(Sx,TSx), d(x,TSx) + 0 2
. (15)
From the triangular inequality, d(x,TSx)
2 ≤
d(x,Sx) +d(Sx,TSx)
2 ≤maxd(x,Sx),d(Sx,TSx). (16) Thus, (11) becomes
d(Sx,TSx)
0 ϕ(t)dt≤k
d(Sx,TSx)
0 ϕ(t)dt, (17)
a contradiction to (1).
Therefore, for allx∈X,M(x,Sx)=d(x,Sx), and (2) is satisfied. If condition (a) of Lemma 1is true, thenSorT has a fixed point. But it has already been shown that any fixed point ofSis also a fixed point ofT, and conversely. ThusSandT have a common fixed point.
Suppose that conclusion (b) ofLemma 1is true. Then, from (3), d(Sx2n,T p)
0 ϕ(t)dt≤ψ
d(x2n,p)
0 ϕ(t)dt
, (18)
which implies, sinceXis complete, that limd(Sx2n,T p)=0.
Therefore,
d(p,T p)≤dp,Sx2n
+dSx2n,T p−→0, (19) andpis a fixed point ofT, hence a fixed point ofS. Condition (11) clearly implies unique-
ness of the fixed point.
Every contractive condition of integral type automatically includes a corresponding contractive condition not involving integrals, by settingϕ(t)≡1 overR+.
There are many contractive conditions of integral type which satisfy (2). Included among these are the analogues of the many contractive conditions involving rational ex- pressions and/or products of distances. We conclude this paper with one such example.
Corollary3. Let(X,d)be a complete metric space,SandTself-maps ofXsuch that, for each distinctx,y∈X,
d(Sx,T y)
0 ϕ(t)dt≤k n(x,y)
0 ϕ(t)dt, (20)
whereϕ∈Φ,k∈[0, 1), and n(x,y) :=max
d(y,T y) 1 +d(x,Sx) 1 +d(x,y) ,d(x,y)
. (21)
ThenSandThave a unique common fixed point.
Proof.
n(x,Sx)=maxd(Sx,TSx),d(x,Sx). (22) As in the proof ofTheorem 2, it is easy to show that any fixed point ofSis also a fixed point ofT, and conversely.
Ifn(x,Sx)=d(Sx,TSx), then an argument similar to that ofTheorem 2leads to a con- tradiction. Thereforen(x,Sx)=d(x,Sx), and eitherSorThas a common fixed point, or (3) is satisfied. In the latter case, with limxn=p,n(p,p)=0, so that, from (20), pis a fixed point ofS, hence ofT. Uniqueness ofpis easily established.
Corollary 3is also a consequence ofLemma 1.
We now provide an example, kindly supplied by one of the referees, to show that Lemma 1is more general than [2, Theorem 3.1].
Example 4. LetX:= {1/n:n∈N∪ {0}}with the Euclidean metric andS,Tare self-maps ofXdefined by
S 1
n
=
1
n+ 1 ifnis odd, 1
n+ 2 ifnis even, 0 ifn= ∞,
T 1
n
=
1
n+ 1 ifnis even, 1
n+ 2 ifnis odd, 0 ifn= ∞.
(23)
For eachn, definex2n+1=Sx2n,x2n+2=Tx2n+1. Withx0=1, letO(1) denote the orbit of x0=1; that is,O(1)= {1, 1/2, 1/3,...}andO(1)=O(1)∪ {0} =X. Forx,y∈O(1), y=1/m,meven andx=1/n=T y=1/(m+ 1),Sx=1/(m+ 2), so that
d(Sx,T y)= 1
m+ 1− 1 m+ 1
= 1 m+ 1−
1 m+ 2=
1 (m+ 1)(m+ 2), d(x,y)=
1 n−
1 m
= 1
m+ 1− 1 n
= 1 m−
1 m+ 1=
1 m(m+ 1).
(24)
Thus
d(Sx,T y) d(x,y) =
m
m+ 2≤1. (25)
Also
sup
n∈N
d(Sx,T y)
d(x,y) =1, (26)
so that there is no numberc∈[0, 1) such thatd(Sx,T y)≤cd(x,y) forx,y∈O(1) and x=T y. Therefore, [2, Theorem 3.1] cannot be used. On the other hand, the hypotheses of Lemma 1are satisfied. To see this, it will be shown that condition (2) is satisfied for someϕ∈Φ.
We will first show that for anyx=1/n, y=1/m∈O(1) satisfying eitherx=T y or y=Sx,
d(Sx,T y)≤ 1
n+ 1− 1 m+ 1
. (27)
There are four cases.
Case 1. y=1/m,meven,x=1/n=T y=1/(m+ 1), andSx=1/(m+ 2). Then d(Sx,T y)=
1 m+ 2−
1 m+ 1
= 1
n+ 1− 1 m+ 1
. (28)
Case 2. y=1/m,modd,x=1/n=T y=1/(m+ 2), andSx=1/(m+ 3). Then d(Sx,T y)=
1 m+ 3−
1 m+ 2
= 1 m+ 2−
1 m+ 3
≤ 1 m+ 1−
1 m+ 3=
1 n+ 1−
1 m+ 1
.
(29)
Case 3. x=1/n,neven,y=1/m=Sx=1/(n+ 2), andT y=1/(n+ 3). Then d(Sx,T y)=
1 n+ 2−
1 n+ 3
= 1 n+ 2−
1 n+ 3
≤ 1 n+ 1−
1 n+ 3=
1 n+ 1−
1 n+ 3
.
(30)
Case 4. x=1/n,nodd,y=1/m=Sx=1/(n+ 1), andT y=1/(n+ 2). Then d(Sx,T y)=
1 n+ 1−
1 n+ 2
= 1
n+ 1− 1 m+ 1
. (31)
Thus in all cases, (20) is satisfied.
Defineϕbyϕ(t)=t1/2−2[1−logt] fort >0 andϕ(0)=0. Then, for anyτ >0, τ
0ϕ(t)dt=τ1/τ, (32)
andϕ∈Φ.
Using [1, Example 3.6], d(Sx,T y)
0 ϕ(t)dt≤d(Sx,T y)1/d(Sx,T y)
≤ 1
n+ 1− 1 m+ 1
1/|(1/n+1)−(1/m+1)|
≤1 2
1 n−
1 m
1/|(1/n)−(1/m)|=d(x,y)1/d(x,y)
(33)
for eachx,yas inLemma 1, and condition (2) is satisfied withψ(t)=t/2.
Acknowledgment
The authors thank each of the referees for careful reading of the manuscript.
References
[1] A. Branciari,A fixed point theorem for mappings satisfying a general contractive condition of integral type, Int. J. Math. Math. Sci.29(2002), no. 9, 531–536.
[2] S. Park,Fixed points and periodic points of contractive pairs of maps, Proc. College Natur. Sci.
Seoul Nat. Univ.5(1980), no. 1, 9–22.
[3] B. E. Rhoades,Two fixed-point theorems for mappings satisfying a general contractive condition of integral type, Int. J. Math. Math. Sci.2003(2003), no. 63, 4007–4013.
P. Vijayaraju: Department of Mathematics, Anna University, Chennai-600 025, India E-mail address:[email protected]
B. E. Rhoades: Department of Mathematics, Indiana University, Bloomington, IN 47405-7106, USA
E-mail address:[email protected]
R. Mohanraj: Department of Mathematics, Anna University, Chennai-600 025, India E-mail address:[email protected]
Special Issue on
Modeling Experimental Nonlinear Dynamics and Chaotic Scenarios
Call for Papers
Thinking about nonlinearity in engineering areas, up to the 70s, was focused on intentionally built nonlinear parts in order to improve the operational characteristics of a device or system. Keying, saturation, hysteretic phenomena, and dead zones were added to existing devices increasing their behavior diversity and precision. In this context, an intrinsic nonlinearity was treated just as a linear approximation, around equilibrium points.
Inspired on the rediscovering of the richness of nonlinear and chaotic phenomena, engineers started using analytical tools from “Qualitative Theory of Differential Equations,”
allowing more precise analysis and synthesis, in order to produce new vital products and services. Bifurcation theory, dynamical systems and chaos started to be part of the mandatory set of tools for design engineers.
This proposed special edition of the Mathematical Prob- lems in Engineering aims to provide a picture of the impor- tance of the bifurcation theory, relating it with nonlinear and chaotic dynamics for natural and engineered systems.
Ideas of how this dynamics can be captured through precisely tailored real and numerical experiments and understanding by the combination of specific tools that associate dynamical system theory and geometric tools in a very clever, sophis- ticated, and at the same time simple and unique analytical environment are the subject of this issue, allowing new methods to design high-precision devices and equipment.
Authors should follow the Mathematical Problems in Engineering manuscript format described at http://www .hindawi.com/journals/mpe/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System athttp://
mts.hindawi.com/according to the following timetable:
Manuscript Due February 1, 2009 First Round of Reviews May 1, 2009 Publication Date August 1, 2009
Guest Editors
José Roberto Castilho Piqueira,Telecommunication and Control Engineering Department, Polytechnic School, The University of São Paulo, 05508-970 São Paulo, Brazil;
Elbert E. Neher Macau,Laboratório Associado de Matemática Aplicada e Computação (LAC), Instituto Nacional de Pesquisas Espaciais (INPE), São Josè dos Campos, 12227-010 São Paulo, Brazil ; [email protected] Celso Grebogi,Department of Physics, King’s College, University of Aberdeen, Aberdeen AB24 3UE, UK;
Hindawi Publishing Corporation http://www.hindawi.com
