• No results found

Fixed points for cyclic R-contractions and solution of nonlinear Volterra integro-differential equations

N/A
N/A
Protected

Academic year: 2020

Share "Fixed points for cyclic R-contractions and solution of nonlinear Volterra integro-differential equations"

Copied!
9
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Fixed points for cyclic

R

-contractions and

solution of nonlinear Volterra

integro-differential equations

Mujahid Abbas

1,2

, Abdul Latif

2

and Yusuf I Suleiman

3*

*Correspondence:

[email protected]

3Department of Mathematics, Kano

University of Science and Technology, P.M.B. 3042, Wudil, Kano, Nigeria

Full list of author information is available at the end of the article

Abstract

In this paper, we introduce the notion of cyclicR-contraction mapping and then study the existence of fixed points for such mappings in the framework of metric spaces. Examples and application are presented to support the main result. Our result unify, complement, and generalize various comparable results in the existing literature.

MSC: 47H10; 47H09; 54H25

Keywords: fixed point; cyclic contractions; Meer-Keeler functions; simulation functions;R-contractions

1 Introduction and preliminaries

Let (X,d) be any metric space,Ya subset ofX, andf :XY. A pointxinXthat remains invariant underf is called a fixed point off. The set of all fixed points off is denoted byF(f). A sequence{xn} inX defined byxn+=f(xn) =fn(x),n= , , , . . . , is called a

sequence of successive approximations offstarting fromx∈X. If it converges to a unique

fixed point off, thenf is called a Picard operator.

Fixed point theory plays a vital role in the study of existence of solutions of nonlin-ear problems arising in physical, biological, and social sciences. Some fixed point results simply ensure the existence of a solution but provide no information about the unique-ness and determination of the solution. The distinguishing feature of Banach-Caccioppoli contraction principle is that it addresses three most important aspects known as exis-tence, uniqueness, and approximation or construction of a solution of linear and non-linear problems. The simplicity and usefulness of this principle has motivated many researchers to extend it further, and hence there are a number of generalizations and modifications of the principle. One way to extend the Banach theorem is to weaken the contractive condition by employing the concept of comparison functions. For a detailed survey of such extensions obtained in this direction, we refer to [, ] and references therein.

We denote byPcl(X),N,N,R, andR+the collection of nonempty closed subsets of a

metric space (X,d), the set of positive integers, the set of nonnegative integers, the set of real numbers, and the set of positive real numbers, respectively.

(2)

Let (X,d) be a metric space. A self mappingf onXis called aϕ-contractionif

d(fx,fy)≤ϕd(x,y)

for allx,yinX, whereϕis a suitable function on [,∞), called a comparison function. Definition . A mapϕ: [,∞)→[,∞) is said to be aBrowder functionifϕis right

continuous and monotone increasing.

Browder functionsare examples of comparison functions. A self-mappingfonXis called aBrowder contractionif

d(fx,fy)≤ϕ

d(x,y)

for allx,yX, whereϕis aBrowder function. EveryBrowder contractionon a complete

metric space is a Picard operator []. EveryBanach-contraction is aBrowder contraction ifϕ(t) =γtforγ ∈[, ).

Boyd and Wong [] introduced a class of comparison functions as follows.

Definition . A functionϕ: [,∞)→[,∞) is called aBoyd-Wong functionifϕ is

upper semicontinuous from the right andϕ(t) <tfor allt> .

A self-mappingf onXis called aBoyd-Wong contractionif for allx,yX, d(fx,fy)≤ϕ

d(x,y),

whereϕ is aBoyd-Wong function. EveryBoyd-Wong contractionon a complete metric

space is a Picard operator []. Note that Browder functions are Boyd-Wong functions. Matkowski [] initiated another class of comparison functions as follows.

Definition . A functionφ: [,∞)→[,∞) is called aMatkowski functionifφis in-creasing andlimn→∞φn(t) =  for allt≥.

Every Matkowski function is a Boyd-Wond function ([]). Geraghty [] defined the following class of comparison functions.

