• No results found

PPF dependent common fixed point theorems for mappings in Banach spaces

N/A
N/A
Protected

Academic year: 2020

Share "PPF dependent common fixed point theorems for mappings in Banach spaces"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

PPF dependent common fixed point

theorems for mappings in Banach spaces

Anchalee Kaewcharoen

*

*Correspondence:

[email protected] Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok, 65000, Thailand

Centre of Excellence in

Mathematics, CHE, Si Ayutthaya Rd., Bangkok, 10400, Thailand

Abstract

We prove the existence of the PPF dependent common fixed point theorems and the PPF dependent coincidence points for a pair of mappings satisfying some contractive conditions in Banach spaces where the domains and ranges of the mappings are not the same. Our results extend and generalize the results in the literature.

MSC: 54H25; 55M20

Keywords: PPF dependent common fixed points; PPF dependent coincidence points; Razumikhin classes; generalized

ψ

-contractions

1 Introduction

The fixed point theory in Banach spaces plays an important role and is useful in mathe-matics. It can be applied for solving various problems, for instance, variational inequalities, optimization and approximation theory. The common fixed point theorems for mappings satisfying certain contractive conditions have been continually studied for a decade (see [–] and references contained therein). Bernfeldet al.[] proved the existence of PPF (past, present and future) dependent fixed points in the Razumikhin class of functions for mappings that have different domains and ranges. Recently, Dhage [] extended the exis-tence of PPF dependent fixed points to PPF common dependent fixed points for mappings satisfying the weaker contractive conditions. In this paper, the PPF dependent fixed point theorems and the PPF dependent coincidence points for a pair of mappings are proven in terms of more general contractive conditions in Banach spaces.

Suppose thatEis a Banach space with the norm · EandIis a closed interval [a,b]

inR. LetE=C(I,E) be the set of all continuousE-valued functions onIequipped with the supremum norm · Edefined by

φE=sup

t∈I

φ(t)E (.)

for allφE. For a fixed elementcI, the Razumikhin class of functions inEis defined by

Rc=

φE:φE=φ(c)E

. (.)

Recall that a pointφEis said to be a PPF dependent fixed point or a fixed point with PPF dependence ofT:E→Eif=φ(c) for somecI.

(2)

Definition . LetAbe a subset ofE. Then:

(i) Ais said to be topologically closed with respect to the norm topology if for each sequence{xn}inAwithxnxasn→ ∞impliesxA.

(ii) Ais said to be algebraically closed with respect to the difference ifxyAfor all

x,yA.

Definition . LetS,T:E→Ebe two mappings. A pointφEis said to be a PPF dependent common fixed point or a common fixed point with PPF dependence ofSand

T if=φ(c) =for somecI.

Recently, Dhage [] proved the existence of PPF common fixed points for mappings satisfying the condition of Cirić type generalized contraction in a Razumikhin class.

Definition . Two mappingsS,T:E→Eare said to satisfy the condition of Cirić type generalized contraction if there exists a real numberλ∈[, ) satisfying

Sφλmax

φαE,φ(c) –E,α(c) –E,

φ(c) –TαE+α(c) –SφE

(.)

for allφ,αEand for somecI.

Theorem .(Dhage []) Suppose that S,T:E→E satisfy the condition of Cirić type

generalized contraction.Assume thatRcis topologically closed with respect to the norm topology and is algebraically closed with respect to the difference,then S and T have a unique PPF dependent common fixed point inRc.

Definition . LetA:E→EandS:E→E. A pointφEis said to be a PPF depen-dent coincidence point or a coincidepen-dent point with PPF dependence ofAandSif=(c) for somecI.

Dhage [] also assured the existence of PPF dependent coincidence points for mappings satisfying the condition of Cirić type generalized contraction (C) in a Razumikhin class.

Definition . A:E→EandS:E→Eare said to satisfy the condition of Cirić type generalized contraction (C) if there exists a real numberλ∈[, ) satisfying

AφAαEλmax

SφSαE,(c) –AφE,(c) –AαE,

(c) –AαE+(c) –AφE

(.)

