• Nie Znaleziono Wyników

ABSTRACT INCLUSIONS IN BANACH SPACES WITH BOUNDARY CONDITIONS OF PERIODIC TYPE

N/A
N/A
Protected

Academic year: 2021

Share "ABSTRACT INCLUSIONS IN BANACH SPACES WITH BOUNDARY CONDITIONS OF PERIODIC TYPE"

Copied!
26
0
0

Pełen tekst

(1)

doi:10.7151/dmdico.1164

ABSTRACT INCLUSIONS IN BANACH SPACES WITH BOUNDARY CONDITIONS OF PERIODIC TYPE

Lahcene Guedda

Faculty of Mathematics and Informatics Ibn Khaldoun University

14000 Tiaret, Algeria e-mail: lahcene guedda@yahoo.fr

and Ahmed Hallouz

Faculty of Mathematics and Informatics Ibn Khaldoun University

14000 Tiaret, Algeria e-mail: ahmedhallouz@yahoo.fr

Abstract

We study in the space of continuous functions defined on [0, T ] with values in a real Banach space E the periodic boundary value problem for abstract inclusions of the form

( x ∈ S (x(0), sel

F

(x)) x(T ) = x(0),

where, F : [0, T ] × K → 2

E

\∅ is a multivalued map with convex compact values, K ⊂ E, sel

F

is the superposition operator generated by F , and S : K × L

1

([0, T ]; E) → C([0, T ]; K) an abstract operator. As an application, some results are given to the periodic boundary value problem for nonlin- ear differential inclusions governed by m-accretive operators generating not necessarily a compact semigroups.

Keywords: measure of noncompactness, condensing operator, nonlinear ab- stract inclusion, accretive operator, integral solution, nonlinear semigroup.

2010 Mathematics Subject Classification: 47H08, 30K10, 34A60,

47J35, 47H06.

(2)

1. Introduction

Let C([0, T ]; E) be the space of continuous functions defined on [0, T ] with values in a real Banach space (E, k.k) endowed with the uniform convergence norm, and let K be a nonempty closed convex subset of E. The propose of this paper is to study in C([0, T ]; K) nonlinear abstract inclusions satisfying boundary conditions of periodic type described in the form

(1)

( x ∈ S (x(0), sel

F

(x)) x(T ) = x(0),

where, F : [0, T ] × K → 2

E

\∅ is a multivalued map with compact convex values satisfying upper Carath´ eodory conditions, S : K × L

1

([0, T ]; E) → C([0, T ]; K) an abstract operator, sel

F

is the superposition operator generated by F , and

S (x(0), sel

F

(x)) = {S (x(0), f ) ; f ∈ sel

F

(x)} .

A fundamental example of such abstract problems is given by the following prob- lem

(2)

( x

0

(t) ∈ −Ax(t) + F (t, x(t)), t ∈ [0, T ], x(0) = x(T ),

where A is a single valued or a multivalued operator not necessarily linear. In the semilinear case, when A : D(A) ⊂ E → E is a (single valued) linear operator such that −A generates a C

0

-semigroup {T (t)}

t≥0

, the operator S is the mild solutions operator. More precisely, for x

0

∈ K = E and f ∈ L

1

([0, T ]; E), the value S(x

0

, f ) stands for the (unique) mild solution of the Cauchy problem

(3)

( x

0

(t) ∈ −Ax(t) + f (t), t ∈ [0, T ], x(0) = x

0

.

Moreover, by means of the variation of constants formula, S can be expressed explicitly by

S : E × L

1

([0, T ]; E) → C([0, T ]; E) S(x

0

, f )(t) = T (t)x

0

+

Z

t 0

T (t − s)f (s) ds.

In the nonlinear case with A m-accretive, S is the integral solutions operator,

i.e., for x

0

∈ K = D(A) and f ∈ L

1

([0, T ]; E), the value S(x

0

, f ) stands for the

(unique) integral solution of the Cauchy problem (3). In both cited cases the

operator S has been studied by many authors, see for example, [22, 26, 28] for

the semilinear case, and [11, 9, 19, 20, 26] for the nonlinear case.

(3)

In [4] and [13], the authors developed a fixed point approach which can be used in the study of the Cauchy problem for various classes of differential inclusions by considering abstract inclusions in C([0, T ]; E) of the form

(4) x ∈ Υ ◦ sel

F

(x)

where Υ : L

1

([0, T ]; E) → C([0, T ]; E) is an operator not necessarily linear. Our paper can be considered as a nontrivial extension of their approach to the periodic problem for linear and nonlinear differential inclusions. More precisely, fix x

0

∈ E and consider the abstract inclusion

x ∈ S(x

0

, sel

F

(x)).

By taking Υ(·) = S(x

0

, ·), we are in the situation of [4] and [13]. But it is clear that to study the periodic problem, one has to allow x

0

varying in K ⊂ E.

In the present work, we construct a multioperator for whose fixed points are solutions of the inclusion (1) and we give sufficient conditions under which this multioperator is upper semi continuous with closed contractible values and condensing with respect to a monotone, nonsingular, regular measure of noncom- pactness.

As an application of our result, we study the nonlinear periodic problem (2), where A is supposed to be m-accretive such that −A generates an equicontinuous semigroup.

One motivation to consider such problems is that in the case when E is a Hilbert space and A = ∂φ is the subdifferential of a proper convex lower semi continuous function φ : D

φ

⊂ E → R, the semigroup generated by −A is always equicontinuous and it is compact iff φ has compact sublevel sets, i.e.,

x ∈ E : kxk

2

+ φ(x) ≤ r is compact for all r > 0; (see for example [28] p. 42).

Finally we mention that there are many works in the study of the periodic problem for differential equations and inclusions governed by m-accretive oper- ators generating compact semigroups, see introductions in [29] and [1] and the references therein.

The paper is organized as follows. In Section 2 we give some basic notations as well as some preliminary lemmas which will play essential roles in this paper. In Section 3 we formulate our problem, we give the construction of a multioperator associated to the problem (1) and we define a measure of noncompactness for which this operator is condensing. In Section 4 we give the proof of the main result. Finally, an abstract application of the main result is presented in Section 5.

2. Preliminaries

Let X, Y be two topological vector spaces. We denote by P(Y ) the family of all

nonempty subsets of Y and by K(X) (resp. Kv(X)) we denote the collection of

(4)

all nonempty compact (resp. nonempty compact convex) subsets of X.

• A multivalued map F : X → P(Y ) is said to be:

(i) upper semicontinuous (u.s.c) if F

−1

(O) = {x ∈ X : F (x) ⊂ O} is an open subset of X for every open O ⊂ Y ;

(ii) closed if its graph Γ

F

= {(x, y) ∈ X × Y : y ∈ F (x)} is a closed subset of X × Y ;

(iii) compact if F (X) is compact in Y ;

(vi) quasicompact if its restriction to every compact subset A ⊂ X is compact.

Lemma 2.1 [22]. Let X and Y be metric spaces and F : X → K(Y ) a closed quasicompact multimap. Then F is upper semicontinuous.

Let E be a real Banach space and (Y, ≤) a partially ordered set.

• A function Ψ : P(E) → Y is called a measure of noncompactness in E if Ψ(Ω) = Ψ( co Ω)

for every Ω ⊂ P(E), where co Ω denotes the closed convex hull of Ω.

• The measure Ψ is called:

(i) nonsingular if for every a ∈ E, Ω ∈ P(E), Ψ({a} ∪ Ω) = Ψ(Ω);

(ii) monotone, if Ω

0

, Ω

1

∈ P(E) and Ω

0

⊆ Ω

1

imply Ψ(Ω

0

) ≤ Ψ(Ω

1

);

(iii) If Y is a cone in a Banach space we will say that Ψ is regular if Ψ(Ω) = 0 is equivalent to the relative compactness of the set Ω.

One of the most important examples of a measure of noncompactness possessing all these properties is the Hausdorff measure of noncompactness defined by:

χ(Ω) = inf{ε > 0; Ω has a finite ε-net in E}.

• Let Z ⊂ E be a closed subset. A multimap G : Z → K(E) is called Ψ- condensing, where Ψ : P(E) → (Y, ≤) is a measure of noncompactness in E, if for every bounded set Ω ⊂ Z, the relation Ψ(G(Ω)) ≥ Ψ(Ω) implies the relative compactness of Ω.

• A multifunction z : [0, T ] → K(E) is said to be strongly measurable if there

exists a sequence {z

n

}

n=1

of step multifunctions such that Haus (z(t), z

n

(t)) →

0 as n → ∞ for µ − a.e. t ∈ [0, T ] where µ denotes a Lebesgue measure on [0, T ]

and Haus is the Hausdorff metric on K(E).

(5)

Every strongly measurable multivalued map z admits a strongly measurable selection f i.e., f : [0, T ] → E is measurable and such that f (t) ∈ z(t) for a.e.

t ∈ [0, T ].

• A subset Λ ⊂ E is said to be contractible if for some x

0

∈ E, there is a continuous map H from [0, 1] × Λ to Λ satisfying H(0, x) = x

0

and H(1, x) = x, for each x ∈ Λ. For more details, see for example [22, 18].

By the symbol L

1

([0, T ]; E) we denote the space of all Bochner summable func- tions equipped with the usual norm.

Definition 2.2. A sequence {f

n

}

n=1

⊂ L

1

([0, T ]; E) is semicompact if:

(i) it is integrably bounded: kf

n

(t)k ≤ q(t) for a.e. t ∈ [0, T ] and for every n ≥ 1 where q(·) ∈ L

1

([0, T ], R

+

);

(ii) the set {f

n

(t)}

n=1

is relatively compact for almost every t ∈ [0, T ].

Lemma 2.3 [15]. Any semicompact sequence in L

1

([0, T ]; E) is weakly compact in L

1

([0, T ]; E).

Lemma 2.4 [17]. Let X be a Banach space and D ⊂ X be a nonempty compact convex set. Suppose that G : D → P(D) is u.s.c. with closed contractible values.

Then G has a fixed point.

We give now some basic concepts and results concerning m-accretive operators.

• A multi-valued map A with domain D(A) and range R(A) in E is said to be:

(i) accretive if kx

1

− x

2

k ≤ kx

1

− x

2

+ λ(y

1

− y

2

)k, for all λ > 0 and y

i

∈ Ax

i

, i = 1, 2;

(ii) m-accretive if it is accretive and R(I + A) = E, (Here I stands for the identity on E).

• If A is m-accretive, the resolvents J

λ

= (I + λA)

−1

: E → D(A) are nonexpan- sive mappings, i.e., kJ

λ

(x) − J

λ

(y)k ≤ kx − yk on E × E, for all λ > 0.

• If A is m-accretive, it generates a semigroup {T (t)}

t≥0

of nonexpansive map- pings T (t) : D(A) → D(A), given by the exponential formula, i.e.,

T (t)x = lim

n→∞

J

t/nn

x for all t ≥ 0 and x ∈ D(A) and T (t)x is the integral solution of the initial value problem:

( y

0

(t) ∈ −Ay(t), t ∈ [0, T ],

y(0) = x.

(6)

The semigroup {T (t)}

t≥0

is said to be compact if T (t)B is compact for all t > 0 and bounded B ⊂ D(A), while {T (t)}

t≥0

is called equicontinuous if the family of functions {T (·)x : x ∈ B} is equicontinuous at every t > 0, for all bounded B ⊂ D(A)).

The semigroup {T (t)}

t≥0

is compact iff {T (t)}

t≥0

is equicontinuous and J

λ

is a compact map for some (or, equivalently, for all) λ > 0.

For more details on the previous definitions and facts, see for example [6].

3. Formulation of the problem, statement of the result Notations

Throughout, 0 < T < +∞ is a fixed time, E an arbitrary real Banach space with the norm k·k, K a nonempty closed convex subset of E, C([0, T ]; E) denotes the space of continuous functions defined on [0, T ] with values in E and endowed the uniform convergence norm, L

1

([0, T ]; E) the space of all Bochner summable functions, χ the Hausdorff measure of noncompactness in E and C([0, T ]; K) the set of all continuous functions defined on [0, T ] with values in K.

It is clear that C([0, T ]; K) is a closed convex subset of C([0, T ]; E).

Hypotheses

We shall consider the following hypotheses:

The multimap F : [0, T ] × K → Kv(E) satisfies the following hypotheses:

(F

1

) the multimap F : (·, u) → Kv(E) has a strongly measurable selector for every u ∈ K;

(F

2

) the multimap F : (t, ·) → Kv(E) is u.s.c. for a.e. t ∈ [0, T ];

(F

3

) for any nonempty bounded set Ω ⊂ K there exists a function U

(·) ∈ L

1

([0, T ]; R

+

) such that, for all x ∈ Ω and a.e. t ∈ [0, T ]

kF (t, x)k ≤ U

(t);

(F

4

) there exists a function κ(·) ∈ L

1

([0, T ]; R

+

) such that for every bounded Ω ⊂ K

χ(F (t, Ω)) ≤ κ(t) χ(Ω), a.e. t ∈ [0, T ].

The abstract operator S : K × L

1

([0, T ]; E) → C([0, T ]; K) satisfies the following

conditions:

(7)

(S

0

) for all x

0

∈ K and f ∈ L

1

([0, T ]; E):

S(x

0

, f )(0) = x

0

; (S

1

) there exists M > 0 and p > 0 such that

kS(x

0

, f )(t) − S(y

0

, g)(t)k ≤ M Z

t

0

kf (s) − g(s)k ds + e

−pt

kx

0

− y

0

k

for all f, g ∈ L

1

([0, T ]; E), 0 ≤ t ≤ T and x

0

, y

0

∈ K;

(S

2

) for any compact K ⊂ E and sequence {f

n

}

n=1

⊂ L

1

([0, T ]; E) such that {f

n

(t)}

n=1

⊂ K for a.e. t ∈ [0, T ] the weak convergence f

0

w

f

n

implies S(x

0

, f

n

) → S(x

0

, f

0

) in C([0, T ]; K) for every x

0

∈ K;

(S

3

) for all g

0

, g

1

, g

2

∈ L

1

([0, T ], E) and x

0

∈ K if S(x

0

, g

1

) = S(x

0

, g

2

) S(x

0

, 1

[0,θ]

g

1

+ 1

[θ,T ]

g

0

) = S(x

0

, 1

[0,θ]

g

2

+ 1

[θ,T ]

g

0

),

for all θ ∈ [0, T ], where 1

[a,b]

denotes the characteristic function of the interval [a, b].

Remark 3.1. Recall that, under conditions (F

1

)–(F

3

), for every continuous func- tion x : [0, T ] → K there exists a summable selection f : [0, T ] → E of F (·, x(·)) (see Theorem 1.3.5 in [22]). Consequently, the superposition operator

sel

F

: C([0, T ]; K) → L

1

([0, T ]; E)

sel

F

(x) = f ∈ L

1

([0, T ]; E) : f (t) ∈ F (t, x(t)), a.e. t ∈ [0, T ]

is correctly defined. Moreover, as C([0, T ]; K) is closed, according to Lemma 5.1.1 in [22] the superposition operator sel

F

is weakly closed. More precisely:

Lemma 3.2. If the sequences {x

n

}

n=1

⊂ C([0, T ]; K), {f

n

}

n=1

⊂ L

1

([0, T ]; E), f

n

(t) ∈ F (t, x

n

(t)), a.e. t ∈ [0, T ], n ≥ 1 are such that x

n

→ x

0

, f

n

−→

w

f

0

, then f

0

(t) ∈ F (t, x

0

(t)) a.e. t ∈ [0, T ].

Construction of an operator associated with the problem (1) In C([0, T ]; K) define the multivalued operator F in the following way

(5)

( F : C([0, T ]; K) → P(C([0, T ]; K)),

F (x) = {S(S(x(0), f )(T ), f ) : f ∈ sel

F

(x)}.

(8)

Remark that the fixed points of the operator F coincide with the solutions set of the problem (1). Indeed, let x ∈ F (x). Then, there exists f ∈ sel

F

(x), such that

(6) x = S(S(x(0), f )(T ), f ).

By condition (S

0

), we have

x(0) = S(S(x(0), f )(T ), f )(0) = S(x(0), f )(T ).

Hence,

x = S(x(0), f ) with x(T ) = S(x(0), f )(T ) = x(0).

Now, let x be a solution of the problem (1). Then, there exists f ∈ sel

F

(x) such that,

x = S(x(0), f ) and x(0) = x(T ).

It results that x = S(x(0), f ) = S(x(T ), f ). But x(T ) = S(x(0), f )(T ). Then, x = S(S(x(0), f )(T ), f ), which means that x is a fixed point of F .

Such operator was considered in [29] in the study of the periodic problem for fully nonlinear differential equation.

Measures of noncompactness

Let χ

K

be a function defined on bounded subsets of K in the following way χ

K

(Ω) = inf{ε > 0; Ω has a finite ε-net in K};

Since K is a nonempty closed convex subset of E, the function χ

K

defines a measure of noncompactness in K. Indeed, the invariance of χ

K

under passage to the closure is obvious and the invariance under passage to the convex hull is a consequence of the fact that if S ⊂ K is a finite ε-net of the set Ω, then co S ⊂ K is a totally bounded ε-net of the set co Ω. It is readily seen that χ

K

is a monotone, nonsingular, regular measure of noncompactness in K and χ(Ω) ≤ χ

K

(Ω) ≤ 2χ(Ω) for all Ω ⊂ K.

Now let Ψ be a function defined on bounded subsets of C([0, T ]; K) in the following way

(7) Ψ(Ω) = max

D∈∆(Ω)



χ

K

(D(0)), ϑ(D), mod

c

(D)

 , where

(8) ϑ(D) = sup

t∈[0,T ]

χ

K

(D(t)), mod

c

(D) = lim

δ→0

sup

x∈D

|t1

max

−t2|≤δ

kx(t

1

) − x(t

2

)k,

(9)

and ∆(Ω) is the collection of all denumerable subsets of Ω. The range of the function Ψ is a cone R

3+

, max is taken in the sense of the ordering induced by this cone.

Since C([0, T ]; K) is a closed convex subset of C([0, T ]; E), from Example 2.1.4 in [22] and the definition of χ

K

, one can easily see that Ψ is well defined and is a monotone, nonsingular, regular measure of noncompactness in C([0, T ]; K).

Main result

We can now state the main result of this paper.

Theorem 3.3. Suppose that conditions (F

1

)–(F

4

) are satisfied. Then the follow- ing are valid:

(i) if the operator S satisfies conditions (S

1

) and (S

2

), then the multioperator F is u.s.c with compact values;

(ii) if the operator S satisfies conditions (S

0

)–(S

2

) and the estimation

(9) 4M kκ(.)k

L1

+ e

−pT

< 1,

holds, then F is Ψ-condensing;

(iii) if the operator S satisfies conditions (S

1

)–(S

3

), then the multioperator F has contractible values.

4. Proof of the main result Auxiliary results

We need some auxiliary results.

Lemma 4.1. Let Υ be an abstract operator

Υ : L

1

([0, T ]; E) → C([0, T ]; K) satisfying the following conditions:

1

) there exists D > 0 such that kΥ f (t) − Υ g(t)k ≤ D

Z

t 0

kf (s) − g(s)k ds, 0 ≤ t ≤ T for every f, g ∈ L

1

([0, T ]; E);

2

) for any compact K ⊂ E and sequence {f

n

}

n=1

⊂ L

1

([0, T ]; E) such that {f

n

(t)}

n=1

⊂ K for a.e. t ∈ [0, T ], the weak convergence f

0

w

f

n

implies

Υf

n

→ Υf

0

. in C([0, T ]; K).

(10)

Then:

(i) If the sequence of functions {f

n

}

n=1

⊂ L

1

([0, T ]; E) is such that kf

n

(t)k ≤ δ(t) for all n = 1, 2, . . . a.e. t ∈ [0, T ] and χ({f

n

}

n=1

) ≤ ζ(t) a.e. t ∈ [0, T ], where δ, ζ ∈ L

1+

([0, T ], then

(10) χ

K

(Υ{f

n

(t)}

n=1

) ≤ 2 D Z

t

0

ζ(s)ds;

(ii) for every semicompact sequence {f

n

}

n=1

⊂ L

1

([0, T ]; E) the sequence {Υf

n

}

n=1

is relatively compact in C([0, T ]; K), and moreover, if f

n

w

f

0

then Υf

n

→ Υf

0

.

Proof. This Lemma is a direct consequence of Theorem 4.2.2 and Theorem 5.1.1 in [22]. Since Υ is with values in C([0, T ]; K), one has only to observe that the net constructed for the set {Υf

n

}

n=1

in the cited theorems is in C([0, T ]; K) and keep in mind that C([0, T ]; K) is a closed subset of C([0, T ]; E).

Remark 4.2. The factor 2 in the estimation (10) can be dropped if the space E is separable (see Corollary 4.2.4 in [22]).

Remark 4.3. For x

0

∈ K fixed, by conditions (S

1

) and (S

2

), we deduce imme- diately that the operator

S(x

0

, .) : L

1

([0, T ]; E) → C([0, T ]; K) satisfies the conditions (Υ

1

) and (Υ

2

) of Lemma 4.1.

Lemma 4.4. Let the sequence {f

n

} ⊂ L

1

([0, T ], E) be integrably bounded, i.e., (11) kf

n

(t)k ≤ v(t) for all n = 1, 2 . . . and a.e. t ∈ [0, T ],

for some v ∈ L

1+

([0, T ]).

Suppose that

(12) χ({f

n

(t)}) ≤ q(t) for a.e. t ∈ [0, T ], where q(·) ∈ L

1+

[0, T ].

Then for every bounded subset Ω ⊂ K and for all t ∈ [0, T ]:

(13) χ

K

{S(Ω, {f

n

}

n=1

)(t)} ≤ 2M Z

t

0

q(s)ds + e

−pt

χ

K

(Ω),

(11)

where

{S(Ω, {f

n

}

n=1

)(t)} = ∪

x∈Ω n≥1

S(x, f

n

)(t).

Proof. Let t ∈ [0, T ] be fixed. For arbitrary ε > 0, let {x

i

}

mi=1

⊂ K be a finite (χ

K

(Ω) + ε)-net of the set Ω. Invoking Remark 4.3 and Lemma 4.1(ii), we obtain

χ

K

{S(x

i

, {f

n

}

n=1

)(t)} ≤ 2M Z

t

0

q(s)ds, i = 1, . . . , m.

Now, for 1 ≤ i ≤ m, let n

y

ij

, 1 ≤ j ≤ k(i) o

⊂ K be a finite (2M R

t

0

q(s)ds + ε) net of {S(x

i

, {f

n

}

n=1

)(t)} such that

S(x

i

, f

n

)(t) − y

ji

≤ 2M

Z

t 0

q(s)ds+ε, ∀n ∈ α

i,j

, where, α

i,j

⊂ N,

k(i)

j=1

α

i,j

= N

. Then, the set

n

y

ij

, 1 ≤ i ≤ m, 1 ≤ j ≤ k(i) o

forms a finite e

−pt

K

(Ω) + ε) + 2M R

t

0

q(s)ds + ε-net of the set {S(Ω, {f

n

}

n=1

)(t)}.

Indeed, let x ∈ Ω and x

i0

, 1 ≤ i

0

≤ m, be the corresponding point such that kx − x

i0

k ≤ χ

K

(Ω) + ε.

Using the last inequality and the condition (S

1

), we get for all n ≥ 1 kS(x, f

n

)(t) − S(x

i0

, f

n

)(t)k ≤ e

−pt

K

(Ω) + ε) . Now, choose y

ji0

0

, 1 ≤ j

0

≤ k(i

0

) such that (14)

S(x

i0

, f

n

)(t) − y

xj0

i0

≤ 2M

Z

t 0

q(s)ds + ε, ∀n ∈ α

i0,j0

. Then, we get, for all n ∈ α

i0,j0

S(x, f

n

)(t) − y

xj0

i0

≤ kS(x, f

n

)(t) − S(x

i0

, f

n

)(t)k +

S(x

i0

, f

n

)(t) − y

xj0

i0

≤ e

−pt

K

(Ω) + ε) + 2M Z

t

0

q(s)ds + ε.

Since the choice of ε is arbitrary and

k(i

0)

j=1

α

i0,j

= N

for all 1 ≤ i

0

≤ m, the proof

is complete.

(12)

Lemma 4.5. For every bounded subset Z ⊂ K such that χ

K

(Z) = 0 and semicom- pact sequence {f

n

}

n=1

⊂ L

1

([0, T ]; E), the set {S(Z, f

n

)}

n=1

is relatively compact in C([0, T ]; K), and moreover, if f

n

w

f

0

in L

1

([0, T ]; E) and x

n

→ x

0

in K, then S(x

n

, f

n

) → S(x

0

, f

0

) in C([0, T ]; K).

Proof. For arbitrary ε > 0, let {z

i

}

mi=1

⊂ K be an ε-net of Z. From Re- mark 4.3 and Lemma 4.1 it follows that for every 1 ≤ i ≤ m, the sequence {S(z

i

, f

n

)}

n=1

is relatively compact in C([0, T ]; K). Now, by condition (S

1

), it is easy to see that the relatively compact set

m

i=1

{S(z

i

, f

n

)}

n=1

in C([0, T ]; K) is an ε-net of {S(Z, f

n

)}

n=1

. Again from Remark 4.3 and Lemma 4.1, we know that S(x

0

, f

n

) → S(x

0

, f

0

) in C([0, T ]; K). Thus, applying condition (S

1

), we obtain

kS(x

n

, f

n

) − S(x

0

, f

0

)k ≤ kS(x

n

, f

n

) − S(x

0

, f

n

k + kS(x

0

, f

n

) − S(x

0

, f

0

)k

≤ kx

n

− x

0

k + kS(x

0

, f

n

) − S(x

0

, f

0

)k −→

n→∞

0.

Proof of Theorem 3.3. (i) We will prove that the multivalued operator F is u.s.c. with compact values. First we will show that F is closed with compact values. Let {x

n

}

n

, {z

n

}

n

⊂ C([0, T ]; K), x

n

−→ x

0

, z

n

∈ F (x

n

), n ≥ 1, and z

n

−→ z

0

. Let {f

n

}

n

be a sequence from L

1

([0, T ], E) such that f

n

∈ sel

F

(x

n

) and z

n

= S(S(x

n

(0), f

n

)(T ), f

n

), n ≥ 1. By hypothesis (F

3

) we have kf

n

(t)k ≤ kF (t, x

n

(t))k ≤ U

0

(t) a.e. t ∈ [0, T ], where Ω

0

is a bounded subset of K, containing the set {x

n

(t), n ≥ 1, t ∈ [0, T ]}, and by hypothesis (F

4

) we have

χ({f

n

(t)}

+∞n=1

) ≤ κ(t)χ({x

n

(t)}

+∞n=1

) = 0 a.e. t ∈ [0, T ].

Then, the sequence {f

n

}

n

is semicompact. Consequently it is weakly com- pact in L

1

([0, T ]; E). Without loss of generality one can suppose that f

n

− →

w

f

0

. Since χ

K

({x

n

(0)}

n=1

) = 0, from Lemma 4.5 it follows that the sequence {S(x

n

(0), f

n

)}

n

is relatively compact in C([0, T ]; K) and

S(x

n

(0), f

n

) → S(x

0

(0), f

0

).

Now, applying Lemma 3.2, we get f

0

∈ sel

F

(x

0

). Thus

S(x

n

(0), f

n

)(T ) → S(x

0

(0), f

0

)(T ) in K, with f

0

∈ sel

F

(x

0

).

Using again Lemma 4.5, we deduce that the sequence {S(S(x

n

(0), f

n

)(T ), f

n

)}

n=1

is relatively compact in C([0, T ]; K) and

z

n

= S(S(x

n

(0), f

n

)(T ), f

n

) → S(S(x

0

(0), f

0

)(T ), f

0

) with f

0

∈ sel

F

(x

0

).

(13)

Hence, z

0

= S(S(x

0

(0), f

0

)(T ), f

0

) ∈ F (x

0

), which yields the closedness of F . Let x(·) ∈ C([0, T ]; K). By the same reasoning as above, hypotheses (F

3

) and (F

4

) imply that every sequence {f

n

}

n

, f

n

∈ sel

F

(x) is semicompact, which implies by Lemma 4.5 that {S(x(0), f

n

)(T )}

n=1

is relatively compact in K, which implies again by the same lemma that S{(S(x(0), f

n

)(T ), f

n

)}

n=1

is relatively compact in C([0, T ]; K). The compactness of F (x) follows from its closedness.

Finally, let us prove that F is u.s.c. By Lemma 2.1 it is enough to prove its quasi-compactness. Let us consider a convergent sequence {x

n

}

n

⊂ C([0, T ]; K) and an arbitrary sequence {f

n

}

n=1

⊂ L

1

([0, T ]; E) such that f

n

∈ sel

F

(x

n

), n ≥ 1. By hypotheses (F

3

) and (F

4

) it follows that the sequence {f

n

}

n

is semicompact. Since χ

K

({x

n

(0)}

n=1

) = 0, from Lemma 4.5 it follows that the sequence {S(x

n

(0), f

n

)}

n=1

is relatively compact in C([0, T ]; K). Hence {S(x

n

(0), f

n

)(T )}

n=1

is relatively compact in K. Using again Lemma 4.5, we get that the sequence {S(S(x

n

(0), f

n

)(T ), f

n

)}

n=1

, is relatively compact in C([0, T ]; K).

Therefore, the multioperator F is quasicompact.

(ii) Let Ω ⊂ C([0, T ]; K) be a bounded subset such that

(15) Ψ(F (Ω)) ≥ Ψ(Ω),

where the inequality is taken in the sense of the order R

3

, induced by the positive cone R

3+

. We will show that (15) implies that Ω is relatively compact. Let the maximum on the left-hand side of the inequality (15) be achieved for the countable set D

0

= {z

n

}

n=1

with

z

n

(t) = S(S(x

n

(0), f

n

)(T ), f

n

), f

n

∈ sel

F

(x

n

), n ≥ 1, {x

n

}

n

⊂ Ω.

Using condition (S

0

) we have

z

n

(0) = S(S(x

n

(0), f

n

)(T ), f

n

)(0) = S(x

n

(0), f

n

)(T ).

From (15) we get

(16) Ψ ({x

n

}

n=1

) ≤ Ψ ({z

n

}

n=1

) . Then

(17) χ

K

({x

n

(0)}

n=1

) ≤ χ

K

({z

n

(0)}

n=1

) = χ

K

({S(x

n

(0), f

n

)(T )}

n=1

) ;

(18) ϑ ({x

n

}

n=1

) ≤ ϑ ({z

n

}

n=1

) = ϑ ({S(S(x

n

(0), f

n

))(T ), f

n

}

n=1

) .

(14)

By hypothesis (F

4

) we have

χ({f

n

(t)}

n=1

) ≤ κ(t)χ {x

n

(t)}

n=1



≤ κ(t)ϑ {x

n

}

n=1



a.e. t ∈ [0, T ], (19)

and by (F

3

) the sequence {f

n

}

n

is integrably bounded. Hence, by Lemma 4.4, we get

χ

K

({z

n

(0)}

n=1

) = χ

K

({S(x

n

(0), f

n

)(T )}

n

)

≤ 2M kκk

L1

ϑ {x

n

}

n=1

 + e

−pT

χ

K

{x

n

(0)}

n=1

;

(20)

ϑ ({z

n

}

n=1

) = ϑ ({S(S(x

n

(0), f

n

))(T ), f

n

}

n=1

)

≤ 2M kκk

L1

ϑ {x

n

}

n=1

 + e

−pt

χ

K

({S(x

n

(0), f

n

)(T )}

n=1

)

≤ 4M kκk

L1

ϑ {x

n

}

n=1

 + e

−pT

χ

K

{x

n

(0)}

n=1

 (21)

Set

γ

0

= χ

K

{x

n

(0)}

n=1



and ν = ϑ {x

n

}

n=1

.

From inequalities (17), (18), (20) and (21), we get

(22) ( γ

0

≤ 2M kκ(.)k

L1

ν + e

−pT

γ

0

, ν ≤ 4M kκ(.)k

L1

ν + e

−pT

γ

0

.

Since γ

0

≤ ν then (22) together with (9) give ν ≤ 4M kκ(.)k

L1

ν + e

−pT

 ν implying ν = 0. Hence, γ

0

≤ e

−pT

γ

0

, and we obtain γ

0

= 0. Therefore,

(23) χ({x

n

(t)}

n=1

) ≤ χ

K

({x

n

(t)}

n=1

) = 0 for all t ∈ [0, T ].

By (F

3

) and (F

4

), the sequence {f

n

}

n=1

is semicompact in L

1

([0, T ]; E). By Lemma 4.5, the set {S(x

n

(0), f

n

)(T )}

n=1

= {z

n

(0)}

n=1

is relatively compact in K. We can apply again Lemma 4.5, to deduce that the sequence {z

n

}

n=1

= {S(S(x

n

(0), f

n

)(T ), f

n

)}

n=1

is relatively compact in C([0, T ]; K). Consequently

mod

c

({z

n

}

n=1

) = 0.

Then, by (15), we get

mod

c

({x

n

}

n=1

) = 0.

(15)

The last equality and (23) imply that

Ψ(Ω) = (0, 0, 0).

Then Ω is relatively compact.

If the space E is separable then using Remark 4.2, the estimation (9) in the point (ii) of Theorem 3.3 can be weakened as

2M kκ(.)k

L1

+ e

−pT

< 1.

(iii) Let us prove that F has contractible values. Let x ∈ C([0, T ]; K) and v

0

∈ F (x), with v

0

= S(S(x(0), f

0

)(T ), f

0

) for some f

0

∈ sel

F

(x).

Consider the function H : [0, 1] × F (x) −→ C([0, T ]; K) given by

H(λ, v) = S(S(x(0), 1

[0,λT ]

(.)f + 1

[λT,T ]

(.)f

0

)(T ), 1

[0,λT ]

(.)f + 1

[λT,T ]

(.)f

0

), where v ∈ F (x), v = S(S(x(0), f )(T ), f ), for some f ∈ sel

F

(x). By condition (S

3

), the value H(λ, v) does not depend on the choice of f and therefore, the function H it is correctly defined. Moreover,

H(0, v) = v

0

, H(1, v) = v and

H(λ, v) ∈ F (x), ∀ λ ∈ [0, 1] and ∀ v ∈ F (x).

The last point is due to the fact that

1

[0,λT ]

(.)f + 1

[λT ,T ]

(.)f

0

∈ sel

F

(x), ∀λ ∈ [0, 1].

It remains to show that H is continuous. Let sequences {λ

n

}

n

⊂ [0, 1] and {v

n

}

n

⊂ F (x) be such that λ

n

−→ λ

0

, v

n

−→ v

, with v

n

= S(S(x(0), f

n

)(T ), f

n

) and f

n

∈ sel

F

(x). By conditions (F

3

) and (F

4

) the sequence {f

n

}

n

⊂ L

1

([0, T ], E) is semicompact and hence weakly compact. Without loss of generality, we can assume that f

n

− →

w

f

. By Lemma 3.2, f

∈ sel

F

(x).

Now, applying Lemma 4.5, we have S(x

n

(0), 1

[0,λnT ]

(.)f

n

+1

nT,T ]

(.)f

0

) →

C([0,T ];K)

S(x(0), 1

[0,λ0T ]

(.)f

+1

0T ,T ]

(.)f

0

), which implies that,

S(x

n

(0), 1

[0,λnT ]

(.)f

n

+1

nT ,T ]

(.)f

0

)(T ) →