Letbe the class of all mappingsβ: [,∞)→[, ) satisfying the condition:β(tn)→

impliestn→. Elements ofare calledGeraghty functions.

Note that=φ. For example, if a mappingβ: [,∞)→[, ) is defined byβ(x) =+x, x∈[,∞), thenβ.

Let (X,d) be a complete metric space, andf :XX. If there exists aGeraghty function βsuch that for anyx,yX, we have

d(fx,fy)≤βd(x,y)d(x,y), thenf is a Picard operator.

A self-mappingf onXis called aMeir-Keeler mappingif for any> , there existsδ> 

such that for allx,yXwithd(x,y) <+δ, we haved(fx,fy) <.

(3)

Definition . A mappingη: [,∞)→[,∞) is called aLim function or L-functionif η() = ,η(t) >  for allt>  and for any> , there existsδ>  such thatη(t)≤for all

t∈[,+δ].

A self-mapf on a metric space (X,d) is aMeir-Keeler mapping iff there exists an L-functionηsuch thatd(fx,fy) <η(d(x,y)) for allx,yXwithd(x,y) > .

The notion of simulation functions was introduced by Khojastehet al.[] and then mod-ified in [] and [].

Definition . A mappingζ : [,∞)×[,∞)→Ris called asimulation functionif the following conditions hold:

(ζ) ζ(t,s) <stfor allt,s> ;

(ζ) if{tn}and{sn}are sequences in(,∞)such thatlimn→∞tn=limn→∞sn∈(,∞)and

tn<snfor alln∈Nthenlim supn→∞ζ(tn,sn) < .

Note that Boyd-Wong functions are simulation functions.

Consistent with Rodan-Lopez-de-Hierro and Shahzad [], the following definitions, examples, and results will be needed in the sequel.

Definition . LetA⊂Rbe a nonempty set. A function:A×A→Ris called an R-functionif:

() for any sequence{an} ⊂(,∞)∩Awith(an+,an) > ∀n∈N, we havelimn→∞an=

;

() for any sequences{an},{bn}in(,∞)∩Asatisfying(an,bn) > ∀n∈N,limn→∞an= limn→∞bn=L≥andL<animply thatL= .

Example .([], Example ) Define: [,∞)×[,∞)→Rby

(t,s) = ⎧ ⎨ ⎩

st ift<s,

 ifts.

Thenis anR-function that is not a simulation function.

Rodan-Lopez-de-Hierro and Shahzad [] also considered the following condition:

() If{an}and{bn}are sequences in(,∞)∩Asuch thatlimn→∞bn= and(an,bn) > 

n∈N, thenlimn→∞an= .

Example .([], Lemma ) Every simulation function is anR-function that satisfies ().

Example . ([]) If φ : [,∞)→[, ) is a Geraghty function, then φ : [,∞)×

[,∞)→Rdefined by φ(t,s) =φ(s)st

(4)

Example .([]) Ifφ: [,∞)→[,∞) is anL-function, thenφ: [,∞)×[,∞)→R

defined byφ(t,s) =φ(s) –tis anR-function satisfying ().

Definition . Let (X,d) be a metric space. A self-mapfofXis called anR-contractionif there existsRAsuch thatran(d)⊆Aand(d(fx,fy),d(x,y)) >  for allx,yXwithx=y,

whereRAis the family of all functions:A×A→Rsatisfying the conditions () and

(), andran(d) is the range of the metricddefined byran(d) ={d(x,y) :x,yX} ⊆[,∞).

Definition . LetXbe a nonempty set,pa positive integer, andf a self-map onX. If

{Bi:i= , , . . . ,p}is a finite family of nonempty subsets ofXsuch thatf(B)⊂B,f(B)⊂

B, . . . ,f(Bp–)⊂Bp,f(Bp)⊂B. Then the setpi=Biis called acyclic representation of X

with respect to f.

Kirket al.[] introduced the notion of cyclicϕ-contraction mappings as follows.

