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
Time-Dependent Billiards
Call for Papers
This subject has been extensively studied in the past years for one-, two-, and three-dimensional space. Additionally, such dynamical systems can exhibit a very important and still unexplained phenomenon, called as the Fermi acceleration phenomenon. Basically, the phenomenon of Fermi accelera- tion (FA) is a process in which a classical particle can acquire unbounded energy from collisions with a heavy moving wall.
This phenomenon was originally proposed by Enrico Fermi in 1949 as a possible explanation of the origin of the large energies of the cosmic particles. His original model was then modified and considered under different approaches and using many versions. Moreover, applications of FA have been of a large broad interest in many different fields of science including plasma physics, astrophysics, atomic physics, optics, and time-dependent billiard problems and they are useful for controlling chaos in Engineering and dynamical systems exhibiting chaos (both conservative and dissipative chaos).
We intend to publish in this special issue papers reporting research on time-dependent billiards. The topic includes both conservative and dissipative dynamics. Papers dis- cussing dynamical properties, statistical and mathematical results, stability investigation of the phase space structure, the phenomenon of Fermi acceleration, conditions for having suppression of Fermi acceleration, and computational and numerical methods for exploring these structures and applications are welcome.
To be acceptable for publication in the special issue of Mathematical Problems in Engineering, papers must make significant, original, and correct contributions to one or more of the topics above mentioned. Mathematical papers regarding the topics above are also welcome.
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 December 1, 2008 First Round of Reviews March 1, 2009 Publication Date June 1, 2009
Guest Editors
Edson Denis Leonel,Departamento de Estatística, Matemática Aplicada e Computação, Instituto de Geociências e Ciências Exatas, Universidade Estadual Paulista, Avenida 24A, 1515 Bela Vista, 13506-700 Rio Claro, SP, Brazil ; [email protected]
Alexander Loskutov,Physics Faculty, Moscow State University, Vorob’evy Gory, Moscow 119992, Russia;
Hindawi Publishing Corporation http://www.hindawi.com
