arxiv: v1 [math.ap] 27 Oct 2016

Transcription

1 ASYMPTOTIC BEHAVIOR AND REPRESENTATION OF SOLUTIONS TO A VOLTERRA KIND OF EQUATION WITH A SINGULAR KERNEL RODRIGO PONCE AND MAHAMADI WARMA arxiv:6.875v [math.ap] 7 Oct 6 Abstract. Let A be a densely defined closed, linear ω-sectorial operator of angle θ [, π ) on a Banach space X for some ω R. We give an explicit representation in terms of some special functions) and study the precise asymptotic behavior as time goes to infinity of solutions to the following diffusion equation with memory: u t) = Aut)+κ Au)t), t >, u) = u, associated βt tµ with the possible) singular kernel κt) = αe, t >, where α R, α, β and Γµ) < µ.. Introduction In the present paper, we consider the following Volterra kind of system t u t) = Aut)+ κt s)aus)ds, t >, u) = u, where A with domain DA) is a densely defined linear sectorial operator on a Banach space X, u is a given function in X and the possible singular) kernel κ is given by.) κt) = αe βttµ, t >,.) Γµ) with α R, α, β and < µ. We mention that the kernel κ L loc [, )), and is even in L, )) if β >, but it is not in W, loc [, )) if < µ <. It is straightforward to verify that the system.) is equivalent to the integral equation ut) = u + t + κ)t s)aus)ds, t..3) By [5, Chapter I], the well-posedness of the system.) or equivalently, the integral equation.3)) is equivalent to the existence of a family of boundedlinear operators S µ α,β t)) t on X, which we shall call α, β, µ)-resolvent family, verifying the following properties. S µ α,β ) = I and Sµ α,β ) is strongly continuous on [, ). S µ α,β t)x DA) and Sµ α,β t)ax = ASµ α,β t)x for all x DA) and t. For all x DA) and t, the resolvent equation holds: S µ α,β t)x = x+ t + k)t s)as µ α,β s)x ds..4) Mathematics Subject Classification. Primary 47D6; Secondary 45D5, 45N5, 47J35, 45M. Key words and phrases. Volterra kind of equation, generalized Mittag-Leffler functions, explicit representation of solutions, exponential stability of solutions, heat equation with memory. The research of the first author is partially supported by Fondecyt Iniciación #369. The work of the second author is partially supported by the Air Force Office of Scientific Research under the Award No: FA

2 RODRIGO PONCE AND MAHAMADI WARMA In that case, for every u X, the unique mild) solution of.) is given by ut) = S µ α,β t)u, t..5) We give the idea how to get.5) without further detail. In fact, uniqueness of solutions is easy to establish. Taking the Laplace transform of both sides of the first equation in.) we get that α λûλ) u) = Aûλ)+ λ+β) µaûλ). Thus where we have set λ+β) µ ) +α λλ+β) µ λ+β) µ λ+β) µ +α A ûλ) =[gλ)] ) hλ) A ûλ) = u,.6) gλ) := λ+β)µ λ+β) µ +α and hλ) := λλ+β)µ λ+β) µ +α = λgλ). Notethatgλ) andhλ) arewell-definedforallλwithreλ) >. TakingalsotheLaplacetransform of both sides of.4) with x = u we get that Ŝ µ α,β λ)u = λ u + λ + kλ) ) λ AŜµ α,β λ)u. Calculating, we obtain that λ+β) µ ) +α λλ+β) µ λ+β) µ λ+β) µ +α A Ŝ µ α,β λ)u =[gλ)] hλ) A )Ŝµ α,β λ)u = u..7) It follows from.6) and.7) that if hλ) ρa), then u ûλ) = Ŝµ α,β λ)u = gλ) hλ) A)..8) Now taking the inverse Laplace transform of.8) we get that the unique mild) solution of.) is given by.5). For more details on this topic we refer to the monograph [5]. Next, we assume that the system.) is well-posed and we denote by S µ α,β the associated α, β, µ)-resolvent family. Definition.. We shall say that S µ α,β is exponentially bounded, or of type M, ω), if there exist two constants M > and ω R such that S µ α,β t) Me ωt, t..9) The resolvent family S µ α,β will be said to be uniformly exponentially stable if.9) holds with some constants M > and ω <. As we have mentioned above, the well-posedness of the system.) and many other properties of resolvent families have been intensively studied in the monograph [5]. Similar problems have been also considered in [, 3, 9,, 3] and their references. The asymptotic behavior as time goes to of solutions to some similar integro-differential equations in finite dimension involving kernels as the one in.) have been also studied in [6]. The main concerns in the present paper are the following.