for allφ,αEand for somecI.

Theorem .(Dhage []) Let A:E→E and S:E→Ebe two mappings satisfying the

condition of Cirić type generalized contraction(C).Suppose that

(3)

(b) S(E)is complete; (c) Sis continuous.

IfRc is topologically closed with respect to the norm topology and is algebraically closed with respect to the difference,then A and S have a PPF dependent coincidence point inRc.

In this work, we prove the existence of PPF dependent common fixed point theorems for mappings satisfying the contractive condition which is weaker than the condition of Cirić type generalized contraction. Furthermore, we also prove the PPF dependent coincidence points for mappings satisfying the weaker contractive condition mentioned in [] without being topologically closed with respect to the norm topology of a Razumikhin class. Our results extend Theorem . and partially generalize Theorem ..

2 PPF dependent common fixed points

Let be the set of all functionsψ whereψ : [, +∞)→[, +∞) is a continuous non-decreasing function withψ(t) <tfor allt∈(, +∞) andψ() = . Ifψ, thenψ is called a-map. We now introduce the definition of the condition of Cirić type general-izedψ-contraction and prove our first result.

Definition . LetS,T:E→E. We say thatSandTsatisfy the condition of Cirić type generalizedψ-contraction if

SφTαEψ max

φαE,φ(c) –SφE,α(c) –TαE,

φ(c) –TαE+α(c) –SφE

(.)

for allφ,αEand for somecI.

Theorem . Suppose that S,T:E→E satisfy the condition of Cirić type generalized

ψ-contraction.Assume thatRcis topologically closed with respect to norm topology and is algebraically closed with respect to the difference,then S and T have a unique PPF depen-dent common fixed point inRc.

Proof Letφ∈Rc. Since∈E, there existsx∈Esuch that=x. Chooseφ∈Rc

such that

x=φ(c) and φ–φE=φ(c) –φ(c)E.

Sinceφ∈Rcand by assumption, we have∈E. This implies that there existsx∈E such that=x. Therefore, we can chooseφ∈Rcsuch that

x=φ(c) and φ–φE=φ(c) –φ(c)E.

By continuing the process as before, we can construct the sequence{φn}such that

(4)

and

φnφn+E=φn(c) –φn+(c)E

for alln∈N∪ {}. We will show that{φn}is a Cauchy sequence inE. Assume thatφN–=

φN for someN∈N. IfNis even, then we haveN= mfor somem∈N. Therefore

φmφm+E

=φm(c) –φm+(c)E

=Sφmm–E

ψ max

φmφm–E,φm(c) –mE,φm–(c) –m–E,

φm(c) –m–E+φm–(c) –mE

ψ max

φmφm–E,φm(c) –φm+(c)E,φm–(c) –φm(c)E,

φm(c) –φm(c)E+φm–(c) –φm+(c)E

ψ max

φmφm–E,φmφm+E,

φm––φm+E

ψ max

φmφm–E,φmφm+E,

φm––φmE+φmφm+E

ψmaxφmφm–E,φmφm+E

ψmaxφmφm+E

.

This implies that φmφm+E=  and soφm=φm+. Similarly, we can prove that

φm+ =φm+. ThereforeφN =φN+. By mathematical induction, we can conclude that

φN–=φN+k for allk≥. IfN is odd, then by the same argument we also obtain that

φN–=φN+k for allk≥. Therefore{φn}is a constant sequence for allnN– . This

implies that{φn}is a Cauchy sequence inE. Suppose thatφn–=φnfor alln∈N. For each n∈N, we obtain that

φnφn+E =φn(c) –φn+(c)E

=Sφnn–E

ψ max

φnφn–E,φn(c) –nE,φn–(c) –n–E,

φn(c) –n–E+φn–(c) –nE

ψ max

(5)

φn(c) –φn(c)E+φn–(c) –φn+(c)E

ψ max

φnφn–E,φnφn+E,

φn––φn+E

ψ max

φnφn–E,φnφn+E,

φn––φnE+φnφn+E

ψmaxφnφn–E,φnφn+E

.