Definition . Let (X,d) be a metric space, and{Bi:i= , , . . . ,p}be a finite family of

nonempty closed subsets ofX. An operatorf :pi=Bipi=Biis said to be acyclicϕ

-contractionifpi=Biis a cyclic representation ofXwith respect tof and

d(fx,fy)≤ϕd(x,y)

for allxBi,yBi+, ≤ip, whereBp+=B, andϕis a Boyd-Wong function.

Kirket al.[] established the following fixed point results for Geraghty, Boyd-Wong, and Caristi cyclicϕ-contractions.

Theorem . Let(X,d)be a complete metric space,and p a natural number.Suppose that a self-mapping f is a cyclicϕ-contraction onpi=Bi.Then there exists a unique element

zpi=Bisuch that f(z) =z.

Later, Pacurar and Rus [] introduced the notion ofweakly cyclicϕ-contraction. Kara-pinar [] improved the results in [] dropping the requirement of continuity. For more results in this direction, we refer to [–] and references therein.

We now introduce the following notion ofcyclic R-contraction mapping.

Definition . Let (X,d) be a metric space, and B,B, . . . ,BpPcl(X). A mappingf :

p i=Bi

p

i=Biis said to be acyclic R-contractionif

(i) there existsRAwithran(d)⊆A;

(ii) pi=Biis a cyclic representation ofXwith respect tof, and

(iii) (d(fx,fy),d(x,y)) > for allxBi,yBi+,≤ip, whereBp+=B.

Meir-Keeler, Geraghty, and simulation contractions are typical examples ofR -contrac-tions that satisfy (). Consequently, the cyclic-R-contractions are a generalization of

(5)

2 Main results

We start with the following result.

Theorem . Let(X,d)be a complete metric space,and B,B, . . . ,BpPcl(X).Suppose

that a mapping f is a cyclic R-contraction onpi=Bi.Then there exists a unique element

zpi=Bisuch that f(z) =z.

Proof Letx be a given point in

p

i=Bi. Then there exists i in {, , . . . ,p} such that

x∈Bi. Sincef(Bi)⊂Bi+, we have thatf(x)∈Bi+. Thus, there existsx∈Bi+with f(x) =x. Similarly, there existsx ∈Bi+ withf(x) =x. Continuing in this way, we can construct a sequence inpi=Bibyxn=f(xn–) =fn(x)∈Bi+nfor alln∈N. Now, if xn+=xnfor somen∈N, then the result follows immediately. Suppose thatxn+=xnfor

alln∈N. Note that

d(fxn–,fxn),d(xn–,xn)

=d(xn,xn+),d(xn–,xn)

>  for alln∈N. From property () of anR-function we have

lim

n→∞d(xn,xn+) = . (.)

We now show that{xn}is a Cauchy sequence. If not, then there existsL>  such that for

anyk∈N, we can construct two subsequences{xmk}and{xnk}of{xn}withnk>mkk

satisfying

d(xmk,xnk) >L.

Without any loss of generality, we assume thatnkis the smallest integer greater thanmk

for which the last inequality holds. We can choosejk∈ {, , . . . ,p} such thatnk>mk>

mkjkwithnkbelonging to the residue class ofmkjk+ , and hencexmkjkandxnklie in

different adjacently labeled setsBiandBi+for somei∈ {, , . . . ,p}. Thus,

d(xmkjk,xnk) >L and d(xmkjk,xnk–)≤L for allk∈N. (.)

By (.) we have

L< d(xmkjk,xnk)

< d(xmkjk,xnk–) +d(xnk–,xnk–) +d(xnk–,xnk)

L+d(xnk–,xnk–) +d(xnk–,xnk). (.)

Taking the limit ask→ ∞on both sides of this inequality, we have

lim

k→∞d(xmkjk,xnk) =L. (.)

Similarly,

L<d(xmkjk,xnk)

(6)

Also,