3 ASYMPTOTIC BEHAVIOR 3 ) Study the precise asymptotic behavior as time goes to infinity of solutions to the system.). That is, we would like to characterize the minimum real number ω in the estimate.9). Of particular interest will be to find some precise conditions on the parameters α, β, µ and the operator A that shall imply the uniform exponential stability of the family S µ α,β, and hence, of solutions to the system.). ) Find an explicit representation of solutions to the system.) in terms of some special functions. The Mittag-Leffler functions and its generalizations will be the natural candidate. We mention that if µ = and β > in.), that is, κt) = αe βt, then the asymptotic behavior of the associated resolvent family has been completely studied in [] by using some semigroups method. See also [6, Chapter VI] where the well-posedness of the system.) for a general kernel κ W,, )) has been obtained by using again the method of semigroups. One of our concerns is to extend the results contained in [] to the case < µ <, where the method of semigroups cannot be used. Note that in our situation κ W, loc [, )). If β = and < µ <, then it is well-known see e.g. [4, 5, 7,, 4] and their references) that the corresponding α,, µ)-resolvent family is never uniformly exponentially stable. In this case, solutions may decay but only at most polynomial. We shall see here that the situation is different if β >. More precisely, assuming that the operator A is ω-sectorial of angle θ see Section below for the definition) for some ω <, θ µ π, where < µ < µ, and that β +ω, we obtain the following result. a) If α >, then the family is uniformly exponentially stable with ω = β. b) If α < and α+β µ α, then the family is exponentially bounded with exponential bound ω = β αω) µ+ ). This will imply the uniform exponential stability of the family if in addition β µ+ > αω. The rest of the paper is structured as follows. In Section we state the main results where some generation results of α, β, µ)-resolvent families and the precise asymptotic behavior as time goes to infinity of the resolvent family have been obtained. Section 3 contains the proof of the generation theorem. In Section 4 we give the proof of the asymptotic behavior as time goes to infinity of the resolvent family. Finally in Section 5, assuming that A = ρi for some ρ R or A is a self-adjoint operator on L Ω) where Ω R N is a bounded open set) with compact resolvent, we obtain an explicit representation of solutions to the system.) and hence of the associated resolvent family) in terms of Mittag-Leffler type of functions.. Main results Let X be a Banach space with norm. For a closed, linear and densely defined operator A on X, we denote by σa) and ρa) the spectrum and the resolvent set of A, respectively. The operator A is said to be ω-sectorial of angle θ if there exist θ [,π/) and ω R such that { w +Σ θ := ω +λ, λ C : argλ) < θ+ π } ρa), and one has the estimate λ A) M λ ω, λ {ω +Σ θ}\{ω}. If ω =, we shall only say that A is sectorial of angle θ. More details on sectorial operators can be found in [6, 8] and they references. In this section we state the main results of the paper. We start with the generation theorem. Theorem.. Let α R, α, β and < µ. Assume any one of the following two conditions.