K

S(x(0), 1

[0,λ0T ]

(.)f

+1

0T ,T ]

(.)f

0

)(T ).

(16)

Using again Lemma 4.5, we get

S S x

n

(0), 1

[0,λnT ]

(.)f

n

+ 1

nT ,T ]

(.)f

0

 (T ), 1

[0,λnT ]

(.)f

n

+ 1

nT ,T ]

(.)f

0



−→

C([0,T ];K)

S S x(0), 1

[0,λ0T ]

(.)f

+ 1

0T ,T ]

(.)f

0

 (T ), 1

[0,λ0T ]

(.)f

+ 1

0T,T ]

(.)f

0

 . Therefore, H(λ

n

, v

n

) → H(λ

0

, v

).

5. Application

As an application of our result (Theorem 3.3), we study in a real Banach space E the existence of integral solutions to abstract periodic problems of the form

(24) ( x

0

(t) ∈ −Ax(t) + F (t, x(t)), 0 < t ≤ T, x(0) = x(T ),

where

(e) the topological dual E

of E is uniformly convex;

(A

1

) A : D(A) ⊂ E → P(E) is an operator, with 0 ∈ A(0) and such that − A generates an equicontinuous semigroup;

(A

2

) there exists ε > 0 such that A − εI is m-accretive;

(A

3

) D(A) is a convex subset of E.

The multimap F : [0, T ] × D(A) → Kv(E) satisfies (F

1

), (F

2

), (F

4

) and (F

30

) there exists a function α(·) ∈ L

1

([0, T ]; R

+

) such that

kF (t, x)k ≤ α(t) for all x ∈ K and a.e. t ∈ [0, T ].

Theorem 5.1. Let the assumptions (e), (A

1

), (A

2

), (A

3

), (F

1

), (F

2

), (F

30

) and (F

4

) be satisfied. If

(25) 4M kκ(.)k

L1

+ e

−εT

< 1,

then the problem (24) has at least one integral solution.

(17)

Proof. Consider the Cauchy problem

(26) ( x

0ε

(t) ∈ −A x

ε

(t) + f

ε

(t), 0 < t ≤ T, x

ε

(0) = x

0

,

where, x

0

∈ D(A) and f

ε

∈ L

1

([0, T ]; E). It is well known that, the problem (26) has a unique integral solution x

ε

with x

ε

(t) ∈ D(A) for t ∈ [0, T ]. Moreover, if y

ε

is a mild solution to the following differential inclusion

(27)

( −y

0ε

(t) ∈ A y

ε

(t) + f

ε

(t), 0 < t ≤ T y

ε

(0) = y

0

, y

0

∈ D(A)

then

(28) kx

ε

(t) − y

ε

(t)k ≤ e

−ε(t−s)

kx

ε

(s) − y

ε

(s)k+

Z

t s

e

−ε(t−τ )

f

ε

(τ ) − f

ε

(τ ) dτ, for all 0 ≤ s ≤ t ≤ T (see for example [7]).

In this situation, the integral solutions operator S

ε

S

ε

: D(A) × L

1

([0, T ]; E) → C([0, T ], D(A)), where S

ε

(x

0

, f

ε

), is the unique integral solution of the problem (26).

The operator S

ε

checks the conditions (S

0

)–(S

3

). Indeed, (i) the condition (S

0

) is trivial;

(ii) the condition (S

1

) follows from (28), with p = ε and M = 1;

(iii) as the operator A is m-accretive and generates a strongly equicontinuous semigroup (see [11]), and as the dual space E

is uniformly convex (by hypothesis e)), one can invoke Proposition 1 and Lemma 4 from [11] to infer that the operator S

ε

satisfies the condition (S

2

);

(iii) The condition (S

3

) follows easily form the inequality (28).

Now let the operator F

ε

be given by

(29)

( F

ε

: C([0, T ]; K) → P(C([0, T ]; K)),

F

ε

(x

ε

) = {S

ε

(S

ε

(x

ε

(0), f

ε

)(T ), f

ε

) : f

ε

∈ sel

F

(x

ε

)}.

It is clear that a fixed point of F

ε

is an integral solution of (24).

From Theorem 3.3 it follows that the operator F

ε

is u.s.c with compact (hence

closed) contractile values. According to Lemma 2.4 to ensure the existence of at

(18)

least one integral solution of the inclusion (24), we have to look for some compact convex set K

ε

⊂ C([0, T ]; K) such that F

ε

(K

ε

) ⊂ K

ε

. To do that, take the set

W

0ε

= {x

ε

∈ C([0, T ]; K) : kx

ε

(t)k ≤ ψ(t) on [0, T ]}

where ψ is the solution of

(30)

( ψ

0

(t) = − εψ(t) + α(t), a.e., t ∈ [0, T ], ψ(0) = ψ(T ).

The set W

0ε

is well defined. Indeed if ψ

i

, i = 1, 2 are solutions of the Cauchy problem

(31)

( ψ

i0

(t) = − εψ

i

(t) + α(t), a.e., t ∈ [0, T ], ψ

i

(0) = ψ

i0

,

then

1

(t) − ψ

2

(t)k ≤ e

−εt

ψ

01

− ψ

20

.

It follows that the Poincar´ e map ψ

0

= ψ(T ) is a strict contraction on K, hence the problem (30) has a unique solution. Moreover,

ψ(t) = e

−εt

e

−εT

ψ(0) + e

−εt

Z

T

0

e

−ε(T −s)

α(s) ds + Z

t

0

e

−ε(t−s)

α(s) ds (32)

= e

−εt

1 − e

−εT



−1

Z

T

0

e

−ε(T −s)

α(s) ds + Z

t

0

e

−ε(t−s)

α(s) ds.

The first expression of ψ follows from the fact that ψ is a fixed point of the operator F

ε

with F (t, x) = {α(t)}, the second one follows from the fact that ψ(0) = ψ(T ).

Using (28) and the fact that 0 ∈ A(0), we get for all f ∈ sel

F

(x

ε

) S

ε

(x

ε

(0), f )(T ) ≤ e

−εT

kx

ε

(0)k +

Z

T 0

e

−ε(T −s)

α(τ ) dτ.

For the same reason we have S

ε

(S

ε

(x

ε

(0), f )(T ), f ) (t)

≤ e

−εt

e

−εT

kx

ε

(0)k + e

−εt

Z

T

0

e

−ε(T −s)

α(τ ) dτ + Z

t

0

e

−ε(t−s)

α(τ ) dτ

≤ e

−εt

e

−εT

ψ(0) + e

−εt

Z

T

0

e

−ε(T −s)

α(τ ) dτ + Z

t

0

e

−ε(t−s)

α(τ ) dτ = ψ(t).

(19)

Hence F

ε

(W

0ε

) ⊂ W

0ε

.

From (20) and (21), we have

χ(F

ε

(W

0ε

(0))) ϑ(W

0ε

)



≤ Ξ χ(W

0ε

(0)) ϑ(W

0ε

)



with

Ξ = e

−pT

4M kκ(.)k

L1

e

−pT

4M kκ(.)k

L1

 .

Define W

1ε

= co F

ε

(W

0ε

). It is easy to see that W

1ε

is a nonempty, closed, convex subset and

W

1ε

= co F

ε

(W

0ε

) ⊂ co W

0ε

= W

0ε

. For the same reason we get

χ(F

ε

(W

1ε

(0))) ϑ(F

ε

(W

1ε

))



≤ Ξ χ(W

1ε

(0)) ϑ(W

1ε

)



= Ξ χ(F

ε

(W

0ε

(0))) ϑ(F

ε

(W

0ε

))

 .

Hence

χ(F

ε

(W

1ε

(0))) ϑ(F

ε

(W

1ε

))



≤ Ξ

2

χ(W

0ε

(0)) ϑ(W

0ε

)

 .

Define W

2ε

= co F

ε

(W

1ε

). W

2ε

is a nonempty, closed, convex subset and W

2ε

⊂ W

1ε

⊂ W

0ε

;

χ(F

ε

(W

2ε

(0))) ϑ(F

ε

(W

2ε

))



≤ Ξ

3

χ(W

0ε

(0)) ϑ(W

0ε

)

 .

Continuing this procedure, we get a decreasing sequence (W

nε

)

n

of nonempty, closed, convex, bounded subsets such that

(33) χ(F

ε

(W

nε

(0))) ϑ(F

ε

(W

nε

))



≤ Ξ

n+1

χ(W

0ε

(0)) ϑ(W

0ε

)

 .

As det(Ξ − λI) = 0 for λ = 0 or λ = 4M kκ(.)k

L1

+ e

−εT

< 1, from (33), it follows that

(34) χ

K

(F

ε

(W

nε

(0))) ϑ(F

ε

(W

nε

))



n→+∞

−→

0 0



.

(20)

We claim that

mod

c

(F

ε

(W

nε

)) −→

n→+∞

0.

Indeed, let first show that for each ζ ∈]0, T ] mod

c



F

ε

(W

0ε

) |

[ζ,T ]



= 0.

Remark that if B ⊂ D(A) is a nonempty bounded subset and G ⊂ L

1

([0, T ]; E) is an integrably bounded subset, then using relation (28) and the fact that 0 ∈ A(0), we deduce that the set

S(B, g)[0, T ] = {S(b, g)(t), b ∈ B, g ∈ G, t ∈ [0, T ]}

is bounded in (D(A)). Therefore, by a minor adaptation of the proof of The- orem 2.5.1 in [7], p. 57 we conclude that the set {S(b, g)(.), b ∈ B, g ∈ G} is equicontinuous in C([ζ, T ], D(A)). Now, by (F

30

) the set

f

0ε

, f

0ε

∈ sel

F

(x

0ε

), x

ε

∈ W

0ε

is integrably bounded subset in L

1

([0, T ]; E). Since W

1ε

is bounded in C([0, T ], D(A)), then the set

S(x

ε0

(0), f

0ε

)(T ), x

ε

∈ W

0ε

, f

0ε

∈ sel

F

(x

0ε

) ⊂ W

1ε

(0) is bounded in D(A).

Hence, the set

F

ε

(W

0ε

)(·) = S (S(x

ε0

(0), f

0ε

)(T ), f

ε

) (·), x

ε

∈ W

0ε

, f

0ε

∈ sel

F

(x

0ε

)

⊂ S (W

0ε

, f

0ε

) (·), f

0ε

∈ sel

F

(x

0ε

), x

ε

∈ W

0ε

is equcontinuous in C([ζ, T ], D(A)). By the monotonicity of the function mod

c

(·), we get

(35) mod

c



F

ε

(W

nε

) |

[ζ,T ]



= 0 for all n ≥ 0 and for each ζ ∈]0, T ].

Let us prove now that

mod

c

(F

ε

(W

nε

)) −→

n→∞

0 at the orgin.

By formula (34) we obtain

χ

K

(F

ε

(W

nε

(0))) = χ

K

{S(x

εn

(0), f

ε

)(T ) : x

εn

∈ W

nε

, f

nε

∈ sel

F

(x

nε

)} −→

n→∞

0.

(21)

Then, for δ > 0, there exist n

0

such that

n ≥ n

0

⇒ χ

K

{S(x

εn

(0), f

ε

)(T ) : x

εn

∈ W

nε

, f

nε

∈ sel

F

(x

nε

)} ≤ δ.

For n ≥ n

0

, let {y

i

}

mi=1

⊂ D(A) be a finite 2δ-net of the set {S(x

εn

(0), f

ε

)(T ) : x

εn

∈ W

nε

, f

nε

∈ sel

F

(x

nε

)} .

Let x

εn

∈ W

nε

, f

nε

∈ sel

F

(x

εn

) and let y

i0

be the corresponding point such that (36) kS(x

εn

, f

nε

)(T ) − y

i0

k ≤ 2δ.

Using the relation (28), condition (F

30

) and the fact that the operator T (t) is nonexpansive for all t ∈ [0, T ], we have

kS (S(x

εn

(0), f

nε

)(T ), f

ε

) (h) − S (S(x

ε0

(0), f

nε

)(T ), f

nε

) (0)k

= kS (S(x

ε0

(0), f

nε

)(T ), f

ε

) (h) − S(x

ε0

, f

nε

)(T )k

≤ kS (S(x

ε0

(0), f

nε

)(T ), f

ε

) (h) − T (h)S(x

ε0

, f

nε

)(T )k + kT (h)S(x

ε0

, f

nε

)(T ) − S(x

ε0

, f

nε

)(T )k

≤ Z

h

0

e

−ε(h−s)

kf

nε

(s)k ds + kT (h)S(x

ε0

, f

nε

)(T ) − S(x

ε0

, f

nε

)(T )k

≤ Z

h

0

α(s) ds + kT (h)S(x

ε0

, f

nε

)(T ) − S(x

ε0

, f

nε

)(T )k

≤ kT (h)S(x

ε0

, f

nε

)(T ) − T (h)y

i0

k + kT (h)y

i0

− y

i0

k + kS(x

ε0

, f

nε

)(T ) − y

i0

k +

Z

h

0

α(s) ds

≤ 2 kS(x

ε0

, f

nε

)(T ) − y

i0

k + kT (h)y

i0

− y

i0

k + Z

h

0

α(s) ds.

Taking into account that the operator t → T (t)y

i0

is continuous at the origin, and that the set {y}

mi=1

is finite, (36) and the last inequality imply that

kS (S(x

εn

, f

nε

)(T ), f

ε

) (h) − S (S(x

εn

, f

ε

)(T ), f

ε

) (0)k ≤ 5δ as h → 0 and n ≥ n

0

, for all x

εn

∈ W

nε

and f

nε

∈ sel

F

(x

εn

). Therefore,

mod

c

(F

ε

(W

nε

)) −→

n→∞

0 at the orgin.

(22)

Last relation together with (35) imply

mod

c

(F

ε

(W

nε

)) −→

n→∞

0.

Hence,

Ψ(F

ε

(W

nε

)) −→

n→∞

(0, 0, 0).

This proves our claim.

Since Ψ is a nonsingular, monotone, regular measure of noncompactness de- fined on subsets of C([0, T ]; (D(A))), subsets (W

nε

)

n

are nonempty, closed and such that W

n+1ε

⊂ W

nε

, n ≥ 0,

Ψ(W

nε

) = Ψ co F

ε

(W

n−1ε

) = Ψ(F

ε

(W

n−1ε

)) −→

n→∞

(0, 0, 0), then the set

K

ε

= \

n≥0

W

nε

is nonempty and compact. Moreover, since (W

nε

)

n≥0

are convex, the set K

ε

is convex too. It is clear that

F

ε

(K

ε

) ⊂ K

ε

.

Thus, K

ε

is the required one. The proof of Theorem 5.1 is complete.

Remark 5.2. It is well know that condition (A

2

) implies that a mild solution to (24) is also an integral solution to this problem. In other words, for the problem (24), under condition (A

2

) the notion of a mild solution and the notion of an itegral solution coincide (see Theorem 1.3 in [7], p. 204).

Corollary 5.3. Suppose conditions (e), (A

1

), (A

2

), (A

3

), (F

1

), (F

2

), (F

30

) are satisfied, and that

(F

40

) for every bounded subset Ω ⊂ K

χ(F (t, Ω)) = 0, a.e., t ∈ [0, T ].

Then for all ε > 0 the problem (24) has at least one integral (mild) solution.

Proof. It is a consequence of Theorem 5.1 and the fact that e

−εT

< 1 for all ε > 0.

Corollary 5.4. Suppose that conditions (e), (A

1

), (A

3

), (F

1

), (F

2

), (F

30

), (F

40

) are satisfied and that

( ˜ A

2

) A : D(A) ⊂ E → P(E) is m-accretive.

(23)

Then for all ε > 0, the perturbed problem

(37)

( x

0ε

(t) ∈ −(A + ε I)x

ε

(t) + F (t, x

ε

(t)), 0 < t ≤ T, x

ε

(0) = x

ε

(T )

has at least one integral (mild) solution.

Proof. From hypothesis ( ˜ A

2

), it follows that for all ε > 0, the operator (A + εI) is m-accretive and generates an equicontinuous semigroup (see for example [12], Remark 3.5, p. 47). Moreover, (A + εI) − εI = A is m-accretive. It remains to apply Corollary 5.3 in order to deduce that the problem (37) has at least one integral (mild) solution.

Remark 5.5. To obtain the estimation better than (25) we tried to define mea- sures of noncompactness for equivalent norms in E. From the inequalities (20) and (21), it follows that Ψ is the best measure of noncompactness because it requires less conditions.

Remark 5.6. Theorem 5.1 generalizes Theorem 1 in [7] in the sense that in our case F is a multivalued map and A generates only an equicontinuous semigroup.

Remark 5.7. When the operator A in (24) is m accretive and generates an equicontinuous semigroup, then under conditions of Corollary 5.4, the perturbed problem (37) has a least one solution x

ε

for every ε > 0.

The authors would like to express their gratitude to the anonymous referee for his/her valuable remarks.

References

[1] S. Aizicovici, N.S. Papageorgiou and Staicu, Periodic solutions of nonlinear evolu- tion inclusions in Banach spaces, J. Nonlinear Convex Anal. 7 (2) (2006) 163–177.

[2] R.R. Akhmerov, M.I. Kamenski˘ı, A.S. Potapov, B.N. Rodkina and B.N. Sadovski˘ı, Measures of Noncompactness and Condensing Operators, Number 55 in Oper. The- ory Adv. Appl. (Birkh¨ auser, Basel, Boston, Berlin, 1992).

doi:10.1007/978-3-0348-5727-7

[3] R. Bader, B.D. Gel

0

man, M.I. Kamenskii and V.V. Obukhovskii, On the topolog- ical dimension of the solutions sets for some classes of operator and differential inclusions, Discuss. Math. DICO 22 (1) (2002) 17–32. doi:10.7151/dmdico.1030 [4] R. Bader, M.I. Kamenskii and V.V. Obukhovskii, On some classes of operator in-

clusions with lower semicontinuous nonlinearities, Topol. Methods Nonlinear Anal.

17 (1) (2001) 143–156.

[5] J. Bana´ s and K. Goebel, Measures of Noncompactness in Banach Spaces (Marcel

Dekker, 1980).

(24)

[6] V. Barbu, Nonlinear semigroups and differential equations in Banach spaces, Editura Academiei Republicii Socialiste Romˆ ania (Bucharest, 1976). Translated from the Romanian. doi:10.1007/978-94-010-1537-0

[7] V. Barbu, Analysis and control of nonlinear infinite-dimensional systems (Academic Press Inc., Boston, 1993).

[8] Yu. G. Borisovich, B.D. Gelman, A.D. Myshkis, and V.V. Obukhovskii, Multi-valued analysis and operator inclusions, J. Soviet Math 39 (1987) 2772–2811.

doi:10.1007/BF01127054

[9] Ph. B´ enilan, Solutions int´ egrales d’´ equations d’´ evolution dans un espace de Banach, C.R. Acad. Sci. Paris (A–B) 274 (1972) A47–A50.

[10] P. Benilan and H. Brezis, Solutions faibles d’´ equations d’´ evolution dans les espaces de Hilbert, Ann. Inst. Fourier (Grenoble) 22 (2) (1972) 311–329. doi:10.5802/aif.421 [11] D. Bothe, Multivalued perturbations of m-accretive differential inclusions, Israel J.

Math 108 (1998) 109–138. doi:10.1007/BF02783044

[12] D. Bothe, Nonlinear Evolutions in Banach Spaces – Existence and Qualitative The- ory with Applications to Reaction-Diffusion Systems, Habilitation thesis (Univ. of Paderborn, 1999).

[13] J.F. Couchouron and M. Kamenskii, A unified topological point of view for integro- differential inclusions and optimal control. (J.Andres, L. G´ orniewicz and P. Nistri eds.), Lecture Notes in Nonlinear Anal. 2 (1998) 123–137.

[14] J.-F. Couchouron and M. Kamenskii, An abstract topological point of view and a general averaging principle in the theory of differential inclusions, Nonlinear Anal.

(A) 42 (6) (2000) 1101–1129. doi:10.1016/S0362-546X(99)00181-9

[15] J. Diestel, W.M. Ruess, and W. Schachermayer, On weak compactness in L

1

(µ, X), Proc. Amer. Math. Soc. 118 (2) (1993) 447–453.

[16] J. Diestel and J.J. Uhl, Jr., Vector measures, American Mathematical Society (Prov- idence, R.I., 1977). doi:10.1090/surv/015.

[17] L. G´ orniewicz, A. Granas and W. Kryszewski, Sur la m´ ethode de l’homotopie dans la th´ eoorie des point fixes pour les applications multivoques, Partie 2: L ’indiee dans les ANRs compaetes, Comptes Rendus de l’Aead´ emie des Sciences, Paris 308 (1989) 449–452.

[18] L. G´ orniewicz, Topological fixed point theory of multivalued mappings (Kluwer Academic Publishers, 1999). doi:10.1007/978-94-015-9195-9

[19] S. Gutman, Evolutions governed by m-accretive plus compact operators, Nonlinear Anal. 7 (7) (1983) 707–715. doi:10.1016/0362-546X(83)90027-5

[20] T. Kato, Nonlinear evolution equations, Proc. Sympos. Appl. Math 17 (1965) 50–67.

doi:10.1090/psapm/017/0184099

[21] N. Halidias and N.S. Papageorgiou, Nonlinear boundary value problems with maxi- mal monotone terms, Aequationes Math 59 (2000) 93–107.

doi:10.1007/PL00000131

(25)

[22] M.I. Kamenskii, V.V. Obukhovskii and P. Zecca, Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces, Number 7 in de Gruyter Series in Nonlinear Analysis and Applications, de Gruyter (Berlin, 2001).

[23] N.S. Papageorgiou, On multivalued evolution equations and differential inclusions in Banach spaces, Comment. Math. Univ. St. Paul 36 (1) (1987) 21–39.

[24] A. Pazy, Initial value problems for nonlinear differential equations in Banach spaces, in: Nonlinear partial differential equations and their applications. Coll` ege de France Seminar, Vol. IV (Paris, 1981/1982), volume 84 of Res. Notes in Math. (Pitman, Boston, MA, 1983), 154–172.

[25] A. Pazy, Semigroups of linear operators and applications to partial differential equa- tions (Springer-Verlag, New York, 1983). doi:10.1007/978-1-4612-5561-1

[26] Jan Pr¨ uss, On semilinear evolution equations in Banach spaces, J. Reine Angew.

Math 303/304 (1978) 144–158.

[27] A. Tolstonogov, Differential inclusions in a Banach space (Kluwer Academic Pub- lishers, 2000). doi:10.1007/978-94-015-9490-5

[28] I.I. Vrabie, Compactness methods for nonlinear evolutions (Longman, Harlow, 1987).

[29] I.I. Vrabie, Periodic solutions for nonlinear evolution equations in a Banach space, Proc. Amer. Math. Soc. 109 (3) (1990) 653–661.

doi:10.1090/S0002-9939-1990-1015686-4

Received 10 September 2014

(26)

Cytaty

Powiązane dokumenty

Let ME denote the family of all nonempty and bounded subsets of E and NE the family of all nonempty and relatively compact sets in E.. D e f in it io

In this paper we shall assume that the function g satisfies a certain Lipschitz condition with respect to the Kuratowski measure of noncompact­.. ness

It is interesting that the theory of Orlicz spaces offers subspaces and topologies which are convenient for these purposes (cf. Moreover, Condition В implies

We remembered that true and false properties of ”symmetries” on the unit sphere had already been considered in the past; also, properties of Gao’s constants had been

In this paper, we first show how to construct (in a uniformly convex Banach space which either satisfies the Opial property, or has a Frechet differentiable norm) a fixed point of

In this section we apply the results obtained in section 2 to prove the following theorem:.. THEOREM 5.1.. On a Minimization of Functionals .... APPLICATION TO THE THEORY

In order to apply Lemma A to this problem, we notice again that the term in H(t,x) after the minus sign is a Lipschitz continuous function on X with Lipschitz constant

Using tbs relation between a sublinear nonoompactneas measure and the Hauadorff measure the authoress has proved an existence theorem for differential equations in Banach