d(xmkjk–,xnk–)≤d(xmkjk–,xmkjk) +d(xmkjk,xnk) +d(xnk,xnk–). (.)

Taking the limit ask→ ∞on both sides of (.) and (.), we obtain that

lim

k→∞d(xmkjk–,xnk–) =L. (.)

Now, since

d(xmkjk,xnk) >L for allk∈N, lim

k→∞d(xmkjk–,xnk–) = lim

k→∞d(xmkjk,xnk) =L, and

d(fxmkjk–,fxnk–),d(xmkjk–,xnk–)

=d(xmkjk,xnk),d(xmkjk–,xnk–)

> ,

then by property () of anR-function, we conclude that  =L> , a contradiction. Hence,

{xn} is a Cauchy sequence in X. Since (X,d) is complete, there existsγX such that limn→∞xn=γ. Since

p

i=Biis a cyclic representation ofXwith respect tof, there

ex-ist subsequences{xnp},{xnp+},{xnp+}, . . . ,{xnp+p–},{xnp+p–}, and{xnp+p} of{xn} such that

{xnp} ⊂B,{xnp+} ⊂B,{xnp+} ⊂ B, . . . ,{xnp+p–} ⊂Bp–,{xnp+p–} ⊂ Bp, and {xnp+p} ⊂

Bp+=B. Since eachBi,i∈ {, , , . . . ,p}, is a closed subset ofXandlimn→∞xn=γ, we

deduce thatγpi=Bi.

Note that for eachn∈N, there existsin∈ {, , . . . ,p}such thatxn–∈Bin–,xnBin, and

γBin. Thus,

d(,fxn–),d(γ,xn–)

=d(,xn),d(γ,xn–)

>  for alln∈N.

Using property () of anR-function, we obtain thatlimn→∞d(,xn) =d(,γ) = .

Therefore,γ is a fixed point off inpi=Bi.

Uniqueness: Suppose that there exists another fixed point x∗ off in pi=Bi, that is,

d(x∗,γ) >  andd(,fx∗) =d(γ,x∗). Sincef is a cyclicR-contraction, we have

dfγ,fx∗,,x∗> .

By property () of anR-function we have  <d(x∗,γ) =limn→∞d(x∗,γ) = , a

contradic-tion. This establishes the result.

Example . LetX=Rbe endowed with the Euclidean metric d(x,y) =|xy| for all x,yX. Suppose thatB= [–, ],B= [, ], andA=ran(d)⊂[,∞). Definef :

i=Bi

i=Biand:A×A→Ras

f(x) = –x

 and (t,s) = ⎧ ⎨ ⎩

st ift<s,

 ifts.

Note that (X,d) is a complete space andBandBare closed inX. IfxB, that is, –≤

x≤, then ≤–x implies thatf(x)∈B. Similarly, ifxB, that is, ≤x≤, then

(7)

Further,(d(fx,fy),d(x,y)) =d(x,y) –d(fx,fy) =|xy|>  for allxB,yB. Thus,

all conditions of Theorem . are satisfied. Moreover,z= ∈i=Biis a fixed point off.

Example . LetX=Randd(x,y) =|xy|for allx,yX. Suppose thatB={n}n∈N∪{},

B={–n–}n∈N∪{}, andA=ran(d)⊂[,∞). Definef :

i=Bi

i=Biand:A×A

Ras

f(x) = ⎧ ⎨ ⎩

x ifxB,

x

 ifxB,

and (t,s) = ⎧ ⎨ ⎩

st ift<s,

 ifts.

It is clear thatB andB are closed subsets of a complete metric space (X,d) such that

f(B)⊂Bandf(B)⊂B. Note that

d(fx,fy),d(x,y)=

d(x,y) –d(fx,fy)

=

|xy|– xy

> 

|xy|– xx

– y  = 

|xy|> 

for allxB,yB. Hence, all conditions of Theorem . are satisfied, andz= ∈

i=Bi

is a fixed point off.