4 4 RODRIGO PONCE AND MAHAMADI WARMA a) α > and A is a sectorial operator of angle µ π. b) α <, α+β µ α and A is a sectorial operator of angle µ π. Then A generates an α,β,µ)-resolvent family S µ α,β t)) t of type M, ω) for every ω >. Corollary.. Let α R, α, β, < µ and ω R. Assume any one of the following two conditions. a) α > and A is an ω-sectorial operator of angle µ π. b) α <, α+β µ α and A is an ω-sectorial operator of angle µ π. Then A generates an α,β,µ)-resolvent family S µ α,β t)) t of type M, ω) for some ω >. As we have mentioned above, the asymptotic behavior as time goes to infinity of the resolvent family for the case µ = has been completely studied in []. Therefore we concentrate on the case < µ <. The following estimates of the resolvent family is the second main result of the paper. Theorem.3. Let α R, α, β, < µ < µ and ω <. Assume that β +ω. Then the following assertions hold. a) If α > and A is ω-sectorial of angle µ π, then there exists a constant C > such that the resolvent family S µ α,β t)) t generated by A satisfies the estimate S µ α,β t) Ce βt, t..) b) If α <, α+β µ α and A is ω-sectorial of angle µ π, then there exists a constant C > such that the resolvent family S µ α,β t)) t generated by A satisfies the estimate S µ α,β t) C +αωt µ+) e β αω) µ+ )t, t..) 3. Proof of Theorem. and Corollary. Before given the proof of the generation theorem we need some intermediate results. First, we recall the following fundamental result from [5, Chapter I, Theorem.3]. Theorem 3.. Let a L loc [, )) satisfy e ωt at) dt <. 3.) Let A with domain DA) be a linear operator on X with dense domain. Then A generates a resolvent family associated with a) of type M, ω) on X if and only if the following two conditions hold. a) âλ) and âλ) ρa) for all λ > ω. b) The mapping λ Hλ) := λ I âλ))a) satisfies the estimate H n) λ) where H n) λ) = dn H dλ n λ). The following result will be also useful. Mn! λ ω) n+, λ > ω, n N := N {}, Lemma 3.. Let α R, β, < µ and define gλ) := λ+β)µ Then the following assertions hold. a) If α, then gλ). b) If α < and α+β µ α, then gλ) βµ α+β βµ µ α. λ+β) µ +α for all λ with Reλ) >.

5 ASYMPTOTIC BEHAVIOR 5 Proof. Let α R, β and < µ. a) This assertion is obvious. b) Now assume that α < and β µ +α α. First, observe that We claim that We show first that gλ) = α λ+β) µ +α + α λ+β) µ β µ +α+β µ ). 3.) Re[λ+β) µ β µ ] > for all Reλ) >. 3.3) Re[λ+β) µ ] > Reλ)+β) µ for all Reλ) >. 3.4) Indeed, let z := λ+β. We have to show that Rez µ ) > Rez)) µ, that is, z µ cosθµ) > z cosθ)) µ, where z = z cosθ) with θ < π. Let fµ) := cosµθ) cosµ θ), µ. Then f µ) = θ cosµθ) lncosθ))) cos µ θ) < for all < µ, and this implies that f is a concave function. Since f) = f) =, we have that the graph of f is above the straight line joining the points,f)) =,) and,f)) =,). This implies that fµ) for all µ. Thus cosµθ) cos µ θ) for all µ and we have shown 3.4). The claim 3.3) follows from 3.4). On the other hand, since by assumption α+β µ α >, it follows from 3.3) that Using 3.5), we get from 3.) that and the proof is finished. We also need the following result. Re[λ+β) µ β µ +α+β µ )] > α+β µ. 3.5) gλ) + α α+β µ = βµ α+β µ βµ α, Lemma 3.3. Let α R, α, β, < µ and define the function Assume any one of the following two conditions. Then a) α >. b) α < and α+β µ α. hλ) = λλ+β)µ λ+β) µ, λ C, Reλ) >. 3.6) +α arghλ)) + µ) argλ). 3.7) Proof. Let h be given by 3.6) where λ = re iθ with θ < π and r >. Without any restriction we may assume that θ. Then arghre iθ )) =Imlnhre iθ ))) = Im =Im d dt lnhreit ))dt h re it )ire it hre it dt. 3.8) )