Ifmax{φnφn–E,φnφn+E}=φnφn+E, then

φnφn+E≤ψ

φnφn+E

<φnφn+E.

This leads to a contradiction. Therefore

φnφn+E≤ψ

φnφn–E

<φnφn–E.

Thusφnφn+E≤ φnφn–E. Similarly, we can prove that

φn+–φn+E≤ φnφn+E.

It follows that φnφn+E ≤ φn––φnE for alln∈N. Since the sequence{φn

φn+E}is a nonincreasing sequence of nonnegative real numbers, we obtain that it is

a convergent sequence. Suppose that

lim

n→∞φnφn+E=α

for some nonnegative real numberα. We will prove thatα= . Suppose thatα> . Since

φnφn+E≤ψ

φnφn–E

for alln∈Nand the continuity ofψ, we have

αψ(α) <α,

which leads to a contradiction. This implies thatα= . We next prove that the sequence

{φn}is a Cauchy sequence inE. It suffices to prove that the sequence{φn}is a Cauchy

sequence inE. Assume that{φn}is not a Cauchy sequence. It follows that there existε> 

and two sequences of even positive integers{mk}and{nk}satisfying mk> nk>kfor

eachk∈Nand

(6)

Let{mk}be the sequence of the least positive integers exceeding{nk}which satisfies

(.) and

φmk––φnkE<ε. (.)

We will prove thatlimk→∞φmkφnkE=ε. SinceφmkφnkE≥εfor allk∈N, we

have

lim

k→∞φmkφnkE≥ε.

For eachk∈N, we obtain that

φmkφnkE≤ φmkφmk–E+φmk––φmk–E+φmk––φnkE

φmkφmk–E+φmk––φmk–E+ε.

This implies thatlimk→∞φmkφnkE≤ε. Therefore

lim

k→∞φmkφnkE=ε.

Similarly, we can prove that

lim

k→∞φmk+–φnkE=ε, k→∞limφmkφnk–E=ε

and

lim

k→∞φmk+–φnk–E=ε.

For eachk∈N, we obtain that

φnkφmk+E≤φnk(c) –φmk+(c)E ≤ Sφmknk–E

ψ max

φmkφnk–E,φmk(c) –mkE,

φnk–(c) –nk–E, 

φmk(c) –nk–E+φnk–(c) –nkE

ψ max

φmkφnk–E,φmk(c) –φmk+(c)E, φnk–(c) –φnk(c)E,

φmk(c) –φnk(c)E+φnk–(c) –φnk+(c)E

ψ max

φmkφnk–E,φmkφmk+E,

(7)

 

φmkφnkE+φnk––φnk+E

ψ max

φmkφnk–E,φmkφmk+E,

φnk––φnkE,

 

φmkφnkE+φnk––φnkE+φnkφnk+E

.

By taking the limit of both sides, we have

εψ(ε) <ε,

which leads to a contradiction. It follows that the sequence{φn} is a Cauchy sequence

and so{φn}is a Cauchy sequence. By the completeness ofE, we have{φn}is a convergent

sequence. Suppose thatlimn→∞φn=φfor someφE. SinceRcis algebraically closed

with respect to the norm topology, we haveφRc. Moreover, we also obtain that

lim

n→∞φn+=φ=n→∞limφn+.

We will prove thatφis a PPF dependent fixed point ofS. By using (.), we obtain that

φ(c)Eφn+(c)E+φn+(c) –φ(c)E

≤ Sφn+E+φn+–φE

ψ max

φφn+E,φ(c) –SφE,φn+(c) –n+E,

φ(c) –n+E+φn+(c) –SφE

+φn+–φE

ψ max

φφn+E,φ(c) –SφE,φn+(c) –φn+(c)E,

φ(c) –φn+(c)E+φn+(c) –SφE

+φn+–φE

ψ max

φφn+E,φ(c) –E,φn+–φn+E,

 

φφn+E+φn+(c) –SφE

+φn+–φE.

Lettingn→ ∞, we obtain thatφ(c)E= . Therefore=φ(c). Similarly, we can

prove that=φ(c). This implies thatφ is a PPF dependent common fixed point ofS