Remark . In this example, the mapping is a cyclicR-contraction that is neither a Meir-Keeler cyclic contraction nor a simulative cyclic contraction and hence neither a Boyd-Wong nor a Geraghty cyclic contraction. Indeed, if we taket=s= , then (ζ) fails.

Corollary . Let(X,d)be a complete metric space,and B,B, . . . ,BpPcl(X).Suppose

that a mapping f is a manageable cyclic contraction,or a simulative cyclic contraction,or a Geraghty cyclic contraction,or a Boyd-Wong cyclic contraction,or a Meir-Keeler cyclic contraction onpi=Bi.Then there exists a unique element z

p

i=Bisuch that f(z) =z.

3 Application to nonlinear Volterra integral equations

Motivated by the work in [], we obtain the existence and uniqueness of solutions for nonlinear Volterra integral differential equations.

Consider the following problem:

u(x,y) =f(x,y) + x

gx,y,ξ,u(ξ,y)+ x

y

hx,y,σ,τ,u(σ,τ)dτdσ, (.)

where fC(R+×R+,R),gC(E

×R+,R),hC(E×R+,R),E={f(x,y,s) :sx

[,∞),y∈[,∞)}, andE={f(x,y,s,t) :sx∈[,∞),ty∈[,∞)}.

LetXbe the space of functionszC(R+×R+,R) satisfying|z(x,t)|=O(eλ(x+y)), where

λis a positive constant, that is,|z(x,y)| ≤M(x+y)for some constantM> .

(8)

Note that (X, · X) is a Banach space. Define the mappingT:XXby

Tu(x,y)=f(x,y) + x

gx,y,ξ,u(ξ,y)+ x

y

hx,y,σ,τ,u(σ,τ)dτdσ

for everyuX. It is easy to see thatu∗∈Xis a solution of problem (.) ifT(u∗) =u∗. Theorem . Suppose that problem(.)satisfies the following conditions:

(I)

g(x,y,ξ,u) –g(x,y,ξ,u¯) ≤h(x,y,ξ)|uu¯|

and

h(x,y,σ,τ,u) –h(x,y,σ,τ,u¯) ≤h(x,y,σ,τ)|uu¯|,

whereh∈C(E, [,∞))andh∈C(E, [,∞));

(II) There existα,βinXandα,βinRwithα≤α(x,t)≤β(x,t)≤β(x,t)such that

α(x,t)≤f(x,t) + x

gt,s,ξ,β(ξ,s)+ x

y

ht,s,σ,τ,β(σ,τ)dτdσ

and

β(x,t)≥f(x,t) + x

gt,s,ξ,α(ξ,s)+ x

y

ht,s,σ,τ,α(σ,τ)dτdσ

for allx,t∈[,∞); (III)

x

h(x,y,ξ)(x+y)+

x

y

h(x,y,σ,τ)(σ+τ)dτdσδ(x+y)

and

f(x,t) +

x

g(x,y,ξ, )+ x

y

h(x,y,σ,τ, )dτdσδ(x+y)

for some nonnegative constantsδ,δ< ;

(IV) There existα,βinXsuch thatα(t)≤β(t),T(α(x,t))≤β(x,t),and

T(β(x,t))≥α(x,t).Then the integral Eq. (.)has a unique solutionuin

={uX:α(x,y)≤u(x,y)≤β(x,y)}.

Proof LetB={uX:u(x,t)≤β(x,t)}andB={uX:u(x,t)≥α(x,t)}. ThenBandB

are closed subsets of the complete metric spaceX. IfuB, then by conditions (I), (II),

and (IV) we conclude thatT(u(x,t))≥α(x,t). Hence,TuB. Similarly,uB implies

thatTuB, and henceT(B)⊂BandT(B)⊂B.

IfuBandvB, thenu(x,t)≤β(x,t)≤βandv(x,t)≥α(x,t)≥α. From conditions

(I) and (III) we obtain that

(9)

Thus,

TuTvXςuvXeλ(x+y), whereς=δ< .