6 6 RODRIGO PONCE AND MAHAMADI WARMA Moreover a simple calculation gives λ h λ) hλ) = + ) ) αµ λ λ+β) µ. +α λ+β a) Assume that α >. Then λ) λh hλ) +µ α λ λ+β) µ +α λ+β +µ. 3.9) Using 3.9) we get from 3.8) that Im h re it )ire it hre it dt ) h re it )ire it hre it ) dt +µ)dt +µ)θ, and we have shown 3.7). b) Now assume that α < and β µ +α α. Then using 3.5) we get that λ) λh hλ) +µ α λ µ α λ+β) µ +α λ+β + +µ. 3.) α+β µ It follows from 3.8) and 3.) that Im h re it )ire it hre it dt ) We have shown 3.7) and the proof is finished. h re it )ire it hre it ) dt + µ α α+β µdt +µ)θ. Proof of Theorem.. First we note that compare with Theorem 3. we have that so that its Laplace transform is given by It is clear that for every ω > we have that at) = + κ)t), t >, âλ) = λ + κλ) λ = λ+β)µ +α λλ+β) µ. e ωt at) dt = e ωt + κ)t) dt <. Hence, we have to show that the two conditions in Theorem 3. are satisfied. It is easy to see that under the assumptions a) or b) we have that âλ) for all λ with Reλ) >. Next, we claim that λλ+β)µ = hλ) = âλ) λ+β) µ ρa) for all λ with Reλ) >. 3.) +α It follows from Lemma 3.3 that in both cases a) and b), we have that hλ) Σπµ for all λ with Reλ) >. This implies that the function Hλ) = gλ)hλ) A) is well defined, where gλ) is given by gλ) = λ+β)µ λ+β) µ +α = hλ) λ.

7 ASYMPTOTIC BEHAVIOR 7 Since A is a sectorial operator of angle µ π in both cases a) and b)), we have that there exists a constant M > such that for all λ with Reλ) >, λhλ) = hλ) hλ) A) hλ) M = M. 3.) hλ) Moreover a simple calculation gives that in both cases, λ H λ) =µ λ λ+β λhλ) µ λ λ+β gλ)λhλ) λ Hλ) µ λ λ+β λ Hλ) +gλ)λ Hλ) µ λ λ+β. Note that in the case b) we have that α+β µ +µ)α+β µ α +µα >. Since the function g is bounded by Lemma 3.), then using 3.), we get that there exists a constant M > such that λ H λ) M for all λ with Reλ) >. 3.3) Combining 3.) and 3.3) we get that there exists a constant M > such that λhλ)+ λ H λ) M for all λ with Reλ) >. 3.4) By [5, Proposition.], the estimate 3.4) implies that H n) λ) Mn! λ n+, λ >, n N. 3.5) From 3.5) we also have that for every ω >, H n) λ) Mn! λ ω) n+, λ > ω, n N. Finally, it follows from Theorem 3. that A generates an α,β,µ)-resolvent family S µ α,β t)) t of type M, ω) and the proof is finished. Proof of Corollary.. Assume that α >, or α < and α+β µ α and that A is ω-sectorial of angle µ π. The claim follows from the decomposition A = ωi+a) ωi, using Theorem. and the perturbation result of resolvent families contained in [, Corollary 3.]. We make some comments about the results obtained in Theorem. and Corollary.. Remark 3.4. We notice that even if we assume that the operator A is ω-sectorial for some ω <, then uniform exponential stability of the family S µ α,β t)) t cannot be derived from Theorem. and Corollary.. In fact, the integral condition 3.) on the kernel at) = + κ)t) is only satisfied for ω >. Therefore some new ideas are needed in the study of the uniform exponential stability of the family which is one of the main goals of the present paper. 4. Proof of Theorems.3 In this section we give the proof of Theorems.3. For this we need the following result. Lemma 4.. Let β, α R, α, < µ and define the function If Reλ) < and λ µ α, then hλ) := λ β)λ µ λ µ +α. 4.) arg hλ)) +µ) argλ). 4.)