andT. We finally prove the uniqueness of the PPF dependent fixed point ofSandTinRc.

LetαRcbe any PPF dependent common fixed point ofSandT. Therefore

φαE =φ(c) –α(c)E ≤ SφTαE

ψ max

(8)

φ(c) –TαE+α(c) –SφE

ψ max

φαE,

φ(c) –α(c)E+α(c) –φ(c)E

ψmaxφαE,φαE

=ψφαE

.

It follows thatφ=α. HenceSandT have a unique PPF dependent common fixed point

inRc.

Remark . From the proof of Theorem ., we obtain the following observations: () We assume that the Razumikhin classRcis algebraically closed with respect to

difference, that is,φαRcfor allφ,αRc, in order to construct the sequence {φn}satisfying

φαE=φ(c) –α(c)E.

() If the Razumikhin classRcis not assumed to be topologically closed, then the limit

of the sequence{φn}may be outside ofRc.

By applying Theorem ., we obtain the following corollary which is Theorem . in [].

Corollary . Suppose that S,T:E→E satisfy the condition of Cirić type generalized

contraction.Assume thatRc is topologically and algebraically closed with respect to the difference,then S and T have a unique PPF dependent fixed point inRc.

Proof Define a functionψ: [, +∞)→[, +∞) byψ(t) =λtfor allt∈[, +∞). Therefore

ψ is a continuous nondecreasing function and

ψ(t) <t for allt∈(, +∞) andψ() = .

This implies that all assumptions in Theorem . are satisfied. Hence the proof is

com-plete.

3 PPF dependent coincidence points

Definition . LetA:E→EandS:E→E. A pointφE is said to be a PPF de-pendent coincidence point or a coincidence point with PPF dependence ofA andS if

=(c) for somecI.

Definition . LetA:E→EandS:E→E. We say thatAandSsatisfy the condition of Cirić type generalized contraction (C) if there exists a real numberλ∈[, ) satisfying

AφAαEλmax

SφSαE,(c) –E,(c) –E,

(c) –AαE+(c) –AφE

(.)

(9)

We introduce the following contractive condition which is weaker than the condition of Cirić type generalized contraction (C).

Definition . LetA:E→EandS:E→E. We say thatAandSsatisfy the condition of Cirić type generalizedψ-contraction (C) if

AαEψ max

SαE,(c) –E,(c) –E,

(c) –AαE+(c) –AφE

(.)

for allφ,αEand for somecI.

We now prove the existence of PPF dependent coincidence points for mappings satis-fying the weaker contractive condition assumed in [] without being topologically closed of the Razumikhin class.

Theorem . Let A:E→E and S:E→Ebe two mappings satisfying the condition of

Cirić type generalizedψ-contraction(C).Suppose that

(a) A(E)⊆S(E)(c); (b) S(Rc)is complete;

(c) Sis continuous.

IfRcis algebraically closed with respect to the difference,then A and S have a PPF depen-dent coincidence point inRc.

Proof Letφ∈Rc. Since∈E, there existsx∈Esuch that=x. BecauseA(E)⊆

S(E)(c), we can chooseφ∈Rcsuch that

x=(c) =α(c) and α–αE=α(c) –α(c)E.

Since∈Eand by assumption, we have=x for somex∈E. BecauseA(E)⊆

S(E)(c), we can chooseφ∈Rcsuch that

x=(c) =α(c) and α–αE=α(c) –α(c)E.

By continuing the process as before, we can construct the sequence{αn}such that

Aφn=Sφn+(c), Sφn+=αn+

and

αnαn+E=αn(c) –αn+(c)E

for alln∈N∪ {}. We will show that{αn}is a Cauchy sequence inE. IfαN =αN+for someN∈N, then we have

αN+–αN+E =αN+(c) –αN+(c)E

(10)

ψ max

SφNSφN+E,SφN(c) –AφNE,

SφN+(c) –AφN+E, 

SφN(c) –AφN+E+SφN+(c) –AφNE

ψ max

αNαN+E,αN(c) –αN+(c)E,

