CC BY
62Математические заметки СВФУ Апрель—июнь, 2018. Том 25, № 2
UDC 517.98
WEYL-ALMOST PERIODIC AND ASYMPTOTICALLY WEYL-ALMOST PERIODIC PROPERTIES
OF SOLUTIONS TO LINEAR AND SEMILINEAR ABSTRACT VOLTERRA INTEGRO-DIFFERENTIAL EQUATIONS M. Kostic
Abstract The main purpose of paper is to consider Weyl-almost periodic and asymptotically Weyl-almost periodic solutions of linear and semilinear abstract Volterra integro-differential equations. We focus our attention to the investigations of Weyl-almost periodic and asymptotically Weyl-almost periodic properties of both, finite and infinite convolution product, working in the setting of complex Banach spaces. We introduce the class of asymptotically (equi)-Weyl-p-almost periodic functions depending on two parametres and prove a composition principle for the class of asymptotically equi-Weyl-p-almost periodic functions. Basically, our results are applicable in any situations where the variation of parameters formula takes a role. We provide several new contributions to abstract linear and semilinear Cauchy problems, including equations with the Weyl-Liouville fractional derivatives and the Caputo fractional derivatives. We provide some applications of our abstract theoretical results at the end of paper, considering primarily abstract degenerate differential equations, including the famous Poisson heat equation and its fractional analogues.
DOI: 10.25587/SVFU.2018.98.14232
Keywords: Weyl-p-almost periodic functions, asymptotically Weyl-p-almost periodic functions, abstract Volterra integro-differential equations.
1. Introduction and Preliminaries
It is well known that the notion of an almost periodic function was introduced by H. Bohr around 1924-1926 and later generalized by V. V. Stepanov, H. Weyl, A. S. Besicovitch and many other mathematicians. In this paper, we primarily consider Weyl's and Kovanko's classes of generalized almost periodic functions, which were introduced in 1927 and 1944, respectively. The analysis of various classes of generalized almost periodic solutions of abstract Volterra integro-differential equations is still very attractive field of research of many mathematicians. For more details on the subject, we refer the reader to the monographs [1] by D. Cheban, [2] by T. Diagana, [3] by G. M. N'Guerekata and [4] by the author.
The author is partially supported by grant 174024 of Ministry of Science and Technological Development, Republic of Serbia.
© 2018 M. Kostic
The main purpose of this paper is to analyze the existence and uniqueness of Weyl-almost periodic solutions and asymptotically Weyl-almost periodic solutions of abstract linear and semilinear Volterra integro-differential equations. In such a way, we continue the recent research studies [5] by F. Bedouhene, Y. Ibaouene, O. Mellah, R. de Fitte and [6] by the author.
The organization of paper is briefly described as follows. The introductory section contains three separate subsections, devoted to the study of degenerate semigroups and degenerate fractional resolvent families generated by multivalued linear operators, Stepanov almost periodic functions and asymptotically Stepanov almost periodic functions, Weyl almost periodic functions and asymptotically Weyl almost periodic functions. Our main results are given in Section 2 and Section 3, while Section 4 is deserved for illustrative examples and applications of our results.
Concerning the ideas and novelties of this paper, the following should be said. In our forthcoming monograph [4], we have analyzed generalized almost periodic and generalized asymptotically almost periodic solutions of various classes of abstract Volterra integro-differential equations, degenerate or non-degenerate in time variable. The solution operator families examined in [4] are generally degenerate in time and have removable singularities at zero (see [7-15]) for the theory of abstract degenerate Volterra integro-differential equations in Banach and locally convex spaces). Especially, in [16], the Weyl-p-almost periodic and asymptotically Weyl-p-almost periodic properties of convolution products have been analyzed in the case that p = 1. Motivated by recent research results obtained in [5], where the case p > 1 has been considered for infinite convolution product, and strongly continuous exponentially decaying semigroups, we expand our results from [6] to the general case p > 1, and for solution operator families which may not be strongly continuous at zero (Proposition 2.1). In contrast to [5], we also consider the finite convolution product in Proposition 2.5. The class of asymptotically Weyl-p-almost periodic functions has been recently introduced in [6]. As mentioned in the abstract, in this paper, we introduce the class of asymptotically (equi)-Weyl-p-almost periodic functions depending on two parametres and prove a composition principle for the class of asymptotically equi-Weyl-p-almost periodic functions (Definition 3.3, Theorem 3.4). Although our main contributions are given for linear problems, in Theorem 3.5 and Theorem 3.6, we analyze certain classes of abstract semilinear Cauchy problems having unique solutions in the class of bounded continuous functions. The question when the obtained solutions will be (asymptotically) equi-Weyl-p-almost periodic for a given equi-Weyl-p-almost periodic forcing term f (■, ■) is non-trivial and we will consider this question for degenerate resolvent operator families with certain growth rates at zero and plus infinity somewhere else.
Before explaining the notation used in the paper, the author would like to express his sincere thanks to Prof. V. Fedorov (Chelyabinsk, Russia) for many stimulating discussions during the research.
By X and Y we denote two non-trivial Banach spaces over the field of complex numbers. The symbol L(X, Y) denotes the space consisting of all continuous linear
mappings from X into Y; L(X) = L(X, X). Let I = R or I = [0, to). By Cb(I : X) and BUC(I : X) we denote the vector spaces consisting of all bounded continuous functions from I into X and all bounded continuous functions from I into X vanishing at infinity, respectively. Endowed with the usual sup-norm, any of these spaces becomes one of Banach's.
Fractional calculus and fractional differential equations are rapidly growing areas of research, founding applications in diverse fields of theoretical and applied science (see e.g. [17-21] for the basic theory). The Mittag-Leffler functions and Wright functions are, without any doubt, the most important special functions in fractional calculus. Let y G (0,1). The Wright function $7(•) is defined by the formula
$7(z):=V ——i->--zGC.
n~~o ( ~ 1 ~ ln)
We know that $7(•) is an entire function, as well as that $7(t) > 0,t > 0. For further information concerning the Mittag-Leffler and Wright functions, one may refer e.g. to the doctoral dissertation of E. Bazhlekova [17] and references cited therein.
Let s G R. Define |_sj := sup{1 G Z : s > 1} and \s] := inf{I G Z : s < I}. If a > 0, then we define
ta— 1
ga(t):= —-, t> 0.
r(a)
In this paper, we use the Weyl-Liouville fractional derivatives D]+u(t) of order Y G (0,1) and the Caputo fractional derivatives of order a > 0. The Weyl-Liouville fractional derivatives DY+u(t) of order y G (0,1) is defined for those continuous functions u : R X such that
t
t ^ J gi-7(t — s)u(s) ds, t G R,
is a well-defined continuously differentiable mapping, by
t
d C
D]+u(t) := — / g!-7{t-s)u{s)ds, tel.
For more details about this type of fractional derivatives, we refer the reader to the paper [22] by J. Mu, Y. Zhoa and L. Peng. If a > 0 and m = [a], the Caputo fractional derivative D^u(t) is defined for those functions
u G Cm—1([0, to) : X) for
which
(m—1 \
u - uk9k+i) G Cm([0, to) : X), k=0 J
by
D ?u(t) = — 1 w dtm
/ m— 1 gm — a * I u
m—1 N
uk9k+1
k=0
m
Fractional differential equations with Caputo derivatives have been investigated, among many other research papers and monographs, in [13,18,19].
1.1. Degenerate semigroups and degenerate fractional resolvent families generated by multivalued linear operators. Multivalued linear operators in Banach spaces have been analyzed by many authors. A multivalued linear operator (MLO, for short) jz/ : X ^ P(Y) is any mapping satisfying the following conditions:
(i) := {x £ X : jz/x = 0} is a linear subspace of X;
(ii) six + ^/y C $(x + y), x, y £ D(^/) and A^x C jz/(Ax), A £ C, x £ D(^/). If X = Y, then we say that is an MLO in X.
It is well known that, if x, y £ and A, n £ C with |A| + |n| = 0, then
A^x + n^/y = jz/(Ax + ny). IF ^ is an MLO, then jz/0 is a linear submanifold of Y and jz/x = f + jz/0 for any x £ and f £ jz/x. Put
R(^) := {¿/x : x £ D(^)}.
The resolvent set of jz/, p(^) for short, is defined as the union of those complex numbers A £ C for which
(i) R(A -sf) = X;
(ii) R(A : = (A — ^)-1 is a single-valued bounded operator on X.
It is well known that p(^) is an open subset of C. The operator A ^ R(A : jz/) is called the resolvent of jz/ (A £ p(^)). For further information regarding multivalued linear operators, we refer the reader to the monographs [23] by R. Cross and [10] by A. Favini, A. Yagi.
The basic source of information about degenerate (a, k)-regularized C-resolvent families may be obtained by consulting the forthcoming monograph [13]. Suppose that a closed MLO jz/ satisfies the condition [10, p. 47] introduced by A. Favini and A. Yagi:
(P) There exist finite constants c, M > 0 and ft £ (0,1] such that ^ := := {A £ C : KA > —c(|3A| + 1)} C p(^)
and
||R(A :*0||< M(1 + |A|)-^, A £ If this condition holds and ft > 0, then degenerate strongly continuous semigroup (T(i))t>o C L(X) generated by ,s/ satisfies estimate
||T(t)|| < Moe-cV-1, t> 0,
for some finite constant M0 > 0 [24].
For our considerations of the abstract degenerate differential equations with Weyl-Liouville or Caputo fractional derivatives, we need some preliminaries concerning subordination fractional resolvent operator families. Assume that y £ (0,1]. Set
T„,№ := fj S„,(,,)T(,,tYJx*. «> 0,. £ X,
o
S7(t) := T7 ,o(t), t > 0; S7(0) := I,
and
P7(t):=M t>0.
YW tY
It is well known that, if xo G X is a point of continuity of (T(t))t>o, then xo is a point of continuity of subordintated fractional resolvent family (SY(t))t>o, and due to the estimate
||Sy(t)|| < MitY(^—1), t> 0,
for some finite constant M1 > 0, the mapping
t ^ SY(t)x0, t > 0, is continuous and tending to zero as t tends to +to. Furthermore, we have: ||Ry(t)|| < MitY^—1, t G (0,1] and ||Ry(t)|| < M2t—1—Y, t > 1. Of concern are the following fractional relaxation inclusions:
DY+u(t) G^/u(t) + f (t), t G R, (1.1)
and
( DYu(t) G jzfu(t) + f (t), t> 0, ^'•Y = { 1(0)= X0, where DY+u(t) denotes the Weyl-Liouville fractional derivatives of order y G (0,1), DY denotes the Caputo fractional derivative of order y, x0 G X and f : [0, to) ^ X is a given function.
Without specifying particular conditions on function f (•), which will be done later, we will use the following formal definition henceforth: Definition 1.1. Let be a closed MLO.
(i) A continuous function u : R ^ X is said to be a mild solution of the abstract Cauchy inclusion of first order
u'(t) G^u(t) + f (t), t G R,
iff
t
u(t) := J T(t - s)f (s) ds, t G R.
(ii) A continuous function u : R ^ X is said to be a mild solution of fractional relaxation inclusion (1.1) iff
t
u(t)=/(t - s)Y—1Py(t - s)f (s) ds, t G R.
(iii) By a mild solution of (DFP)f , Y, we mean any function u G C([0, to) : X) satisfying that
(t) = Sy(t)xo + J Ry(t — s)f (s) ds, t > 0. 0
u
1.2. Stepanov almost periodic functions and asymptotically Stepanov almost periodic functions. Assume that I = R or I = [0, to), and f : I ^ X is continuous. Given e > 0, we call t > 0 an e-period for f (•) iff
llf (t + t) - f (t)||< e, t G I.
The set consisting of all e-periods for f (•) is denoted by $(f, e). A function f (•) is said to be almost periodic, a.p. for short, iff for any e > 0 the set $(f, e) is relatively dense in I, which means that there exists l > 0 such that any subinterval of I of length l meets $(f, e). By AP(I : X) we denote the space consisted of all almost periodic functions from the interval I into X.
The class of asymptotically almost periodic functions was introduced by M. Frechet in 1941. A function f G Cb([0, to) : X) is said to be asymptotically almost periodic iff for every e > 0 we can find numbers l > 0 and M > 0 such that every subinterval of [0, to) of length l contains, at least, one number t such that |f (t + t) — f (t)|| < e for all t > M. The space consisting of all asymptotically almost periodic functions from [0, to) into X is denoted by AAP([0, to) : X). For any function f G C([0, to) : X), we have the equivalence of the statements (a)-(c), where:
(i) f G AAP([0, to) : X).
(ii) There exist uniquely determined functions g G AP([0, to) : X) and 0 G Co([0, to) : X) such that f = g + 0.
(iii) The set H(f) := {f (• + s) : s > 0} is relatively compact in Cb([0, to) : X).
Let 1 < p < to, let l > 0, and let f, g G Lfoc(/ : X), where I = R or I = [0, to).
The Stepanov 'metric' is defined by
DPi [f (•), g(-)] := sup
xEl
x+l
\ / IIf(t)-g(t)\\pdt
i/p
Then we know that, for every two numbers Z1,Z2 > 0, there exist two positive real constants k1, k2 > 0 independent of f, g, such that
kiDS[f (-),g(-)] < DS12 [f (-),g(-)] < ^DS^ [f (-),g(-)], as well as that there exists
D^[f(-),g(-)]:= lim DSi[f(-),g(-)] (1.2)
in [0, to]. The distance in (1.2) is called the Weyl distance of f (•) and g(-). The Stepanov and Weyl 'norm' of f (•) are defined through
||f Hsf := DSi [f (•), 0] and ||f := D^[f (•), 0],
respectively.
The choice of length l > 0 is basically irrelevant for considerations of Stepanov class. In the sequel, for this class we will assume that l = 1. It is said that a function
f G Lfoc(I : X ) is Stepanov p-bounded, Sp-bounded shortly, iff
' t+1
1/p
\sp := sup te/
llf (s
'ds
< 00.
Endowed with the above norm, the space LSS (I : X) consisting of all Sp-bounded functions is a Banach space; LSS (I) = LS (I : C). A function f G LSS (I : X) is said to be Stepanov p-almost periodic, Sp-almost periodic shortly, iff the function f : I ^ Lp([0,1] : X), defined by
f(t)(s):= f(t + s), t G I, s G [0,1],
is almost periodic. It is said that f G LSS([0, to) : X) is asymptotically Stepanov palmost periodic, asymptotically Sp-almost periodic shortly, iff f : [0, to) ^ Lp([0,1] : X) is asymptotically almost periodic. Any (asymptotically) Stepanov p-almost periodic function is (asymptotically) equi-Weyl-p-almost periodic.
1.3. Weyl almost periodic functions and asymptotically Weyl almost periodic functions. Let I = R or I = [0, to). The notion of an (equi-)Weylp-almost periodic function is introduced as follows:
Definition 1.2. Let 1 < p < to and f G Lfoc(J : X).
(i) It is said that the function f (•) is equi-Weyl-p-almost periodic, f G e-Wjp (I : X) for short, iff for each e > 0 we can find two real numbers l > 0 and L > 0 such that any interval I' C I of length L contains a point t G I' such that
sup xe/
If (t + T) - f (t)||p dt
1/p
< e, i.e., DSi[f (• + t),f (•)] < e.
(ii) It is said that the function f (•) is Weyl-p-almost periodic, f G Wap(1 : X) for short, iff for each e > 0 we can find a real number L > 0 such that any interval I' C I of length L contains a point t G I' such that
x+l n 1/p
/ llm + T) - Milirdi < e, i.e.,
i—
lim sup
i^œ xe/
I
i.e., lim [f (• + t),f (•)] < e.
In the set theoretical sense, we have the following inclusions:
APSp(1 : X) Ç e-Wp,(/ : X) Ç Wapp(/ : X).
As it is well-known, any of these two inclusions can be strict (25). Let us recall that the space of scalar-valued functions : R) is introduced for the first time by
A. S. Kovanko [26] in 1944.
It is well known that for any function f G Lfoc(1 : X ) its Stepanov boundedness is equivalent to its Weyl boundedness, i.e.,
If ||sp < TO iff ||f ||WP < rc.
For more details about Weyl-almost periodic functions, we refer the reader to [25, Section 4].
Asymptotically (equi)-Weyl-p-almost periodic functions have been recently introduced by the author [6]. If q G LpOc([0, to) : X), then we define the function q(-, •) : [0, to) x [0, to) ^ X by
q(t, s) := q(t + s), t, s > 0.
Definition 1.3. It is said that q G Lfoc([0, to) : X) is Weyl-p-vanishing iff
lim ||q(t, •)\\wp = 0, i.e., lim lim sup
t—t—l—x>0
Replacing the limits in (1.3), we come to the class of equi-Weyl-p-vanishing functions. It is said that a function q G LpOc([0, to) : X) is equi-Weyl-p-vanishing iff
lim lim sup
i—t—x>0
By W0([0, to) : X) and e-W0([0, to) : X), we denote the vector spaces consisting of all Weyl-p-vanishing functions and equi-Weyl-p-vanishing functions, respectively.
x+l
||q(t + .
'ds
= 0. (1.3)
x+l
||q(t + s)||p ds
1
0
l
2. Weyl almost periodic and asymptotically Weyl almost periodic solutions to abstract linear Volterra integro-differential equations
We start this section by stating the following proposition:
Proposition 2.1. Suppose that 1 < p < to, 1/p + 1/q = 1 and (R(t))t>0 Ç L(X, Y) is a strongly continuous operator family satisfying that
œ
M :=£ ||R(0|Uq[k,k+i] < to. (2.1)
k=0
If g : R ^ X is (equi)-Weyl-p-almost periodic, then the function G : R ^ Y, given
by
t
G(t) := J R(t - s)g(s) ds, t G R, (2.2)
— œ
is well-defined, bounded continuous and (equi)-Weyl-p-almost periodic.
Proof. Without loss of generality, we may assume that X = Y. We will follow the proof of [24, Proposition 2.11] with appropriate changes. The integral
œ
G(t) = J R(s)g(t - s) ds
is absolutely convergent due to the Holder inequality, (2.1) and Sp-boundedness of function g(-) :
fc+1
/ ||R(s)||||g(t - s)|| ds = £ / ||R(s)||||g(t - s)|| ds
0 k=o i
œ
< E ||R(-)|U*[k,k+i]||g|sp = M||g|sp, t > 0.
k=0
This also implies the boundedness of function G(-), while its continuity can be proved as in [27, Proposition 5]. It remains to be shown that G(-) is (equi)-Weyl-p-almost periodic. The proof is completely same for both classes and we will show this only for (equi)-Weyl-p-almost periodic functions. So, let a number e > 0 be given. By definition, there exist two finite numbers l > 0 and L > 0 such that any subinterval I of R of length L contains a number t G I such that
sup
x£R
x+l
||f(t + t) - / (t)||p dt
i/p
< e.
(2.3)
Arguing as in the proof of [24, Proposition 2.11], we get
œ / t—k \ 1/p ||G(t + t) - G(t)|| < ^ ||R(0|Uq[k,k+i] I | ||g(s + T) - g(s)||p ds
t—k—i
t> 0.
k=0
Using the monotone convergence theorem and this estimate, it readily follows that
sup
x£R
x+l
||G(t + t) - G(t)||p dt
1/p
< sup
x£R
t-k
sup
x£R
<
Hence,
sup
x£R
\ f / ||ff(s + T)-<7(a)rda dt
x k=0 t-k-1
' œ x+l / t-k \
J2\\R(-)\\w+i]] / / \\g(S + T)-g(SWdS\ dt k=0 x t-k-1
Îx+l / t-k \
sup \ j i j ||ff(a + r)-ff(a)rda j dt
i/p
1/p
k=0
x+l
x t-k-1
1/p
1/P
||G(t + t) - G(t)||p dt
1
<
x —k+1s+k
1
¿i|i?(-)IU,[W]<SUPy f f \\g(S + T)-g(S)\\Pdtds ,n xeR l J J
k—0 | xeR
k—0 1 x —k x
x+l —k s+k
+ \ f / llff(s + T) -g(s)\\pdtds
x—k+1s+k-1
x+l —k+1 x+l
+ \ J J II g(S + r)-g(SWdtdS
x+l —k s+k—1
1/p
:= I + II + III,
with the clear meaning of I, II and III. For I and III, the length of segments [x — k, x — k +1] and [x +1 — k, x +1 — k + 1] equals one while the length of segments [x, s + k] and [s — k + 1, x + l] does not exceed l. Keeping in mind (2.3), we get
I + III < 2Mep.
For any x £ R, we have
x—l—k s+k
y / / ||ff(a + r)-ff(a)rdida
x—k+1 s+k—1
x+l —k x—l —k
<] J \\g(s+T)-g(S)\\pdS< \ J Hff(s+r) -g(s)\\pds < ep.
ll
x—k+1 x—k
Hence II < Mep and therefore
1/p
< 3Mep.
sup
xeR
x+l
j / ||G(i + r)-G(i)rdi
This completes the proof. □
Remark 2.2. Let t ^ ||R(t)||, t € (0,1], be an element of the space Lq[0,1]. By the consideration given in [24, Remark 2.12], the condition (2.1) holds in the case that (R(t))t>o is exponentially decaying at infinity or that there exists a finite number Z < 0 such that ||R(t)|| = O(tz), t ^ +to, and
(i) p =1 and Z < —1,
or
(ii) p > 1 and Z < (1/p) — 1.
Remark 2.3. Suppose that g : R ^ X is only Stepanov p-bounded. Then the same argumentation as above shows that the function G(-) given by (2.2) is bounded and continuous.
Example 2.4. It is well known that the function g(-) := X[0j1/2] (•), where xa(0 denotes the characteristic function of set A, is (equi)-Weyl-p-almost periodic for any p € [1, to) but not Stepanov almost periodic [25]. If we take X = Y = C and
R(t) = e—t for t > 0, then the function G(-) will be given by G(t) = 0 for t < 0, G(t) = 1 - e—t for 0 < t < 1/2 and
1/2
G(t) = e—t J es ds o
for t > 1/2. It can be easily seen that this function cannot be Stepanov almost periodic. Similarly, the Heaviside function g(-) := X[o,œ)(-) is W,Pp-almost periodic for any p G [1, to) but not equi-Weyl-1-almost periodic [25]. Taking again X = Y = C and R(t) = e—t for t > 0, the function G(-) will be given by G(t) = 0 for t < 0 and G(t) = 1 - e—t for t > 0. This function cannot be equi-Weyl-1-almost periodic, so that our result is, in a certain sense, optimal concerning the scale of generalized almost periodic functions. Let us remind ourselves that the Stepanov p-almost periodicity of function g(-) implies that the function G(-) is almost periodic
[24].
In the following proposition, we analyze asymptotically (equi)-Weyl-almost periodic properties of finite convolution product (as mentioned in [6], (equi-)Weyl-p-vanishing functions behave much better than Weyl p-pseudo ergodic components introduced by S. Abbas in [28]. In the case that p > 1, we basically use the conditions already known from the proof of [24, Proposi-
tion 2.13]:
Proposition 2.5. Suppose that 1 < p < to, 1/p + 1/q = 1 and (R(t))t>0 Ç L(X, Y) is a strongly continuous operator family satisfying that, for every t > 0, we have
œ
P(t) := X) |R(^)|i'[t+k,t+k+i] < to.
k=o
Suppose, further, p1 > 1, P G W0P1 ([0, to) : C), resp, P G e-W0P1 ([0, to) : C), g : R ^ X is (equi)-Weyl-p-almost periodic, and there exists a finite constant
M > 1 such that the function Q1(^) given by
p
Qi(t) :=
t > M ; Qi(t):=0, 0 < t < M,
||R(r)||||q(t - r)|| dr
Lm
is in class W02 ([0, to) : C), resp. e-Wg2([0, to) : C), for some number p2 > 1 and the function Q2(0 given by t
Q2(t) := J ||q(s)|p ds, t > M; Q2W := 0, 0 < t < M,
t-M
is in class W0p3 ([0, to) : C), resp. e-W^3 ([0, to) : C), for some number p3 > 1. Then the function H(•), given by
t
H(t) := J R(t - s)[g(s) + q(s)] ds, t > 0,
is in class Wap([0, to) : Y) + W0P1 ([0, to) : Y) + W0P2 ([0, to) : Y) + W0P3 ([0, to) : Y) resp., weap([0, to) : Y)+ e-W0P1 ([0, to) : Y)+ e-W0P2 ([0, to) : Y)+ e-W0P3 ([0, to) : Y).
Proof. By Proposition 2.1, G() is bounded, continuous and Weyl-p-almost periodic. Define
t CC
F (t) := J R(t - s)q(s) ds -J R(s)g(t - s) ds, t > 0. 0t
Since H(t) = G(t)+F(t) for all t > 0, P G W0P1 ([0, to) : C), resp., P G e-Wp ([0, to) : C), g() is Stepanov p-bounded and, due to the Holder inequality,
R(s)g(t — s) ds
<E J ||R(s)||||g(t - s)|| ds
k=0t+k+1
<53 llR(^)NLq[t+k,t+k+1] Ng(t - •) y Lp[t+k,t+k+1]
C
< llffls^X) |R(^)lL'[t+k,t+k+i] = IglspP(t), t > 0,
k=0
k=0
it suffices to show that the function
t
t ^ L(t) := J R(t - s)q(s) ds, t > 0,
is in class W0p2 ([0, to) : Y) + W0P3 ([0, to) : Y), resp., e-W0P2 ([0, to) : Y) + e-W^3 ([0, to) : Y). For this, just observe that
R(t - r)q(r) dr
t-M
< f ||R(t - r)||||q(r)|| dr + ||R()||
for any t > M, and employ after that the conditions imposed on the functions Q1(^) and Q2 (•). □
Remark 2.6. The condition P G W0p([0, to) : C), resp., P G e-W0p([0, to) : C) is slightly weaker from that one employed in the formulation (ii) of [24, Proposition 2.13] since the class of Stepanov p-vanishing functions is contained in the class of equi-Weyl-p-vanishing functions [6]. In the case that P (t) < to for all t > 0 and there exists a finite real number Z < -1 such that
||R(t)|| = O((1+ tz)-1), t > 1,
then the stronger condition P G C0([0, to) : C) holds true; see [24, Remark 2.14(ii)].
Remark 2.7. In our previous research study [6], we have used a different condition on the function q() provided that p =1. For any locally integrable function
t
q £ L11oc(R : X) and for any strongly continuous operator family (R(t))t>0 Q L(X, Y) satisfying
||R(s)|| ds < to,
we have formally set
x+t x+t-r+l
[ 1 [
J 7 J
0 x+ t- r
||q(r)|| drL t> 0, 1> 0.
In [6], we have used the condition
lim lim J(t, l) = 0, resp., lim lim J(t, l) = 0.
(2.4)
Some sufficient conditions ensuring the validity of (2.4) have been examined in [6, Example 5.4-Example 5.6].
3. Weyl almost periodic and asymptotically Weyl almost periodic solutions to abstract semilinear Volterra integro-differential equations
For the sake of brevity and better expostion, in this section we will use only one pivot space X = Y. For our study of semilinear problems, we need the following definition introduced recently in [5], with I = R :
Definition 3.1. A function f : I x X ^ X is said to be equi-Weyl-almost periodic in t £ I uniformly with respect to compact subsets of X iff the function f (-,x) £ Lfoc(I : X) for each fixed element x £ X and if for each e > 0 there exists l > 0 such that for all compacts K of X we have that the set
t £ I : sup sup
uEK xE/
x+l
||f (t + T,u) - f (t,u)||p dt
1/p
< e
is relatively dense. We denote by e-Wpp K (I x X : X) the vector space consisting of such functions.
A useful characterization of equi-Weyl-p-almost periodic functions established by L. I. Danilov [29] has been essentially employed by F. Bedouhene, Y. Ibaouene, O. Mellah and P. Raynaud de Fitte [5] for proving the following composition principle with I = R (see [5, Theorem 3]); the proof also works in the case that I = [0, to) :
Lemma 3.2. Suppose that p, q, r > 1, 1/r+1/q = 1/p and f (■, ■) £ e-WPp K(Ix X : X). If there exists a Stepanov r-bounded function L(-) such that
||f(t,x) - f(t,y)||< L(t)||x - y||, t £ I, x, y £ X, (3.1)
then for each function x G e-Wjp(/ : X) we have f (,x()) G e-WPp(/ : X).
The composition principles for Weyl-p-almost periodic functions will be considered somewhere else and, in this section, we will consider only the class of equi-Weyl-p-almost periodic functions (it is also worth mentioning an interesting result of S. Abbas [28], concerning composition principles for the class of Weyl pseudo almost automorphic functions).
We need to introduce the following definition:
Definition 3.3. Let q : [0, to) x X ^ X be such that q(, x) G Lfoc([0, to) : X) for each fixed element x G X.
(i) We say that q(, •) is Weyl-p-vanishing uniformly with respect to compact subsets of X iff for each compact set K of X we have:
i/p
ST'
ij
S
lim lim sup
||q(t + .
'ds
= 0.
(3.2)
(ii) We say that q(, •) is equi- Weyl-p-vanishing uniformly with respect to compact subsets of X iff for each compact set K of X we have:
i/p
ST'
1.1
S
lim lim sup
||q(t + s,x)||p ds
0.
(3.3)
We denote by Wq K(I x X : X) and e-WjK(I x X : X) the classes consisting of all Weyl-p-vanishing functions, uniformly with respect to compact subsets of X and equi-Weyl-p-vanishing functions, uniformly with respect to compact subsets of X, respectively.
Now we are ready to state the following composition principle:
Theorem 3.4. Suppose that p, q, r > 1
111 - + - = -, g{-
r q p
■) e e-W* ([0, X X : X)
and there exists a Stepanov r-bounded function L() such that (3.1) holds with the function f (•, •) replaced with the function •) therein. Suppose, further, that the following conditions hold:
(i) The function Q := f — g : [0, to) xX ^ X is Weyl-p-vanishing uniformly with respect to compact subsets of X, resp., equi-Weyl-p-vanishing uniformly with respect to compact subsets of X. Denote by Wq q([0, to) : X) the class Wq ([0, to) : X), resp. e-W|p([0, to) : X), in the first, resp., the second case.
(ii) The function z : [0, to) ^ X is Weyl-q-vanishing, resp., equi-Weyl-q-vanishing. Denote by W0qz([0, to) : X) the class W0q([0, to) : X), resp. e-W0q([0, to) : X), in the first, resp., the second case.
(iii) The function y : [0, to) ^ X is equi-Weyl-q-almost periodic and there exists a set E' C [0, to) with m(E') = 0 such that K' = {x(t) : t G [0, to) \ E'}
is relatively compact in X, where m(E') denotes the Lebesgue measure of E' and
x(-) := y(-)+ z(•).
Then the mapping t ^ f (t, x(t)), t > 0 is in class e-WjpQO, to) : Y) + WopQ([0, to) : X) + W0%([0, to) : X).
Proof. It is clear that
f (t, x(t)) = [g(t, x(t)) - g(t, y(t))] + g(t, y(t)) + Q(t, x(t)), t > 0.
Due to Lemma 3.2, it suffices to show that the function g(-,x(-)) — g(-,y(-)) is in class Wqz([0, to) : X) and the function Q(-,x(-)) is in class Wqq([0, to) : X). This is evident for the second function since we have assumed (iii) and (3.2), resp., (3.3) holds. For the first function, the corresponding statement holds on account of the fact that p > q, the estimate
||g(t,x(t)) — g(t, y(t))|| < L(t)||z(t)||, t > 0,
and the following calculation involving the Holder inequality:
x+t+l
x+t
1/p
<
x+t+l
[L(s)||z(s)||]p ds
x+t
1/p
L'J
53 ||L||Lr[x+t+k,x+t+k+1] ||z||Lq[x+t+k,x+t+k+1] k=0
1/p
< 1(-1)/P
LiJ
l|z|Lq[x+t+k,x+t+k+1]
k=0
1/p
< z(-1)/p|| LIsrz1/p-1/q
LiJ
Ei
k=0
19
lL«[x+t+k,x+t+k+1]
1/9
= llLllS'
- z ( 1)/q I
z yLq[x+t,x+t+l]-
□
In the remaining part of this section, we will consider abstract semilinear Cauchy problems. First of all, we will state and prove the following slight generalization of the first part of [5, Theorem 5], stated only in the case that p > 2 (see also [5, Remark 2], where the authors have imposed the constant value for the function L(-)):
Theorem 3.5. Suppose that 1 < p< to, 1/p + 1/q =1 and (R(t))t>0 C L(X) is a strongly continuous operator family satisfying (2.1). Suppose that the function t ^ f (t, v(t)), t G R is locally p-integrable for any function v G Cb(R : X) and there exists a function L G L^(R) such that (3.1) holds with I = R. If M||L||SP < 1, then there exists a unique function u G Cb(R : X) such that
t
u(t) := J R(t - s)f (s,u(s)) ds, t G R.
(3.4)
s
z
Proof. Set, for every function v e Cb(R : X),
t
(Tv)(t) := J R(t - s)f (s,v(s)) ds, t e R.
We claim that the mapping T : Cb(R : X) ^ Cb(R : X) is well-defined and an (M||L||sp)-contraction. Since the function t ^ f (t, v(t)), t e R is locally p-integrable for any function v e Cb(R : X), we may use the same argumentation as in the proof of [27, Proposition 5] in order to see that the function (Tv)() is continuous. For boundedness, observe first that the mapping f (•, 0) is Sp-bounded since {0} is a compact subset of X. After that, we can employ the following calculation, which is valid for each number t R :
t
/ R(t - s)f (s,v(s)) ds
t — k
J P(t - s)||||f(s,v(s))|| ds
k=0t— (k—1)
J ||R(t - s)||[||f(s,v(s))||-||f(s, 0)||] ds
k=0t—(k—1) ~ t —k
+ E J ||R(t-s)||||f(s,0)||ds
k=0t—(k—1)
< E ||R(t - •)|L'[t — (k — 1),t — k] ||L()v()||Lp[t — (k — 1),t — k]
k=0
t—k
+ ||f (•, J ||R(t -•)|L,[t—(k—1),t—k]
k=0t—(k—1)
< M|L|sp||v|U + M||f(•, 0)|sp.
Arguing similarly (see also the proof of [4, Theorem 2.7.6]), we can conclude that for every two functions v1, v2 e Cb(R : X) one has
||(Tv1)() - (Tv2)()|U < M||L||sp||v1 - v2|TO,
proving the claimed. □
In the following theorem, we consider abstract semilinear Cauchy problems for functions defined on the non-negative real axis:
Theorem 3.6. Suppose that 1 < p < to, 1/p+l/q = 1 and f : [0, to) xX ^ X satisfies that the function t ^ f (t, v(t)), t > 0 is locally p-integrable for any function v e Cb([0, to) : X). Suppose, further, x e E and (R(t))t>0 C L(X) is a strongly continuous operator family satisfying (2.1). Let there exist a function L e LS ([0, to)) such that (3.1) holds with I = [0, to). If M||L||sp < 1 and the mapping t ^ R(t)x, t > 0, can be extended to a bounded continuous function defined on [0, to), denoted
by the same symbol henceforth, then there exists a unique function u G Cb([0, to) : X) such that
t
u(t) := R(t)x + J R(t — s)f (s, u(s)) ds, t > 0. 0
Proof. The proof is very similar to the proof of previous theorem and we will only outline the main details. Set, for every function v G Cb([0, to) : X),
t
(Tv)(t) := R(t)x + y R(t — s)f (s, u(s)) ds, t > 0. 0
Then the mapping
T : Cb([0, to) : X) ^ C6([0, to) : X)
is well-defined. For the continuity of (Tv)(), we can use the same argument as above. The boundedness of function (Tv)() can be deduced as in the proof of Theorem 3.5 and we have the estimate:
||(Tv)(t)|| < ||R(t)x|| + (||v||TO + ||f (•, 0)|sp)M < to, t > 0.
It is almost trivial to prove that T(•) is an (M||L||sp)-contraction, finishing the proof of theorem by the Banach contraction principle. □
It is a well-known fact that Stepanov-p-almost periodicity of function f (•, •) in Theorem 3.5, resp. asymptotical Stepanov-p-almost periodicity of function f (•, •) in Theorem 3.6, almost inevitably leads to the almost periodicity, resp. asymptotical almost periodicity, of obtained solutions (cf. [4] for more details). On the other hand, the spaces of (equi)-Weyl-p-almost periodic functions are not complete with respect to the Weyl norm and the above conclusion cannot be deduced. Following the method proposed by M. Kamenskii, O. Mellah and P. Raynaud de Fitte [30], the authors of [5] have investigated some additional conditions ensuring that the obtained bounded continuous solution of the abstract semilinear Cauchy problem under their consideration is equi-Weyl-p-almost periodic for a given equi-Weyl-p-almost periodic forcing term f (•, •) G e-Wp K(R x X : X) (cf. [5, Theorem 5]). It is beyond the scope of this paper to analyze a similar question for degenerate resolvent operator families (R(t))t>0 for which the estimate ||R(t)|| = O(e-ctt^-1), t > 0, or ||R(t)|| = O(t^-1(1 + tY)-1), t > 0, holds with certain numbers c > 0, ft G (0,1) and
Y > 1.
4. Examples and applications
As illustrated in the final section of paper [6], a great number of examples and applications of our abstract results can be given to the class consisting of those multivalued linear operators satisfying the condition (P). First of all, it is pretty clear how one can apply Proposition 2.1 and Proposition 2.5 in the qualitative
analysis of solutions to abstract degenerate differential equations and inclusions of first order. Typical examples are the Poisson heat equations
d
— [m(x)v(t,x)\ = (A - b)v(t,x) + f(t,x),t el, x G il; v(t, x) = 0, (t, x) G [0, to) x dO,
and
d
— [m(x)v(t, x)} = (A - b)v(t, x) + f(t, x), t > 0, x G O; v(t, x) = 0, (t, x) G [0, to) x dO, m,(x)t>(0,x) = uo(x), x G O,
in the space X := Lp(O), where O is a bounded domain in Rn, b > 0, m(x) > 0 a.e. x G O, m G Lœ(O) and 1 < p < to. The starting point in the whole analysis is the fact that the multivalued linear operator := AB-1, where A := A — b acts on X with the Dirichlet boundary conditions, and B is the multiplication operator by the function m(x), satisfies the condition (P) with ft = 1/p and certain finite constants c, M > 0. Proposition 2.1 and Proposition 2.5 can be applied in the analysis of existence and uniqueness of (equi)-Weyl-p-almost periodic solutions and asymptotically (equi)-Weyl-p-almost periodic solutions of the fractional Poisson heat equations containing Weyl-Liouville of Caputo fractional derivatives, as well.
The afore-mentioned results can be also applied to abstract non-degenerate differential equations with almost sectorial operators [31]. For example, we can apply Proposition 2.5 in the analysis of existence and uniqueness of asymptotically Weyl-p-almost periodic solutions of the following fractional equation in the Holder space X = Ca(Ô) :
DYu(t,x) = — E a/3(t,x)Du(t,x) — o-u(t,x)+ f (t,x), t > 0, x G O,
|^|<2m
u(0, x) = uo(x), x G O.
For more details, the interested reader may consult [32] and [6].
We close the paper with the observation that the assertions of Proposition 2.1 and Proposition 2.5 seem to be new even for non-degenerate strongly continuous exponentially decaying semigroups.
REFERENCES
1. Cheban D. N. Asymptotically almost periodic solutions of differential equations. Hindawi Publishing Corporation, 2009.
2. Diagana T. Almost automorphic type and almost periodic type functions in abstract spaces. New York: Springer-Verl., 2013.
3. N'Guérékata G. M. Almost automorphic and almost periodic functions in abstract spaces. Dordrecht: Kluwer Acad. Publ., 2001.
4. Kostic M. Almost periodic and almost automorphic type solutions of abstract Volterra integro-differential equations. Book Manuscript, 2018.
5. Bedouhene F., Ibaouene Y., Mellah O., Raynaud de Fitte P. Weyl almost periodic solutions to abstract linear and semilinear equations with Weyl almost periodic coefficients // Math. Method. Appl. Sci., accepted.
6. KostiC M. Weyl-almost periodic solutions and asymptotically Weyl-almost periodic solutions of abstract Volterra integro-differential equations // Banach J. Math. Anal., accepted.
7. Carroll R. W., Showalter R. W. Singular and Degenerate Cauchy Problems. New York: Acad. Press, 1976.
8. Demidenko G. V., Uspenskii S. V. Partial differential equations and systems not solvable with respect to the highest-order derivative. New York: CRC Press, 2003. (Pure and Appl. Math. Ser.; V. 256).
9. Falaleev M. V., Orlov S. S. Continuous and generalized solutions of singluar integro-differential equations in Banach spaces // IIGU. Ser. Matematika. 2012. V. 5. P. 62—74.
10. Favini A., Yagi A. Degenerate differential equations in Banach spaces. New York: Chapman and Hall/CRC, 1998. (Pure and Appl. Math.).
11. Fedorov V. E., Debbouche A. A class of degenerate fractional evolution systems in Banach spaces // Differ. Equ. 2013. V. 49. P. 1569-1576.
12. Fedorov V. E., Gordievskikh D. M. Resolving operators of degenerate evolution equations with fractional derivative with respect to time // Izv. vuzov. Mathematics. 2015. V. 1. P. 71-83.
13. KostiC M. Abstract degenerate Volterra integro-differential equations: Linear theory and applications. Book Manuscript, 2016.
14. Kozhanov A. I. On boundary value problems for some classes of higher-order equations that are not solved with respect to the highest derivative // Sib. Math. J. 1994. V. 35, N 2. P. 324-340.
15. Melnikova I. V., Filinkov A. I. Abstract Cauchy problems: Three spproaches. Boca Raton: Chapman and Hall/CRC, 2001.
16. Sviridyuk G. A., Fedorov V. E. Linear Sobolev type equations and degenerate semigroups of operators. Utrecht, Boston: VSP, 2003. (Inverse and Ill-Posed Problems; V. 42).
17. Bazhlekova E. Fractional Evolution Equations in Banach Spaces. Doctoral Dissertation. Eindhoven University of Technology, 2001.
18. KostiC M. Generalized Semigroups and Cosine Functions. Belgrade: Mathematical Institute SANU, 2011.
19. KostiC Abstract Volterra integro-differential equations. Boca Raton; New York; London: Taylor and Francis Group/CRC Press/Sci. Publ., 2015.
20. Priiss J. Evolutionary integral equations and applications. Basel: Birkhauser-Verl, 1993.
21. Samko S. G., Kilbas A. A., Marichev O. I. Fractional derivatives and integrals: Theory and applications. New York: Gordon and Breach, 1993.
22. Mu J., Zhoa Y., Peng L. Periodic solutions and ^-asymptotically periodic solutions to fractional evolution equations // Discrete Dyn. Nat. Soc. V. 2017, Article ID 1364532. 12 p. https:// doi.org/10.1155/2017/1364532.
23. R. Cross, Multivalued linear operators. New York: Marcel Dekker Inc., 1998.
24. KostiC M. Existence of generalized almost periodic and asymptotic almost periodic solutions to abstract Volterra integro-differential equations // Electron. J. Diff. Equ. 2017. V. 2017, N 239. P. 1-30.
25. Andres J., Bersani A. M., Grande R. F. Hierarchy of almost-periodic function spaces // Rend. Mat. Appl. 2006. V. 7, N 26. P. 121-188.
26. Kovanko A. S. Sur la compacie des sysemes de fonctions presque periodiques geeralisees de H. Weyl / Dokl. Acad. Sci. URSS. 1943. V. 43. P. 275-276.
27. KostiC M. Generalized almost automorphic and generalized asymptotically almost automorphic solutions of abstract Volterra integro-differential inclusions // Fractional Diff. Calc., accepted.
28. Abbas S. A note on Weyl pseudo almost automorphic functions and their properties Math. Sci. (Springer) 2012. V. 6, N 29. 5pp. doi:10.1186/2251-7456-6-29.
29. Danilov L. I. On Weyl almost periodic selections of multivalued maps //J. Math. Anal. Appl. 2016. V. 316. P. 110-127.
30. Kamenskii M., Mellah O., Raynaud de Fitte P. Weak averaging of semilinear stochastic differential equations with almost periodic coefficients // J. Math. Anal. Appl. 2015. V. 427. P. 336-364.
31. Periago F., Straub B. A functional calculus for almost sectorial operators and applications to abstract evolution equations // J. Evol. Equ. 2002. V. 2. P. 41-68.
32. von Wahl W. Gebrochene Potenzen eines elliptischen Operators und parabolische Differentialgleichungen in Raumen holderstetiger Funktionen // Nachr. Akad. Wiss. Gottingen Math.-Phys. Kl. 1972. Bd 11. S. 231-258.
Submitted March 28, 2018 Marco Kostic
Faculty of Technical Sciences, University of Novi Sad,
6 Trg D. Obradovica, Novi Sad 21125, Serbia marco.s@verat.net