8 8 RODRIGO PONCE AND MAHAMADI WARMA Proof. We proceed as in the proof of Lemma 3.3. Let h be given by 4.) with λ = re iθ where θ > π and rµ α. Without any restriction we may assume that θ > π. A simple calculation gives that Recall that λ h λ) hλ) = λ λ β +µ α λ µ +α. 4.3) arg hre iθ )) = Imln hre iθ ))) = Im h re it )ire it dt. hre it ) Since Reλ) < and λ µ α, we have that λ µ +α λ µ α α. Thus it follows from 4.3) that λ h λ) hλ) +µ. Therefore Im and the proof is finished. h re it )ire it hre it ) dt h re it )ire it hre it ) dt +µ)dt +µ)θ, Proof of Theorem.3. Let β, α R, α, < µ < µ and ω <. a) Assume that α >. Since A is ω-sectorial of angle < θ µ π, it follows from Theorem. and Corollary. that A generates an α,β,µ)-resolvent family S µ α,β t)) t. Recall the function h given by hλ) := λλ+β)µ λ+β) µ +α. We have that for every λ C such that hλ) ω + Σ θ, the resolvent and the Laplace transform of S µ α,β t) is given by λλ+β) µ λ+β) µ +α I A ) exists Ŝ µ λ+β)µ λλ+β) µ ) α,β λ) = λ+β) µ +α λ+β) µ +α I A. 4.4) By the uniqueness of the Laplace transform, it follows from 4.4) that S µ α,β t) = e βt G µ α,β t) for all t, 4.5) where the Laplace transform of G µ α,β t) is given, for all λ C such that hλ β) ω +Σ θ, by Let ) Ĝ µ λµ λ β)λ µ α,β λ) = λ µ +α λ µ +α I A. hλ β) = hλ) = λµ λ β) λ µ +α.

9 ASYMPTOTIC BEHAVIOR 9 There exists a constant M > such that for all λ C with hλ) ω +Σ θ, we have the estimate ) λ β)λ µ λ µ +α I A M λ β)λµ λ µ +α ω Note that αω < and by hypothesis ω +β). Let M λ µ +α = λ µ+ β +ω)λ µ αω. 4.6) gt) = t µ+, t >. We exploit some ideas from the proof of [4, Theorem ]. Recall that A is ω-sectorial of angle θ = µ π. Using the inversion formula for the Laplace transform, we have that G µ α,β t) = e λt λ µ ) λ β)λ µ πi λ µ +α λ µ +α I A dλ, 4.7) where γ is a positively oriented path whose support Γ is given by γ Γ := {λ : λ C, λ µ+ belongs to the boundary of B, t > }, gt) where for δ >, and B δ := {δ +Σ θ } S φ, S φ := {λ C : argλ) < φ}, µ+) π < φ < π +θ. It follows from Lemma 4. that for such λ, we have that hλ) ω + Σ θ. Hence, the resolvent ) λ β)λ µ λ µ +α I A is well-defined. Thus the representation 4.7) of G µ α,β t) is meaningful. Next, we split the path γ into two parts γ and γ whose supports Γ and Γ are the sets formed by the complex numbers λ such that λ µ+ lies on the intersection of Γ and the boundaries of gt) +Σ θ and S φ respectively, that is, { } Γ = Γ gt) +Σ θ and Γ = Γ {S φ }. Thus Γ = Γ Γ and G µ α,β t) = I t)+i t), for t >, where I j t) := e πi γj λt λ µ ) λ β)λ µ λ µ +α λ µ +α I A dλ, j =,. Now, we estimate the norms I t) and I t). Using 4.6) and 4.7) we get that for every t >, I t) e λt λ µ π γ λ µ+ β +ω)λ µ αω dλ. 4.8) Let λ min be the complex λ C such that Imλ) >, and λ µ+ β +ω)λ µ αω = distl,αω), where L in the line passing through the point gt),) and the intersection of Γ and Γ. Then for λ Γ we have that λ µ+ β +ω)λ µ αω gt), t >. 4.9) cosθ)+α ω gt))

