Scholarly article on topic 'Solvability of integrodifferential problems via fixed point theory in b-metric spaces'

Solvability of integrodifferential problems via fixed point theory in b-metric spaces Academic research paper on "Mathematics"

0
0
Share paper
Academic journal
Fixed Point Theory Appl
OECD Field of science
Keywords
{""}

Academic research paper on topic "Solvability of integrodifferential problems via fixed point theory in b-metric spaces"

Cosentino et al. Fixed Point Theory and Applications (2015) 2015:70 DOI 10.1186/s13663-015-0317-2

0 Fixed Point Theory and Applications

a SpringerOpen Journal

RESEARCH

Open Access

Solvability of integrodifferential problems via fixed point theory in ¿-metric spaces

Monica Cosentino1, Mohamed Jleli2, Bessem Samet2* and Calogero Vetro1

CrossMark

"Correspondence: bsamet@ksu.edu.sa 2Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh, 11451, Saudi Arabia Full list of author information is available at the end of the article

Abstract

The purpose of this paper is to study the existence of solutions set of integrodifferential problems in Banach spaces. We obtain our results by using fixed point theorems for multivalued mappings, under new contractive conditions, in the setting of complete b-metric spaces. Also, we present a data dependence theorem for the solutions set of fixed point problems.

MSC: 47H10; 34A60

Keywords: b-metric space; differential inclusion; fixed point; multivalued mapping

ft Spri

ringer

1 Introduction

Measure theory is a classical topic in mathematical analysis which is usually studied in the setting of real and complex numbers and functions. Indeed, measures have applications in the foundations of integration, probability and ergodic theories. On the other hand, theory of multivalued mappings has an important role in various branches of mathematics because of its applications in optimal control problems involving integrodifferential inclusions. As a matter of fact, the theory of integrodifferential equations and inclusions has undergone rapid development over the last decades (see, for instance, [1] and the references therein). Indeed, this theory has increased its significance in modern applied mathematical models of real processes arising in many engineering and scientific disciplines such as physics, biology, economics, signal processing and data fitting.

Notice that in the literature there are many papers focusing on the solution of differential problems approached via fixed point theory (see, for example, [2-4] and the references therein). On the other hand, it is well known that metric spaces and their generalizations furnish an useful tool for the study of multivalued mappings. In this regard, Nadler [5] was the first author who combined the ideas of contractions and multivalued mappings by providing a fixed point existence result.

Theorem 1.1 ([5]) Let (X, d) be a complete metric space and let T: X ^ CB(X) be a multivalued mapping satisfying H(Tx, Ty) < kd(x,y) for allx,y e X, where k is a constant such that k e (0,1), and CB(X) denotes the family of non-empty, closed and bounded subsets ofX. Then T has a fixed point, that is, there exists a point u e X such that u e Tu.

Later on, many generalizations, extensions and applications of this theorem have appeared in the literature (see, for instance, [6-13]). In this literature review, we start from