αN+(c) –αN+(c)E,

αN(c) –αN+(c)E+αN+(c) –αN+(c)E

ψ max

αNαN+E,αNαN+E,

αN+–αN+E,

αNαN+E

ψ max

αNαN+E,αN+–αN+E,

 

αNαN+E

ψ max

αNαN+E,αN+–αN+E,

 

αNαN+E+αN+–αN+E

ψmaxαNαN+E,αN+–αN+E

ψαN+–αN+E

.

ThereforeαN+=αN+. By mathematical induction, we obtain that

αN=αN+k for allk∈N.

This implies that{αn}is a constant sequence fornN. Thus{αn}is a Cauchy sequence

inE. Suppose thatαn=αn+for alln∈N. For eachn∈N, we have

αn+–αn+E =αn+(c) –αn+(c)E

=AφnAφn+E

ψ max

SφnSφn+E,Sφn(c) –AφnE,

Sφn+(c) –Aφn+E, 

Sφn(c) –Aφn+E+Sφn+(c) –AφnE

ψ max

αnαn+E,αn(c) –αn+(c)E,

αn+(c) –αn+(c)E,

αn(c) –αn+(c)E+αn+(c) –αn+(c)E

(11)

ψ max

αnαn+E,αnαn+E,

αn+–αn+E,

αnαn+E

ψ max

αnαn+E,αn+–αn+E,

 

αnαn+E

ψ max

αnαn+E,αn+–αn+E,

 

αnαn+E+αn+–αn+E

ψmaxαnαn+E,αn+–αn+E

.

Ifmax{αnαn+E,αn+–αn+E}=αn+–αn+E, then

αn+–αn+E≤ψ

αn+–αn+E

<αn+–αn+E.

This leads to a contradiction. Therefore

αn+–αn+E≤ψ

αnαn+E

<αnαn+E.

It follows that αn+–αn+E ≤ αnαn+E for alln∈N. Since the sequence{αn

αn+E}is a nonincreasing sequence of real numbers, we obtain that it is a convergent

sequence. Suppose that

lim

n→∞αnαn+E=α

for some nonnegative real numberα. We will prove thatα= . Assume thatα> . Since

αn+–αn+E≤ψ

αnαn+E

for alln∈Nand the continuity ofψ, we have

αψ(α) <α,

which leads to a contradiction. This implies thatα= . We will prove that{αn}is a Cauchy

sequence inE. It suffices to prove that the sequence{αn}is a Cauchy sequence inE. Assume that{αn}is not a Cauchy. It follows that there existε>  and two sequences of

even positive integers{mk}and{nk}satisfying mk> nk>kfor eachk∈Nand

αmkαnkE≥ε. (.)

Let{mk}be the sequence of the least positive integers exceeding{nk}which satisfies

(.) and

(12)

We will prove thatlimk→∞αmkαnkE=ε. SinceαmkαnkE≥εfor allk∈N, we

have

lim

k→∞αmkαnkE≥ε.

For eachk∈N, we obtain that

αmkαnkE≤ αmkαmk–E+αmk––αmk–E+αmk––αnkE

αmkαmk–E+αmk––αmk–E+ε.

This implies thatlimk→∞αmkαnkE≤ε. Therefore

lim

k→∞αmkαnkE=ε.

Similarly, we can prove that

lim

k→∞αmk+–αnkE=ε, k→∞lim αmkαnk–E=ε

and

lim

k→∞αmk+–αnk–E=ε.

Since

αnkαmk+E≤αnk(c) –αmk+(c)E

=Aφnk––mkE

ψ max

Sφnk––mkE,nk–(c) –nk–E,

mk(c) –mkE, 

nk–(c) –mkE+mk(c) –nk–E

ψ max

αnk––αmkE,αnk–(c) –αnk(c)E, αmk(c) –αmk+(c)E,

αnk–(c) –αmk+(c)E+αmk(c) –αnk(c)E

ψ max

αnk––αmkE,αnk––αnkE,

αmkαmk+E,

αnk––αmk+E+αmkαnkE

,

by taking the limit of both sides, we have

(13)