10 RODRIGO PONCE AND MAHAMADI WARMA It follows from 4.8) and 4.9) that for every t >, Recall that I t) M π Therefore the contour can be chosen such that gt) cosθ)+α ω gt)) argλ µ+ ) < φ < π +θ + µ)π. µ+) π < argλµ+ ) < φ < π +θ + µ)π. γ e λt λ µ dλ. 4.) Thus letting ϕ = argλ) we have that π < ϕ < + µ π +µ. It follows from 4.) that note that cosϕ) < ) for every t > we have that I t) M π gt) cosθ)+α ω gt)) Similarly, if λ Γ, then for every t >, we have that e scosϕ)t s µ ds λ µ+ β +ω)λ µ αω λ µ+ αω gt) cosϕ). Hence there exists a constant C > such that for every t >, I t) M gt) e λt λ µ dλ π cosϕ) γ Cgt) C +α ω gt). 4.) e scosϕ)t s µ ds = C. 4.) It follows from 4.) and 4.) that there exists a constant C > such that ] G µ α,β [+ t) C, t >. 4.3) +α ω gt) The estimate.) follows from 4.5), 4.3) and the strong continuity of the resolvent family on [, ). The proof of part a) is complete. b) Now assume that α < and α+β µ α. We proceed similarly as in part a) by considering again the same function gt) = t µ+, t >. But here we set { Γ = Γ αω + } gt) +Σ θ and Γ = Γ {S φ }. Recall that here αω >. The hypothesis implies that the representation 4.7) of G µ α,β t) is also valid in this case. On Γ, we have that λ µ+ ω +β)λ µ αω λ µ+ αω gt), t >, 4.4) cosθ) and there exists a constant C > such that λ µ+ C It follows from 4.5) that on Γ, we have that for every t >, αω + ). 4.5) gt) ) e tλ e t λ e Ct αω+ µ+ t µ+ Ce αω) µ+t. 4.6) Using 4.4), 4.5) and 4.6) we get that for every t >,

11 ASYMPTOTIC BEHAVIOR Since I t) C π gt) αω + )e αω) µ+ t dλ. 4.7) cosθ) gt) γ λ lengthγ ) C αω + ) µ+, t > gt) and on Γ by using the law of sines), [ λ cosθ) αω + )] µ+, t >, gt) it follows from 4.7) that for every t >, I t) C [ +αωgt) ]e αω) µ+t. 4.8) Next, we consider the integral I t). Let z t and z t be the intersection points of the boundary of αω + gt) +Σ θ and S φ, for which we have and λ µ+ ω +β)λ µ αω λ µ+ αω cosφ) z t, λ Γ, z t C αω + ), t >. gt) The same bounds are also valid for the conjugate z t of z t. Letting γ s) = se iϕ, s > recall that cosϕ) < ), we get that for every t >, I t) e λt λ µ π γ λ µ+ ω +β)λ µ αω dλ e λt λ µ dλ πsinφ) z t γ Ctµ+ It follows from 4.8) and 4.9) that for every t >, e tcosϕ)s s µ ds +αωgt) C +αωgt). 4.9) G µ α,β t) C[+αωgt)]eαω) µ+t. 4.) Now the estimate.) follows from 4.5), 4.) and the strong continuity of the resolvent family on [, ). The proof is finished. 5. Explicit representation of resolvent families In this section, we consider particular examples of the operator A and give a more explicit than the one in.5)) representation of the resolvent family associated with the system.) in terms of some special functions and we also investigate their precise exponential bound.

12 RODRIGO PONCE AND MAHAMADI WARMA 5.. The case where A = ρi. Here, we assume that the operator A is given by A = ρi for some ρ R. Hence, the system.) becomes u t) = ρut)+ ρα Γµ) u) = u. t We have the following explicit representation of solutions. e βt s) t s) µ us)ds, t >, Proposition 5.. Let α R, α, < µ,β and A = ρi for some ρ R. Assume that α > or α < and α +β µ α. Then the strongly continuous exponentially bounded resolvent family S µ α,β associated with the system 5.) is given by 5.) S µ α,β t) = e βt ρ+β) k t k E k+) µ+,k+ αρtµ+ ), t, 5.) k= provided that the series converges and where E k+) µ+,k+ z) := k +n)!z n, z C, 5.3) n!k!γnµ+k+n+) n= denotes the generalized Mittag-Leffler function. Proof. Let α R, α, < µ, β and A = ρi for some ρ R. Assume that α > or α < and α+β µ α. Then it follows from Corollary. that there exists a strongly continuous resolvent family S µ α,β of type M, ω) for some ω > ) such that the unique solution of 5.) is given by.5). In addition we have that the Laplace transform of S µ α,β t) is given by Ŝ µ α,β λ) := λ+β) µ λ+β) µ+ ρ+β)λ+β) µ, Reλ) > ω. 5.4) αρ Using the properties of Laplace transform, we have that S µ α,β t) = e βt G µ α,β t), 5.5) for some function G µ α,β t) whose Laplace transform is given for all Reλ) > ω +β by Since for λ large enough, we have that Ĝ µ α,β λ) = λ µ λ µ+ ρ+β)λ µ αρ. 5.6) ρ+β)λ µ λ µ+ αρ <, Ĝ µ α,β λ) = λ µ λ µ+ ρ+β)λ µ αρ = λ µ λ µ = λ µ+ αρ = k= k= ρ+β) k λ kµ [λ µ+ αρ] k = ρ+β) k λ k+)µ λ k+)µ [λ µ+ αρ] k+. [λ µ+ αρ][ ρ+β)λµ k= λ µ+ αρ ] ρ+β) k λ k+)µ [λ µ+ αρ] k+