© 2015 Cosentino et al.; licensee Springer. This article is distributed under the terms of the Creative Commons Attribution 4.0 Inter-nationalLicense (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the originalauthor(s) and the source, provide a linkto the Creative Commons license, and indicate if changes were made.

looking at the paper of Wardowski [14] who introduced a new concept of contraction, called F-contraction. Consequently, Wardowski proved fixed point theorems generalizing the Banach-Caccioppoli fixed point theorem (of which Theorem 1.1 is the multivalued version) in a new way than in the previous known theorems of the same class. Subsequently, Sgroi and Vetro [15] extended Wardowski's ideas to the case of multivalued mappings and studied the solution of certain functional and integral equations under a suitable set of hypotheses. Yet another inspiration for our work comes from Feng and Liu's paper [16] providing useful tools to establish both global and local fixed point theorems. Finally, we recall that the concept of metric space has been generalized in many directions to include measurements in a much more general sense. Here, we focus our attention on the notion of ¿-metric spaces, which are metric spaces satisfying a relaxed form of triangle inequality, see Czerwik [17] and Bakhtin [18]. Several researchers followed the idea of Czerwik and proved interesting results [19-25].

In this paper, we study the existence of solutions for certain integral problems of Fredholm type in Banach spaces. Also, we present a data dependence theorem for the solutions set of fixed point problems. We obtain our results by using fixed point theorems for multivalued mappings, under new contractive conditions, in the setting of complete ¿-metric spaces. Clearly, the presented theorems extend well-known results in the literature to b-metric spaces.

2 Preliminaries

In this section, we collect some basic definitions, lemmas and notations which will be used throughout the paper (see [17,18, 26, 27] and the references therein). Let R+ denote the set of all nonnegative real numbers and N denote the set of positive integers.

Definition 2.1 Let X be a non-empty set and let s > 1 be a given real number. A function d: X x X ^ R+ is said to be a b-metric if and only if for all x, y, z e X the following conditions are satisfied:

(1) d(x, y) = 0 if and only if x = y;

(2) d(x, y) = d(y, x);

(3) d(x, z) < s[d(x, y) + d(y, z)].

Then the triplet (X, d, s) is called a b-metric space.

Clearly, a (standard) metric space is also a b-metric space, but the converse is not always true.

Example 2.2 Let X = [0,1] and d : X x X ^ R+ be defined by d(x,y) = |x - y|2 for all x, y e X. Clearly, (X, d, 2) is a b-metric space that is not a metric space.

Again, let (X, d, s) be a b-metric space. The following notions are natural deductions from the corresponding metric versions:

(i) A sequence {xn} c X converges to x e X if limn^+TO d(xn,x) = 0.

(ii) A sequence {xn} c X is said to be a Cauchy sequence if, for every given e >0, there exists a positive integer n(e) such that d(xm,xn) < e for all m, n > n(e).

(iii) A b-metric space (X, d, s) is said to be complete if and only if each Cauchy sequence converges to some x e X.

Next, we give two significant examples of b-metric spaces from the literature.

Example 2.3 ([19]) Let p e (0,1). Then the set lp(R) := {{xn} C R : £TO |xnlp < TO endowed with the functional d: lp (R) x lp (R) ^ R given by

(TO \ 1/P

^2lxn - yn|P

for all {xn}, {yn} e lp(R) is a b-metric space with s = 21/p.

Example 2.4 ([19]) Letp e (0,1). Then the space Lp([0,1]) of all real functions/: [0,1] ^ R such that /1 /(t)|pdt < to endowed with the functional d: Lp([0,1]) x Lp([0,1]) ^ R given by

d/, g) = (/V (t)-g(t)\pdt"j1/p

for all/,g e Lp ([0,1]) is a b-metric space with s = 21/p.

Now, we give a brief background for multivalued mappings defined in a b-metric space (X, d, s). For A, B e CB(X), define the function H: CB(X) x CB(X) ^ R+ by

H (A, B) = max {5 (A, B), S(B, A)},

5(A,B) = sup{d(a,B),a e A}, 5(B,A) = sup{d(b,A), b e B}

d(a, C) = inf{d(a,x),x e C}.

Note that H is called the Hausdorff b-metric induced by the b-metric d. We recall the following properties from [17, 24, 27].

Lemma 2.5 Let (X, d, s) be a b-metric space. For any A, B, C e CB(X) and any x,y e X, we have the fallowing:

(i) d(x, B) < d(x, b) for any b e B;

(ii) 5 (A, B) < H(A, B);

(iii) d(x,B) < H(A,B) for any x e A;

(iv) H(A,A) = 0;

(v) H(A,B)=H(B,A);

(vi) H(A, C) < s[H(A,B) + H(B, C)];

(vii) d(x,A) < s[d(x,y) + d(y,A)].

Lemma 2.6 Let (X, d, s) be a b-metric space and A, B e CB(X). Then,/or each h >1 and /or each a e A, there exists b(a) e B such that d(a, b(a)) < hH(A, B).

Lemma 2.7 Let (X, d, s) be a b-metric space. For A e CB(X) andx e X, we have

d(x, A) = 0 ^^ x e A = A, where A denotes the closure of the set A. We conclude this section with two useful lemmas.

Lemma 2.8 Let (X, d, s) be a b-metric space and let {xn} be a sequence in X. Iflimn^+TO x, y and limn^+TO xn = z, then y = z.

Lemma 2.9 Let (X, d, s) be a b-metric space and let {xn} be a sequence in X such that

d(xn,xn+i) << Xd(xn_i,xn)

for some X e (0, s-1) and each n e N. Then {xn} is a Cauchy sequence in X.

3 Fixed point theory in b-metric spaces 3.1 Wardowski type theorem

We study the existence of fixed points for multivalued mappings by adapting the ideas in [14] to the b-metric setting. The motivation of this research is to solve certain classes of integrodifferential problems. First, inspired by Wardowski [14], we give the following definitions.

Definition 3.1 Let s > 1 be a real number. We denote by Fs the family of all functions F: R+ ^ R with the following properties: (Fl) F is strictly increasing;

(F2) for each sequence {an} c R+ of positive numbers limn^+TO an = 0 if and only if limn^+TO F (an) = -to;

(F3) for each sequence {an} c R+ of positive numbers with limn^+TO an = 0, there exists

k e (0,1) such that limn^+TO(an)kF(an) = 0; (F4) for each sequence {an} c R+ of positive numbers such that t + F(san) < F(an-1) for all n e N and some t e R+, then t + F(snan) < F(sn-1an-1) for all n e N.

Example 3.2 Let F: R+ ^ R be defined by F(x) = x + lnx. Clearly, F satisfies (F1)-(F4). Here we show only (F4).

Assume that, for all n e N and some t e R+, we have t + san + ln(san) < an-1 + ln an-1. Since x + ln x is an increasing function, then san < an-1. Thus

(sn-1 - 1)san + lnsn1 < (sn-1 - 1)an-1 + lnsn-1

implies that

t + snan + ln snan = t + san + (sn-1 - 1 san + ln sn-1 + ln san < an-1 + (sn-1 - 1 an-1 + ln sn-1 + ln an-1 = sn-1an-1 + l^sn-1an-1)

and hence (F4) holds true. Note that also F: R+ ^ R defined by F(x) = lnx satisfies (F1)-(F4).

Definition 3.3 Let (X, d, s) be a b-metric space. A multivalued mapping T : X ^ CB(X) is called an F-contraction of Nadler type if there exist F e Fs and t e R+ such that

2t + F(sH(Tx, Ty)) < F(d(x,y))

for all x, y e X with Tx = Ty.

Now, we are ready to state and prove our first main theorem.

Theorem 3.4 Let (X, d, s) be a complete b-metric space and let T: X ^ CB(X). Assume that there exists a continuous/rom the rightfunction F e Fs and t e R+ such that

2t + F(sH(Tx, Ty)) < F(d(x,y)) (3.1)

/or all x, y e X, Tx = Ty. Then T has a fixed point.

Proo/ Let x0 e X be an arbitrary point of X and choose x1 e Tx0. Clearly, if x1 e Tx1, we deduce that x1 is a fixed point of T and so we can conclude the proof. Now, we assume that x1 e Tx1 and hence Tx0 = Ix1. Since F e Fs is continuous from the right, there exists a real number h >1 such that

F(hsH(Tx0, Tx1)) < F(^sH(Tx0, Tx1)) + t.

Next, from d(x1, Tx1) < hH(Tx0, Tx1), we deduce that there exists x2 e Tx1 (obviously, x2 = x1) such that d(x1,x2) < hH(Tx0, Tx1). Therefore, we can write

F(sd(x1,x2)) < F(shH(Tx0, Tx1)) < F(^sH(TxTx1^ + t,

which implies

2t + F(sd(x1,x2)) < 2t + F(sH(Tx0, Tx1^ + t < F(d(x0, x1)) + t.

Consequently, we get

t + F(sd(x1,x2)) < F(d(x0,x1^.

Iterating this procedure, we construct a sequence {xn} C X such that xn e Txn, xn+1 e Txn and

t + F(sd(xn+1,xn+2)) < F(d(xn,xn+1^ for all n e N U {0}.

In order to simplify the reading of calculations, let dn = d(xn,xn+1) > 0 for all n e N U {0}. It follows by (3.2) and property (F4) that

t + F(snd(xn,xn+1)) < F(sn-1d(xn-1,xn)) for all n e N U{0}. (3.3)

Thus, by (3.3), we have

F(sndn) < F(sn-1dn-1) - t < ••• < Fd) - nT for all n e N, (3.4)

and so

lim F(sndn) = -to,

which in view of property (F2) gives

lim sndn = 0.

n—+TO

Now, by property (F3) there exists k e (0,1) such that lim (sndn)kF(sndn) = 0.

n—+TO ' f

By (3.4), for all n e N,we get

(sndn)kF(sndn) - (sndn)kF(d0) < (sndn)k(F(d0) - nT) - (sndn)kF(d0)

=-nT (sndn)k < 0. (3.5)

Passing to limit as n — in (3.5), we obtain lim n(sndn)k = 0

n—+TO v f

and hence limn—+«>

n1ksn dn = 0. Now, the last limit implies that the series ^ +=TO1sndn is convergent and hence {xn} is a Cauchy sequence. Since (X, d, s) is a complete b-metric space, then there exists u e X such that limn—xn = u. Finally, we prove that u is a fixed point of T, that is, u e Tu.

Firstly, we observe that if there exists an increasing sequence {nk}c N such that x„k e Tu for all k e N, since Tu is closed and limk—xnk = u, we deduce u e Tu and hence the proof is completed. Then we assume that there exists n0 e N such that xn e Tu for all n e N with n > n0. It follows that Txn-1 = Tu for all n > n0. Now, using (3.1) with x = xn and y = u,we obtain

2t + F(sH(Txn, Tu)) < F(d(xn, u)), which implies

2t + F(d(xn+1, Tu)) < 2t + F[sH(Txn, Tu)) < F(d(xn, u)).

Since F is strictly increasing and t e R+, we obtain

d(xn+1, Tu) < d(xn, u).

Also, we have

d(u, Tu) < s[d(u,xn+1) + d(xn+1, Tu)] < sd(u, xn+1) + sd(xn, u),

and passing to limit as n ^ in the previous inequality, we get

d(u, Tu) < 0,

which implies d(u, Tu) = 0. Finally, since Tu is closed, we obtain that u e Tu, that is, u is a fixed point of T. □

As an application of Theorem 3.4 we get the following proof of Nadler's fixed point theorem in b-metric spaces [17].

Theorem 3.5 Let (X, d, s) be a complete b-metric space and let T : X ^ CB(X). Assume that there exists k e (0,1) such that

sH(Tx, Ty) < kd(x,y) (3.6)

/or all x, y e X. Then T has a fixed point.

Proo/ Let t e R+ be such that k = e-2T. From (3.6), for all x, y e X with Tx = Ty, we get

F(sH(Tx, Ty)) < -2t + F(d(x,y)), that is,

2t + F(sH(Tx, Ty)) < F(d(x,y)), where F(x) = lnx. Thus we can apply Theorem 3.4 to deduce that T has a fixed point. □

Remark 3.6 Let CL(X) be the family of non-empty and closed subsets of X. Notice that Theorems 1.1 and 3.5 hold also in the case of a multivalued mapping T: X ^ CL(X).

3.2 Feng-Liu type theorems

Another very interesting approach to studying the existence of fixed points for multivalued mappings was proposed by Feng and Liu [16]. Here, we investigate the possibility to extend this approach to the b-metric setting. The main reason of this research is to obtain data dependence results for fixed points set. We recall some notions and fix notation as follows.

Let (X, d, s) be a b-metric space and let T: X — CL(X) be a multivalued mapping. Let Fix(T) := {x e X: x e Tx} denote the fixed point set of T. Also, define the function/^ : X — R as/Tx = d(x, Tx). Then, for a positive constant a e (0,1) and each x e X, define the set

I a := {y e Tx: ad(x, y) < d(x, Tx)}.

Definition 3.7 Let (X, d, s) be a b-metric space and let T : X — CL(X) be a multivalued mapping. A function/ : X — R is called T-lower semicontinuous if, for each {xn} c X with xn+1 e Txn and limn—xn = x e X,we have

/x < liminf/xn.

Definition 3.8 Let T: X — CL(X) be a multivalued mapping. The graph of T is the subset {(x,y): x e X,y e Tx} of X x X; we denote the graph of T by G(T). Then T is a closed multivalued mapping if the graph G(T) is a closed subset of (X x X, d*), where the metric d* is given by d*((x,y), (u, v)) = d(x, u) + d(y, v) for all (x,y), (u, v) e X x X.

Now, we state and prove the following theorem.

Theorem 3.9 Let (X, d, s) be a complete b-metric space and letT: X — CL(X) be a multivalued mapping. Suppose that there exists r e (0, s-1a) with a e (0,1) such that/or any x e X there isy e I% satis/ying

d(y, Ty) < rd(x,y). (3.7)

Then T has a fixed point in X provided that one o/the following conditions holds:

(i) /T is T-lower semicontinuous,

(ii) T is closed.

Proo/ Since Tx is a non-empty closed set for any x e X, Ix is non-empty for any constant a e (0,1). Now, for a fixed point x0 e X, there exists x1 e ix0 such that

d(x1, Tx1) < rd(x0,x1).

If x1 is not a fixed point of T, we choose x2 e I^1 such that

d(x2, Tx2) < rd(x1,x2).

Again, if x2 is not a fixed point of T (and so on), by iterating this procedure, we can get an iterative sequence {xn}, where xn+1 e Ixn and

d(xn+1, Txn+1) < rd(xn,xn+1) for all n e N U{0}. (3.8)

On the other hand, xn+1 e Ixn implies

ad(xn,xn+1) < d(xn, Txn) for all n e N U{0}. (.9)

The next step of the proof is to show that the sequence {xn} is a Cauchy sequence. Using (3.8) and (3.9), we get

d(xn+1,xn+2) < — d(xn,xn+i) for all n e N U{0}. (3.10)

Since r/a < s-1, by Lemma 2.9 we deduce that {xn} is a Cauchy sequence and so, by completeness of the ¿-metric space (X, d, s), {xn} converges to some u e X. Now we claim that x is a fixed point of T. Therefore, we distinguish two cases. Case 1: Suppose that (i) holds true. Again, by (3.8) and (3.9), we get

d(xn+1, Txn+1) < — d(xn, Txn) for all n e N U {0}, a

which implies

d(xn, Txn) < I — I d(x0, Tx0) for all n e N U {0}.

Consequently,

liminf/Txn = lim fTxn = lim d(xn, Txn) = 0.

n—n—n—> +

Since xn+1 e Txn,/T is T-lower semicontinuous and limn—xn = u, we have

/Tu = d(u, Tu) = 0.

Since Tu is closed, we get that u e Tu, that is, u is a fixed point of T. Case 2: If (ii) holds true, then from xn+1 e Txn for all n e N U {0} and

lim d*((xn,xn+1), (u, u)) = lim [d(xn, u) + d(xn+1, u)l = 0,

we get that (u, u) e Gr(T) and hence u e Tu. Thus u is a fixed point of T. This completes the proof. □

Now, we show that Theorem 3.9 is a generalization of the following version of Nadler's fixed point theorem in ¿-metric spaces.

Theorem 3.10 Let (X, d, s) be a complete b-metric space and letT: X — CL(X) be a multivalued mapping such that/or all x, y e X, we have H(Tx, Ty) < rd(x, y), where r e (0, s-1), then T has a fixed point.

Proof We have to show that all the hypotheses of Theorem 3.9 hold true. Firstly, we prove that T satisfies condition (3.7) of Theorem 3.9. Indeed, for all x e X and y e Tx, we write

d(y, Ty) < H(Tx, Ty) < rd(x,y)

and hence the assertion holds trivially for each x e X and y e I% with a e (0,1) such that r < as-1. It would remain to show that /T : X — R defined by/Tx = d(x, Tx) is T-lower

semicontinuous. Indeed, let {xn} c X be a sequence with xn+1 e Txn and limn—xn = x e X. Clearly, we have

d(x, Tx) < s[d(x,xn+i) + H(Txn, Tx)] < s[d(x,xn+i) + rd(xn,x)~\,

and hence, passing to limit as n — we get fTx = 0. This implies that

fTx < liminffTxn.

This completes the proof. □

Finally, we give a local version of Theorem 3.9.

Theorem 3.11 Let (X, d, 5) be a complete b-metric space, x0 e X, R >0 and let T : X — CL(X) be a multivalued mapping. Suppose that there exists r e (0, s-1a) with a e (0,1) such that for any x e B(x0, R) there isy e I% satisfying

d(y, Ty) < rd(x, y).

Ifd(x0, Tx0) < f (1 - f )R, then T has a fixed point in B(x0, R) provided one of the following conditions holds:

(i) fT is T-lower semicontinuous,

(ii) T is closed.

Proof Proceeding as in the proof of Theorem 3.9, we construct an iterative sequence {xn} with initial point x0, with xn+1 e I^n and satisfying the conditions (3.8)-(3.10) for all n e N U {0}. From (3.10) and d(x0, Tx0) < s (1 - f )R, we obtain

d(xn,xn+1) < I — d(x0,x1)

n n+1 0 1

< --— d(x0, Tx0)

< 'J K1-0:)R

for all n e N U {0}. This implies xn e B(x0,R). Indeed, we have

d(x0,xn) skd(xk-1,xk)

s (a) ^ ^ a lR

k=1 \ / \ / \ +<x , x k-1

1-sr> E(^) = R,

and so xn e B(x0, R). Thus, following the proof of Theorem 3.9, it is easy to show that T has a fixed point in B(x0,R). □

4 Existence of solution for integral inclusions of Fredholm type

In this section, we study the solvability of integral inclusions of Fredholm type. Precisely, we present an existence result of solution under general conditions on multivalued operators. For more on the solution of integral inclusions and related problems, the reader is referred to [1,4, 28] and the references therein. Now, we consider the following integral inclusion of Fredholm type:

x(t) e/(t) + i G(t,s,x(s)) ds for all t e [0,1], (4.1)

where G : [0,1] x [0,1] x R — Kcv (R) is a multivalued operator, where Kcv denotes the family of non-empty compact and convex subsets of R.

Let I = [0,1] and let C(I, R) be the space of all continuous functions/: I — R.It is well known that such a space with the metric given by

d(x, y) = sup(x(t)-y(t))2 = || (x - y)2||TO forall x, y e C(I, R)

is a complete b-metric space with s = 2. Adapting an idea in [4], we prove the following theorem.

Theorem 4.1 Suppose that the/ollowing conditions hold:

(i) for each x e C(I, R), the multivalued operator G: I x I x R — Kcv(R) is such that G(t, s, x(s)) is lower semicontinuous in I x I;

(ii) / e C(I, R);

(iii) there exists l(t, ■) e L1(I), for each t e I and supteI /0 l(t, s) ds < ^ with k e (0,1), such that

H(G(t, s, x), G(t, s, y)) < l(t, s)|x(s) -y(s)|

for all t, s e I and for all x, y e R. Then the integral inclusion (4.1) has at least one solution in C(I, R).

Proo/ Let us define the multivalued operator T: C(I, R) — CL(C(I, R)) by Tx(t) = j v e C(I, R) such that v(t) e/(t) + ^ G(t, s,x(s)) ds, t e i|

for each x e C(I, R). Let x e C(I, R) and denote Gx(t, s) := G(t, s,x(s)), t, s e I. For the multivalued operator Gx : I x I — Kcv(R), by Michael's selection theorem, we get that there exists a continuous operator gx : I x I — R such that gx(t, s) e Gx(t,s) for all t, s e I. This implies that/(t) + /0gx(t, s) ds e Tx and so Tx is a non-empty set. It is an easy matter to show that Tx is closed, and so details are omitted (see also [4]). This implies that Tx is closed in (C(I, R), d).

Next, we show that the multivalued operator T satisfies all the hypotheses of Theorem 3.5.Tothis aim,letx, y e C(I, R)besuchthat v e Tx. Then there exists gx(t, s) e Gx(t, s) with t, s e I such that v(t) =/(t) + /0 gx(t, s) ds, t e I. On the other hand, by hypothesis (iii),

we get

H(G(t, s,x(s)), G(t, s,y(s))) < l(t, s)|x(s) -y(s) |

for all t,s e I and for all x,y e R. Consequently, there exists w(t,s) e Gy(t,s) such that

\gx(t, s) - w(t, s)1 < l(t, s) |x(s) - y(s)1

for all t, s e I. Now, we can consider the multivalued operator S defined by

S(t,s) = Gy(t,s) n {u e R such that |gx(t,s)- u| < l(t,s) |x(s) -y(s) |}

for all t, s e I. Taking into account the fact that the multivalued operator G is lower semi-continuous, it follows that there exists a continuous operator gy : I x I ^ R such that gy(t, s) e S(t, s) for all t, s e I. We have

z(t) = f (t) + i gy(t, s) ds e f (t) + i G(t, s, y(s)) ds, t e I Jo Jo

|v(t)-z(t)p |gx(t,s) -gy(t,s)|ds

I l(t, s)|x(s)-y(s)| ds

l(t,s)-J(x(s) -y(s))2 ds ' j0 l(t, s)yj II (x - y)2||TO ds

< II(x-y)2L(/1 l(t,s)dsj

for all t e I. Thus, d(v,z) < 2d(x,y). Interchanging the roles of x and y, we obtain that

2H(Tx, Ty) < kd(x,y)

for all x,y e C(I, R). Thus, all the conditions of Theorem 3.5 are satisfied and hence we deduce the existence of a solution of (4.1). □

Remark 4.2 Consider the following differential inclusion:

x'(t) e G(t,s,x(s)), t,s e I, (.2)

where x e C(I, R) and G: I x I x R ^ Kcv(R) is a multivalued operator. Notice that (4.2) is equivalent to (4.1) withf (t) = 0. Consequently, if the operator G satisfies the hypotheses of Theorem 4.1, then the existence of a solution of (4.2) follows by an application of Theorem 4.1.

Example 4.3 For all x e C(I, R) and t, s e I, let G(t, s,x(s)) = {v e R : g1(t, s,x(s)) < v < g2(t,s,x(s))}, where g1(t,s,x(s)) is upper semicontinuous in I x I and g2(t,s,x(s)) is lower semicontinuous in I x I. Consider the following differential inclusion:

x'(t) e G(t,s,x(s)), t,s e I

and assume that there exists l(t, ■) e L1(I), for each t e I and supteI /0 l(t, s) ds < ^ such that

max^(t, s, x(s)) - g^t, s, y(s))1 < l(t, s)|x(s) -y(s)1

for all t, s e I and for all x, y e R.

Clearly, the multivalued operator G is compact and convex valued. Thus, all the hypotheses of Theorem 4.1 are satisfied with/(t) = 0, and hence the above two-point boundary value problem has at least one solution.

5 Stability of solutions set for fixed point problems

We study data dependence of solutions set for fixed point problems by using the technique presented in Section 3.2. Indeed, in view of Theorem 3.9, we prove a data dependence theorem of the fixed points set for two multivalued mappings.

Theorem 5.1 Let (X, d, s) be a complete b-metric space and let S, T : X — CL(X) be two multivalued mappings such that supxeXH(Sx, Tx) < Suppose that there exists r e (0, s-1a) with a e (0,1) such that/or any x e X there isy e I% satis/ying

d(y, Sy) < rd(x,y) and d(y, Ty) < rd(x,y).

Then we have

H(Fix(S), Fix(T)) <-supH(Sx, Tx)

- rs xeX

provided that one o/the fallowing conditions holds:

(i) /S and/T are, respectively, S-lower and T-lower semicontinuous,

(ii) S and T are closed.

Proo/ By Theorem 3.9 we deduce that Fix(S) and Fix(T) are non-empty sets. Also, notice that Fix(S) and Fix(T) are closed. Indeed, for instance, let {un} c Fix(S) be a sequence such that limn—un = u. Then, if S is closed, the conclusion follows easily. On the other hand, if/Sx := d(x,Sx) is S-lower semicontinuous, then we have

0 < d(u, Su) =/Su < liminf/Sun = liminf d(un, Sun) = 0.

n— + TO n— + TO

It follows that u e Su, that is, u e Fix(S). The same holds for Fix(T).

Let us consider xo e Fix(S). Hence, there exists x1 e I%0 with d(x1, Tx1) < rd(x0,x1). Now, since ad(x0,x1) < d(x0, Tx0), we obtain

d(x0,x1) < a-1d(x0, Tx0) and d(x1, Tx 1) < rd(x0,x1) < ra-1d(x0, Tx0).

Iterating this process, we can construct an iterative sequence {xn} such that

(i) xo e Fix(S),

(ii) d(xn, Txn) < (ra-1)nd(xo, Txo),

(iii) d(xn,xn+1) < a-1(ra-1)nd(xo, Txo).

From (iii), we deduce that {xn} is a Cauchy sequence and therefore it converges to an element u e X. From (ii), by following the same lines of proof as in Theorem 3.9, we get that u e Fix(T). Again, if m > n from

At ^^sirarlY,, T .

d(xn,xm) <-d(xo, Txo),

a - rs

letting m — we deduce

d(xn, u) < ———d(xo, Txo) a - rs

for each n e N U {o}. Then, for n = o, we get s

d(xo, u) <-d(xo, Txo)

a - rs s

-H (Sxo, Tx o)

a - rs s

sup H(Sx, Tx).

a - rs xeX

In a similar way we can prove that, for each yo e Fix(T), there exists v e Fix(S) such that s

d(yo, v) <-sup H(Sx, Tx).

a - rs xeX

Thus, the proof is complete. □

Building on Theorem 5.1 and dealing with a sequence of multivalued mappings, we obtain the following result.

Theorem 5.2 Let (X, d, s) be a complete b-metric space and let Ti: X — CL(X) be a sequence of multivalued mappings. Suppose that there exists r e (o, s-1a) with a e (o, 1) such that for any x e X there is ye Ixa satisfying d(y, Tiy) < rd(x, y) and limi—H (Tix, Tox) = o uniformly, where i e N U {o}. Then we have

lim H(Fix(Ti), Fix(To)) = o.

Proof Let e > o be arbitrary and choose N e N such that a - rs

supH(Tix, Tx) <-e

for i > N and for each x e X. Consequently, by Theorem 5.1 we get

H(Fix(Ti), Fix(To)) < e for i > N. Therefore, for the arbitrarity of e, the proof is complete. □

Competing interests

The authors declare that they have no competing interests. Authors' contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript. Author details

1 Dipartimento di Matematica e Informatica, Université degli Studi di Palermo, Via Archirafi, 34, Palermo, 90123, Italy. 2Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh, 11451, Saudi Arabia.

Authors' information

Calogero Vetro is a member of the Gruppo Nazionale per l'Analisi Matematica, la Probabilité e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).

Acknowledgements

The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding of this research through the International Research Group Project No. IRG14-04.

Received: 3 January 2015 Accepted: 22 April 2015 Published online: 14 May 2015

References

1. Cabada, A, Infante, G,Tojo, FAF: Nontrivial solutions of Hammerstein integral equations with reflections. Bound. Value Probl. 2013, Article ID 86 (2013)

2. Agarwal, RP, O'Regan, D, Wong, PJY: Existence results of Brezis-Browder type for systems of Fredholm integral inclusions. Adv. Differ. Equ. 2011, Article ID 43 (2011)

3. Petrusel, A: Integral inclusions. Fixed point approaches. Comment. Math. Prace Mat. 40,147-158 (2000)

4. Sîntamarian, A: Integral inclusions of Fredholm type relative to multivalued ç-contractions. In: Seminar on Fixed Point Theory Cluj-Napoca, vol. 3, pp. 361-368 (2002)

5. Nadler, SB: Multivalued contraction mappings. Pac. J. Math. 30,475-488 (1969)

6. Abbas, M, Ali, B, Vetro, C: A Suzuki type fixed point theorem for a generalized multivalued mapping on partial Hausdorff metric spaces. Topol. Appl. 160, 553-563 (2013)

7. Amini-Harandi, A: Fixed point theory for set-valued quasi-contraction maps in metric spaces. Appl. Math. Lett. 24, 1791-1794 (2011)

8. Altun, I, Minak, G, Dag, H: Multi-valued F-contractions on complete metric spaces. J. Nonlinear Convex Anal. 16, 659-666 (2015)

9. Aydi, H, Abbas, M, Vetro, C: Partial Hausdorff metric and Nadler's fixed point theorem on partial metric spaces. Topol. Appl. 159,3234-3242 (2012)

10. Chifu, C, Petrusel, G: Existence and data dependence of fixed points and strict fixed points for contractive-type multivalued operators. Fixed Point Theory Appl. 2007, Article ID 34248 (2007)

11. Daffer, PZ, Kaneko, H: Fixed points of generalized contractive multi-valued mappings. J. Math. Anal. Appl. 192, 655-666(1995)

12. Reich, S: Approximate selections, best approximations, fixed points, and invariant sets. J. Math. Anal. Appl. 62,104-113 (1978)

13. Reich, S: Fixed points of contractive function. Boll. Unione Mat. Ital. 5,26-42 (1972)

14. Wardowski, D: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, Article ID 94 (2012)

15. Sgroi, M, Vetro, C: Multi-valued F-contractions and the solution of certain functional and integral equations. Filomat 27, 1259-1268 (2013)

16. Feng, Y, Liu, S: Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings. J. Math. Anal. Appl. 317,103-112 (2006)

17. Czerwik, S: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46, 263-276(1998)

18. Bakhtin, IA: The contraction mapping principle in quasimetric spaces. In: Functional Analysis, vol. 30, pp. 26-37. Ul'yanovsk. Gos. Ped. Inst., Ul'yanovsk (1989) (in Russian)

19. Berinde, V: Generalized contractions in quasimetric spaces. In: Seminar on Fixed Point Theory, pp. 3-9 (1993)

20. Boriceanu, M, Bota, M, Petrusel, A: Multivalued fractals in b-metric spaces. Cent. Eur. J. Math. 8, 367-377 (2010)

21. Boriceanu, M, Petrusel, A, Rus, IA: Fixed point theorems for some multivalued generalized contractions in b-metric spaces. Int. J. Math. Stat. 6,65-76 (2010)

22. Bota, M, Molinar, A, Varga, C: On Ekeland's variational principle in b-metric spaces. Fixed Point Theory 12,21-28 (2011)

23. Cosentino, M, Salimi, P, Vetro, P: Fixed point results on metric-type spaces. Acta Math. Sci. 34,1237-1253 (2014)

24. Czerwik, S, Dlutek, K, Singh, SL: Round-off stability of iteration procedures for set-valued operators in b-metric spaces. J. Natur. Phys. Sci. 11, 87-94 (2007)

25. Paesano, D, Vetro, P: Fixed point theorems for a-set-valued quasi-contractions in b-metric spaces. J. Nonlinear Convex Anal. 16,685-696 (2015)

26. Aydi, H, Bota, M-F, Karapinar, E, Mitrovic, S: A fixed point theorem for set-valued quasicontractions in b-metric spaces. Fixed Point Theory Appl. 2012, Article ID 88 (2012)

27. Czerwik, S: Contraction mappings in b-metric spaces. Acta Math. Univ. Ostrav. 1,5-11 (1993)

28. Infante, G, Pietramala, P: Perturbed Hammerstein integral inclusions with solutions that change sign. Comment. Math. Univ. Carol. 50, 591-605 (2009)