which leads to a contradiction. It follows that the sequence{αn} is a Cauchy sequence

and so{αn}is a Cauchy sequence inE. Therefore{Sφn}is a Cauchy sequence inS(Rc).

By the completeness of S(Rc), we have{Sφn} is a convergent sequence. Suppose that limn→∞Sφn=φ∗ for someφ∗∈S(Rc). Thereforeφ∗= for someφRc. Moreover,

we also have

lim

n→∞Aφn=n→∞limSφn+(c) =(c).

We will prove thatφis a PPF dependent coincidence fixed point ofAandS. By using (.), we obtain that

(c)EAφnE+Aφn(c)EAφnE+Sφn+(c) –(c)E

ψ max

SφSφnE,(c) –AφE,Sφn(c) –AφnE,

(c) –AφnE+Sφn(c) –AφE

+Sφn+(c) –(c)E.

By takingn→ ∞, we obtain that=(c). Henceφ is a PPF dependent coincidence

point ofAandS.

By applying Theorem ., we obtain the following corollary.

Corollary . Let A:E→E and S:E→Ebe two mappings satisfying the condition of

Cirić type generalized contraction(C).Suppose that

(a) A(E)⊆S(E)(c); (b) S(Rc)is complete;

(c) Sis continuous.

IfRcis algebraically closed with respect to the difference,then A and S have a PPF depen-dent coincidence point inRc.

Proof Define a functionψ: [, +∞)→[, +∞) byψ(t) =λtfor allt∈[, +∞). Therefore

A:E→EandS:E→Esatisfy the condition of Cirić type generalizedψ-contraction (C). This implies that all assumptions in Theorem . are now satisfied. Hence the proof

is complete.

Questions

(i) Are the results in Theorem . and Theorem . still true when the norm closedness forRcis replaced by weak closedness or weak∗closedness (for dual Banach spaces)?

(ii) Is there some way to improve the results to more than two mappings or a family of mappings as in the case of nonexpansive mappings (see, for example, [] and references contained therein)?

Competing interests

(14)

Acknowledgements

This research is supported by the Centre of Excellence in Mathematics, the Commission of Higher Education, Thailand. I would like to express my deep thanks to the referees for their suggestions and comments which led to the improvement of the manuscript.

Received: 19 October 2012 Accepted: 22 May 2013 Published: 6 June 2013

References

1. Beg, I, Abbas, M: Coincidence point and invariant approximation for mappings satisfying generalized weak contractive condition. Fixed Point Theory Appl. (2006). doi:10.1155/FPTA/2006/74503

2. Jungck, G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci.9, 771-779 (1968) 3. Jungck, G: Common fixed points for commuting and compatible maps on compacta. Proc. Am. Math. Soc.103,

977-983 (1988)

4. Jungck, G: Common fixed points for noncontinuous nonself maps on nonmetric spaces. Far East J. Math. Sci.4, 199-215 (1996)

5. Jungck, G, Hussain, N: Compatible maps and invariant approximations. J. Math. Model. Algorithms325, 1003-1012 (2007)

6. Pant, RP: Common fixed points of noncommuting mappings. J. Math. Anal. Appl.188, 436-440 (1994) 7. Sintunavarat, W, Kumam, P: Common fixed point theorems for generalizedJ H-operators classed and invariant

approximations. J. Inequal. Appl. (2011). doi:10.1186/1029-242X-2011-67

8. Bernfeld, SR, Lakshmikantham, V, Reddy, YM: Fixed point theorems of operators with PPF dependence in Banach spaces. Appl. Anal.6, 271-280 (1977)

9. Dhage, BC: On some common fixed point theorems with PPF dependence in Banach spaces. J. Nonlinear Sci. Appl.5, 220-232 (2012)

10. Lau, AT-M, Zhang, Y: Fixed point properties for semigroups of nonlinear mappings and amenability. J. Funct. Anal.

263, 2949-2977 (2012)

doi:10.1186/1029-242X-2013-287

Cite this article as:Kaewcharoen:PPF dependent common fixed point theorems for mappings in Banach spaces.

References

Related documents