13 ASYMPTOTIC BEHAVIOR 3 Taking the inverse Laplace transform, we get that see e.g. [7, Formula 7.6]) ) L λ k+)µ λ k+)µ [λ µ+ αρ] k+ t) = t k E k+) µ+,k+ αρtµ+ ), where E k+) µ+,k+ is the generalized Mittag-Leffler function given in 5.3). We have shown that G µ α,β t) = ρ+β) k t k E k+) µ+,k+ αρtµ+ ). 5.7) k= Now 5.) follows from 5.5) and 5.7). The proof is finished. We have the following result as a direct consequence of Theorem.3. Corollary 5.. Let α R, α, < µ, β, A = ρi for some ρ < and assume in addition that ρ+β. Then the following assertions hold. a) If α >, then there exists a constant M > such that S µ α,β t) Me βt, t. 5.8) b) If α < and α+β µ α, then there exists a constant M > such that S µ α,β t) M +αρt µ+) e β αρ) µ+)t, t. 5.9) Proof. This is a particular case of Theorem.3 since A is ω-sectorial of angle θ for every < θ < π, with ω = ρ < and ω +β = ρ+β by assumption. In the following remark we show that if µ = one recovers some of the results contained in the references [, 3]. Remark 5.3. Let µ = and A = ρi for some ρ <. It follows from 5.6) that Let Ĝ α,β λ) = We have the following three situations. λ λ ρ+β)λ αρ. D := ρ+β) +4αρ. i) If D >, then let λ := ρ+β+ D and λ := ρ+β D This implies that so that G α,β t) = ρ+β + D D Ĝ α,β λ) = D λ λ λ λ λ λ e ρ+β+ D t ρ+β D D. Using partial fractions, we get that ). e ρ+β D t, t, Sα,β t) = ρ+β + D e ρ β+ D t ρ+β D D e ρ β D t, t. D In that case one has uniform exponential stability if and only if ρ β + ρ+β) +4αρ <.

14 4 RODRIGO PONCE AND MAHAMADI WARMA ii) If D =, then This implies that so that Ĝ α,β λ) = λ λ ρ+β ) = λ ρ+β + ρ+β λ ρ+β G α,β t) = + ρ+β ) t e ρ+β t, t, Sα,β t) = + ρ+β ) t e ρ β t, t. In that case one has uniform exponential stability if and only if ρ β <. iii) Now if D <, then let λ := ρ+β+i D and λ = ρ+β i D. Proceeding as above we get that for every t, Dt ) Sα,β cos t) = i ρ+β Dt ) ) sin e ρ β t, D so that one has uniform exponential stability if and only if ρ β <. 5.. The case of a self-adjoint operator. We assume that A is a non-negative and selfadjoint operator with compact resolvent on the Hilbert space L Ω) where Ω R N is a bounded open set. Since A is non-negative and self-adjoint with compact resolvent, then it has a discrete spectrum which is formed of eigenvalues. Its eigenvalues satisfy λ λ λ n and lim n λ n =. We denote the normalized eigenfunction associated with λ n by φ n. Then {φ n : n N} is an orthonormal basis for L Ω) and the set is also total in DA). Observe also that for every v DA) we can write Av = λ n v,φ n L Ω)φ n. We have the following result as a direct consequence of Proposition 5.. k= Corollary 5.4. Let α R, α, < µ, β > and let A be as above. Assume that α > or α < and α+β µ α. Then the strongly continuous exponentially bounded resolvent family S µ α,β associated with the system.) is given by S µ α,β t) = e βt β λ n ) k t k E k+) µ+,k+ αλ nt µ+ ), t, 5.) provided that the series converges. n= k= Proof. Let A be as above. Multiplying both sides of.) by φ n x) and integrating over the set Ω we get that for every n N, the function u n t) := ut),φ n L Ω) is a solution of the system u n t) = λ nu n t)+ λ t nα e βt s) t s) µ u n s)ds, t > Γµ) u n ) = u,n, ).