Taking(t,s) =ςst, we have

TuTvX,uvX

=ςuvXTuTvX> , u=v.

Consequently,Tis a cyclicR-contraction oni=Bi. By Theorem .,Thas a unique fixed

pointu∗ini=Bi, which is the solution of the integral-differential Eq. (.).

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this paper. The authors declare that they have no competing interests. All authors read and approved the final manuscript.

Author details

1Department of Mathematics and Applied Mathematics, University of Pretoria, Hatfield, South Africa.2Department of

Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia.3Department of Mathematics, Kano

University of Science and Technology, P.M.B. 3042, Wudil, Kano, Nigeria.

Acknowledgements

The authors are very indebted to both reviewers for a number of useful suggestions to improve this paper.

Received: 16 December 2015 Accepted: 4 May 2016

References

1. Berinde, V: Iterative Approximation of Fixed Points. Springer, Berlin (2007)

2. Latif, A: Banach contraction principle and its generalizations. In: Almezel, S, Ansari, QH, Khamsi, MA (eds.) Monograph: Topics in Fixed Point Theory, pp. 33-64. Springer, Berlin (2014)

3. Browder, F: On the convergence of successive approximations for nonlinear functional equations. Indag. Math.30, 27-35 (1968)

4. Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc.20, 458-464 (1969) 5. Matkowski, J: Integrable solutions of functional equations. Diss. Math.127, 1-68 (1975) 6. Geraghty, M: On contractive mappings. Proc. Am. Math. Soc.40, 604-608 (1973)

7. Lim, TC: On characterizations of Meir-Keeler contractive maps. Nonlinear Anal.46, 113-120 (2001)

8. Khojasteh, F, Shukla, S, Radenovi´c, S: A new approach to the study of fixed point theorems via simulation functions. Filomat29(6), 1189-1194 (2015)

9. Argoubi, H, Samet, B, Vetro, C: Nonlinear contractions involving simulation functions in a metric space with a partial order. J. Nonlinear Sci. Appl.8(6), 1082-1094 (2015)

10. Roldan-Lopez-de-Hierro, AF, Shahzad, N: New fixed point theorem underR-contractions. Fixed Point Theory Appl.

2015, 98 (2015)

11. Kirk, WA, Srinivasan, PS, Veeramani, P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory4(1), 79-89 (2003)

12. P˘acurar, M, Rus, IA: Fixed point theory for cyclicφ-contractions. Nonlinear Anal., Theory Methods Appl.72(3-4), 1181-1187 (2010)

13. Karapinar, E: Fixed point theory for cyclic weakφ-contraction. Appl. Math. Lett.24(6), 822-825 (2011)

14. Abbas, M, Nazir, T, Romaguera, S: Fixed point results for generalized cyclic contraction mappings in partial metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat.106, 287-297 (2012)

15. Karapinar, E, Moradi, S: Fixed point theory for cyclic generalized (ϕφ)-contraction mappings. Ann. Univ. Ferrara59, 117-125 (2013)

16. Karapinar, E: Best proximity points of cyclic mappings. Appl. Math. Lett.25(11), 1761-1766 (2012)

References

Related documents

The finding of the study showed that interaction of online banking and Deposit Asset Ratio has positive significant impact on the profitability of the Deposit Money Banks

The highest overall acceptability was observed in formulation with 50% cabbage extract, 30% lime juice, 15% amla juice and 5% ginger extract with ideal functional

Thus a particular symbol, such as the broad arrow, does not carry a referential function; a range of referential functions are in effect determined by the practices that embrace

Each strategy is represented by the hierarchical classifier applied, flat classifier used, type of attribute selection ( eager or lazy ), and the percentage of attributes that

Among the sequences of the multiple finTRIMs described in both trout and zebrafish, the variable sites are predominantly located in the variable loops of the domain, in a way

Molecular typing and virulence analysis of serotype K1 Klebsiella pneumoniae strains isolated from liver abscess patients and stool samples from noninfectious subjects in Hong