15 ASYMPTOTIC BEHAVIOR 5 where u,n = u,φ n L Ω). It follows from Proposition 5. that u n t) = S µ α,β,n t)u,n, t, where for every n N, S µ α,β,n t) = e βt β λ n ) k t k E k+) µ+,k+ αλ nt µ+ ), t. Since ut,x) = u n t)φ n x), t, x Ω, k= we have that ut,x) = S µ α,β,n t)u,nφ n x), t, x Ω, n= so that S µ α,β is given by the expression in 5.). The proof is finished. n= Corollary 5.5. Let α R, α, < µ, β and let A be as above. Assume that the first eingenvalue λ > and that β λ. Then the following assertions hold. a) If α >, then there exists a constant M > such that S µ α,β t) Me βt, t. b) If α < and α+β µ α, then there exists a constant M > such that S µ α,β t) M αλ t µ+) e β αλ ) µ+ )t, t. Proof. This is a particular case of Theorem.3, given that by assumption, the operator A is ω- sectorial of angle θ for every < θ < π, with ω = λ < and that β +ω = β λ. References [] J. Chen, T. Xiao and J. Liang. Uniform exponential stability of solutions to abstract Volterra equations. J. Evol. Equ. 4 9) 9), [] J. Chen, J. Liang and T. Xiao. Stability of solutions to integro-differential equations in Hilbert spaces. Bull. Belg. Math. Soc. 8 ), [3] C. Corduneanu. Integral Equations and Applications, Cambridge University Press, Cambridge, 99. [4] E. Cuesta. Asymptotic behaviour of the solutions of fractional integro-differential equations and some time discretizations. Discrete Contin. Dyn. Syst. 7, Dynamical Systems and Differential Equations. Proceedings of the 6th AIMS International Conference, suppl., [5] R. Gorenflo and F. Mainardi. On Mittag-Leffler-type functions in fractional evolution processes. J. Comp. Appl. Math. 8 ), [6] K.-J. Engel and R. Nagel. One-parameter semigroups for linear evolution equations, Springer, New York,. [7] H. Haubold, A. Mathai and R. Saxena. Mittag-Leffler Functions and Their Applications. J. Appl. Math., Article ID [8] M. Haase. The functional Calculus for Sectorial Operators. Operator Theory: Advances and Applications, 69. Birkhäuser Verlag, Basel, 6. [9] B. Jacob and J. R. Partington. A resolvent test for admissibility of Volterra observation operators. J. Math. Anal. Appl. 33 7), [] V. Keyantuo, C. Lizama and M. Warma. Asymptotic behavior of fractional-order semilinear evolution equations. Differential Integral Equations 6 3), [] C. Lizama. Regularized solutions for abstract Volterra equations. J. Math. Anal. Appl. 43 ), [] C. Lizama and J. Sánchez. On perturbation of K-regularized resolvent families. Taiwanese J. Math. 7 3), 7 7.

16 6 RODRIGO PONCE AND MAHAMADI WARMA [3] C. Lizama and R. Ponce. Bounded solutions to a class of semilinear integro-differential equations in Banach spaces. Nonlinear Anal. 74 ), [4] K. Miller and B. Ross. An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York, 993. [5] J. Prüss. Evolutionary Integral Equations and Applications. Monographs Math. 87, Birkhäuser Verlag, Basel, 993. [6] V. Vergara and R. Zacher. Lyapunov functions and convergence to steady state for differential equations of fractional order. Math. Z. 59 8), Universidad de Talca, Instituto de Matemática y Física, Casilla 747, Talca-Chile. address: rponce@inst-mat.utalca.cl University of Puerto Rico Rio Piedras Campus), College of Natural Sciences, Department of Mathematics, PO Box 7377 San Juan PR USA) address: mahamadi.warma@upr.edu, mjwarma@gmail.com