AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 357821 10.1155/2014/357821 357821 Research Article Convoluted Fractional C-Semigroups and Fractional Abstract Cauchy Problems Mei Zhan-Dong 1,2 Peng Ji-Gen 1 Gao Jing-Huai 2 Trujillo Juan J. 1 School of Mathematics and Statistics Xi’an Jiaotong University Xi’an 710049 China xjtu.edu.cn 2 Institute of Wave and Information School of Electronics and Information Engineering Xi’an Jiaotong University Xi’an 710049 China xjtu.edu.cn 2014 1212014 2014 30 09 2013 12 12 2013 12 1 2014 2014 Copyright © 2014 Zhan-Dong Mei et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We present the notion of convoluted fractional C-semigroup, which is the generalization of convoluted C-semigroup in the Banach space setting. We present two equivalent functional equations associated with convoluted fractional C-semigroup. Moreover, the well-posedness of the corresponding fractional abstract Cauchy problems is studied.

1. Introduction

Let X be a Banach space and let CL(X) (L(X) denotes the space of bounded linear operators from X to itself) be injective. Let Θ(t):=0tK(s)ds, where K(·) is locally integrable on [0,+). A strongly continuous operator family {S(t)}t0 is called a K-convoluted C-semigroup if S(0)=0, S(t)C=CS(t), t0, and there holds (1)S(t)S(s)x=[0t+s-0t-0s]K(t+s-r)S(r)Cxdr,  [0t+s-0t-0s]Kh(t)xX,t,s0. If, in addition, S(t)x=0, t0, implies x=0, {S(t)}t0 is called a nondegenerate K-convoluted C-semigroup. For more details, we refer to Kostić . Obviously, K-convoluted C-semigroups are a generalization of classical C0-semigroups. The extension of Widder’s representation theorem by Arendt  stimulated the development of the theory of α-times integrated semigroups, which is the special case that K(t)=tα-1/Γ(α), C=I (see  for α being an integer and  for α being noninteger). Li and Shaw  introduced exponentially bounded n-times integrated C-semigroups which are the special case, where K(t)=tn-1/(n-1)!, and they studied their connection with the associated abstract Cauchy problem. Kuo and Shaw  were concerned with the case K(t)=tα-1/Γ(α) with α being noninteger and they called it α-times integrated C-semigroups. Convoluted semigroups, which are the special case that C=I, were introduced by Cioranescu and Lumer . It is a generalization of integrated semigroups. Moreover, Kunstmann  showed that there exists a global convoluted semigroup whose generator A is not stationary dense and therefore it cannot be the generator of a local integrated semigroup. After that, Melnikova and Filinkov , Keyantuo et al. , and Kostić and Pilipović  systematically studied the properties of convoluted semigroups and related them to associated abstract Cauchy problems.

In , Kostić presented the notion K-convoluted C-semigroup and found a sufficient condition for a nondegenerate strongly continuous linear operator family {S(t)}t0 to be a K-Convoluted C-semigroup; that is, S(t)AAS(t), CS(t)=S(t)C, t0, 0tS(s)xdsD(A), xX, and S(t)x=A0tS(s)xds+Θ(t)Cx. Moreover, Kostić showed that if the sufficient condition holds, the abstract Cauchy problem (2)u(t)=Au(t)+Θ(t)Cx,u(0)=0, is well-posed. In Proposition 2.3 of , it was proved that if the following abstract Cauchy problem (3)u(t)=Au(t)+tαΓ(α+1)Cx,u(0)=0, is well-posed, then the above sufficient conditions hold. Motivated by such facts, Kostić gave in  the definition of K-convoluted semigroup by the above sufficient conditions and proved the equivalence of the two definitions. Later, Kostić and Pilipović  gave the definition of K-convoluted C-semigroups by using the sufficient condition.

Observe that the abstract Cauchy problems related to the above “semigroups” are of integral order. Recently, fractional differential equations have received increasing attention because the behavior of many physical systems, such as fluid flows, electrical networks, viscoelasticity, chemical physics, electron-analytical chemistry, biology, and control theory, can be properly described by using the fractional order system theory and so forth (see ). Fractional derivatives appear in the theory of fractional differential equations; they describe the property of memory and heredity of materials, and it is the major advantage of fractional derivatives compared with integer order derivatives.

In , Bajlekova developed the notion of solution operator to study the well-posedness of fractional differential equations. da Prato and Iannelli  introduced the concept of resolvent families, which can be regarded as an extension of C0-semigroups, to study a class of integrodifferential equations. After that, the theory of resolvent families was developed rapidly to investigate the abstract Volterra equation: (4)u(t)=f(t)+0ta(t-s)Au(s)ds, where aLloc1(R+) (see ). Recently, Chen and Li  gave the family of functional equations, using resolvent operator function to equivalently describe resolvent families. Motivated by this, Kexue and Jigen [33, 34], Li et al. , and Mei et al.  studied different types of fractional resolvents describing the functional equation and applied them to fractional differential equations. Lizama and Poblete  studied the functional equation associated with (a,k)-regularized resolvents. However, the above functional equations are not expressed in terms of the sum of time variables: s+t. This is very important in concrete applications of the functional equation, just like C0-semigroups, integrated semigroups, integrated C-semigroups, and K-convoluted C-semigroups (see (1)). In , Peng and Li derived a new characterization of α-order semigroup (0<α<1) as follows: (5)0t+sT(τ)(t+s-τ)αdτ-0tT(τ)(t+s-τ)αdτ-0sT(τ)(t+s-τ)αdτ=α0t0sT(r1)T(r2)(t+s-r1-r2)1+αdr1dr2,t,s0, which is proved to be equivalent to fractional resolvents introduced in . Motivated by this, Mei et al.  presented a characterization as follows: (6)Γ(1-α)T(t+s)=α0t0sT(r1)T(r2)(t+s-r1-r2)1+αdr1dr2,α0t0ssssssst,s>0,0<α<1, which is proved to be equivalent to fractional resolvent presented by Kexue and Jigen . One of the tasks of the present paper is to find a characterization of K-convoluted α-order C-semigroup (see Section 2 for the definition) in terms of t+s.

In this paper, we consider the following fractional abstract Cauchy problem (FACP): (7)DCtαu(t)=Au(t)+Θ(t)Cx,u(0)=0, where 0<α<1, xX, and DCtα is the modified Caputo fractional derivative defined by operator (8)DCtαu(t)=1Γ(1-α)ddt0t(t-σ)-α(u(σ)-u(0))dσ. Observe that fractional integral of u(t) is defined by (9)Jtαu(t)=1Γ(α)0t(t-s)α-1u(s)ds. Then it is easy to show that, for uC1([0,),X),   CDtαu(t) can be calculated by (10)DCtαu(t)=Jt1-αu(s)ds, which is just the original definition of Caputo fractional derivative (see, e.g., ).

We plan to present in Section 2 the notion of K-convoluted fractional C-semigroups, which is a generalization of the notions of K-convoluted semigroups  and K-convoluted C-semigroups . Moreover, some of their properties are studied. Section 3 is to give two equivalent descriptions of K-convoluted C-semigroup. The final section concerns the study of the well-posedness of the fractional abstract Cauchy problem.

Throughout this paper, α(0,1), without any additional statement.

2. Convoluted Fractional <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M93"><mml:mrow><mml:mi>C</mml:mi></mml:mrow></mml:math></inline-formula>-Semigroup

In this section, we will introduce the notion of K-convoluted α-order C-semigroup and study some of its properties. The following definition is stimulated by the definitions of K-convoluted semigroup  and K-convoluted C-semigroup .

Definition 1.

Let A be a closed linear operator on a Banach space X. If there exists a strongly continuous operator family {SK(t)}t0 such that SK(t)C=CSK(t), SK(t)AASK(t), JtαSK(t)xD(A), xX, t0, and (11)AJtαSK(t)x=SK(t)x-Θ(t)Cx,xX, then {SK(t)}t0 is called a K-convoluted α-order C-semigroup generated by A, and A is called the generator of {SK(t)}t0. In the special case C=I, {SK(t)}t0 is called K-convoluted α-order semigroup. One says that {SK(t)}t0 is an exponentially bounded K-convoluted α-order C-semigroup generated by A if, additionally, there exist M>0 and ωR such that SK(t)Meωt, t0.

Remark 2.

We note that K-convoluted α-order C-semigroup is an (a,k) regularized C-resolvent family (a(t)=tα-1/Γ(α) and k(t)=0tK(s)ds), introduced by Kostić . We are concerned with this case because it is closely related to fractional differential equation. There are three reasons why we use such concept: (1) Kostić and Pilipović called the special case α=1 and C=I to be K-convoluted semigroup  and α=2 to be K-convoluted C-cosine function ; (2) Peng and Li called (tα-1/Γ(α),1)-regularized resolvent α-order semigroup (α(0,1)) ; (3) “K-convoluted α-order C-semigroup” should be “(tα-1/Γ(α),0tK(s)ds)-regularized C-resolvent,” but the term “(tα-1/Γ(α),0tK(s)ds)-regularized C-resolvent” is too complex.

It can be checked directly that if A generates a K-convoluted α-order C-semigroup {SK(t)}t0, then SK(t)xD(A)¯, t0, xX. If K0 in Lloc1([0,)), then it is clear that the K-convoluted α-order C-semigroup {SK(t)}t0 is nondegenerate (let SK(t)x=0, t>0; (11) implies that Θ(t)Cx=0; thereby x=0).

Lemma 3.

Assume that {SK(t)}t0 is a nondegenerate K-convoluted α-order C-semigroup generated by A on Banach space X. Then CAAC.

Proof.

Let xD(A). By Definition 1, it follows that JtαSK(t)CxD(A), t0, and (12)AJtαSK(t)Cx=SK(t)Cx-Θ(t)C2x. The combination of the closedness of A and (11) implies that (13)JtαASK(t)x=SK(t)x-Θ(t)Cx, which gives that (14)CJtαASK(t)x=CSK(t)x-Θ(t)C2x. The two equalities (12) and (14) indicate that AJtαSK(t)Cx=CJtαASK(t)x. Hence, (15)Jt1-αAJtαSK(t)Cx=Jt1-αJtαSK(t)CAx=0tSK(s)CAxds,hhhhhhhhht0. Since A is closed, it follows that (16)A0tSK(s)Cxds=AJt1-αJtαSK(t)Cx=0tSK(s)CAxds,hhhhhhhhht0. Using the closedness of A again, we obtain that SK(t)CAx=ASK(t)Cx=SK(t)ACx, t0. Since {S(t)}t0 is nondegenerate, it follows that CAx=ACx, xD(A). The proof is complete.

Theorem 4.

Assume that {SK(t)}t0 is a nondegenerate K-convoluted α-order C-semigroup generated by A on Banach space X. Define the operator B by (17)xD(B),Bx=yJtαSK(t)y=SK(t)x-Θ(t)Cx,t0. Then

B  is single-valued;

B is closed;

B=C-1AC.

Proof.

We first prove that the nondegeneracy implies that B is single-valued. Indeed, if, for any t0, y,zX satisfy, respectively, (18)SK(t)x-Θ(t)Cx=JtαSK(s)yds,SK(t)x-Θ(t)Cx=JtαSK(s)zds, then (19)JtαSK(s)yds=JtαSK(s)zds. By Titchmarsh’s theorem, it follows that SK(s)y=SK(s)z, s0. The nondegeneracy implies that y=z; thereby A is single valued. Hence we have Ax=y.

Let the sequence {xn}D(B) satisfy xnx and Bxny as n. Then we have (20)JtαSK(t)Axn=SK(t)xn-Θ(t)Cxn,t0. Letting n, (43) gives that (21)JtαSK(t)y=SK(t)x-Θ(t)Cx,t0, which implies that xD(B) and y=Bx. Hence B is closed.

If xD(B), then SK(t)x-Θ(t)Cx=JtαSK(t)Bx, t0. The combination of (11) and (17) implies that (22)AJtαSK(t)x=JtαSK(t)Bx,t0. Similar to the proof of Lemma 3, using the closedness of A, we obtain (23)ASK(t)x=SK(t)Bx; that is, A(Θ(t)Cx+JtαSK(t)Bx)=SK(t)Bx. Since Θ0 and JtαSK(t)BxD(A), we obtain that CxD(A). Combining Lemma 3, Definition 1, and (23), it follows that SK(t)CBx=CSK(t)Bx=CASK(t)x=ACSK(t)x=ASK(t)Cx=SK(t)ACx. Since {S(t)}t0 is nondegenerate, it follows that CBx=ACx; that is, Bx=C-1ACx. So BC-1AC. Conversely, let xD(C-1AC); that is, CxD(A) and ACxR(C). By Definition 1, JtαSK(t)CxD(A) and (24)AJtαSK(t)Cx=SK(t)Cx-Θ(t)C2x, which implies that (25)C-1AJtαSK(t)Cx=C-1SK(t)Cx-C-1Θ(t)C2x. Since A is closed, (26) indicates that (26)JtαSK(t)C-1ACx=SK(t)x-C-1Θ(t)Cx. Hence xD(B) and Bx=C-1ACx. Hence (iii) holds.

Remark 5.

Part of Lemma 3 and Theorem 4 are included in . However, our proofs are more specific.

By the above theorem, for a nondegenerate K-convoluted α-order C-semigroup {SK(t)}t0 generated by A, we have AB. Moreover, in the special case C=I, we have A=B.

3. Two Characterizations of Convoluted Fractional <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M258"><mml:mrow><mml:mi>C</mml:mi></mml:mrow></mml:math></inline-formula>-Semigroup

In this section we will introduce two functional equations characterizing K-convoluted α-order C-semigroups, just like K-convoluted C-semigroups and integrated C-semigroups.

Lemma 6.

Assume that {SK(t)}t0 is a strongly continuous family of bounded linear operators on Banach space X. Then {S(t)}t0 is a K-convoluted fractional C-semigroup if and only if (27)SK(t)JsαSK(s)-JtαSK(t)SK(s)=Θ(t)JsαSK(s)C-Θ(s)JtαSK(t)C,s,t0.

Proof

Necessity. Assume that {SK(t)}t0 is a K-convoluted α-order C-semigroup generated by A. Let xX. Denote by A the generator of {SK(t)}t0. By (11), it follows that (28)JtαSK(t)AJsαSK(s)x=JtαSK(t)SK(s)x-JtαSK(t)Θ(s)Cx,hhhhhhlJtαSK(t)SK(s)x-=xX. In (11), replacing x with JsαSK(s)x, it follows that (29)AJtαSK(t)JsαSK(s)x=SK(t)JsαSK(s)x-Θ(t)CJsαSK(s)x,hhhhhlh=SK(t)JsαSK(s)x-xX. Observe that JtαSK(t)JsαSK(s)xD(A) and (30)JtαSK(t)AJsαSK(s)x=AJtαSK(t)JsαSK(s)x. The combination of (28), (29), and (30) implies that (31)SK(t)JsαSK(s)-JtαSK(t)SK(s)=Θ(t)JsαSK(s)C-Θ(s)JtαSK(t)C,  =Θ(t)JsαSK(s)-Θ(s)hJtαSKs,t0.

Sufficiency. Assume that (27) holds. Define operator B as in (17). Then B is closed. Moreover, (27) implies that JsαSK(s)xD(B) and BJsαSK(s)x=SK(s)x-Θ(s)Cx. Hence {SK(t)}t0 is a K-convoluted α-order C-semigroup generated by B=C-1AC. The proof is therefore complete.

Remark 7.

We have to mention that the theory of (a,k)-regularized C-resolvent families is a generalization of the theory of (a,k)-regularized resolvent families developed by Lizama and Poblete (see the survey paper ) and has been used by the same mentioned author in the development of many properties concerning the study of fractional differential equations . Therefore, Lemma 6 is a natural extension to the case CI of the results in  and the proof is also motivated by that of .

We note that (27) does not express the functional equation in terms of the sum of time variables: s+t. As we describe semigroups and convoluted C-semigroups, this is very important in concrete applications of the functional equation modeling evolution in time. Below we will find a novel functional equation in terms of the sum of time variables s+t to describe K-convoluted α-order C-semigroup.

Theorem 8.

Assume that {SK(t)}t0 is a K-convoluted α-order C-semigroup generated by A on the Banach space X. Then

SK(0)=0;

CSK(·)=SK(·)C;

for any t,s0, (32)α0t0sSK(τ)SK(σ)(t+s-σ-τ)1+αdτdσ=0t+s0t+s-σK(τ)SK(σ)C(t+s-τ-σ)αdτdσ-0t0t+s-σK(τ)SK(σ)C(t+s-τ-σ)αdτdσ-0s0t+s-σK(τ)SK(σ)C(t+s-τ-σ)αdτdσ,

where the integrals are taken in the strong sense.

Proof.

Denote by L(t,s) and R(t,s) the left and right hand sides of equality (32), respectively. We only have to prove that L(t,s)=R(t,s) for all t,s0. For brevity, we introduce the following notations. Let (33)H(t,s)=SK(t)JsαSK(s)-JtαSK(t)SK(s),K(t,s)=Θ(t)JsαSK(s)C-Θ(s)JtαSK(t)C,t,s0. Moreover, for sufficiently large b>0 denote by gb(t) the truncation of SK(t) at b and by Rb(t,s), Lb(t,s), Hb(t,s), and Kb(t,s) the quantities obtained by replacing SK(t) with gb(t) in R(t,s), L(t,s), H(t,s), and K(t,s), respectively.

By [38, (20)], it follows that the Laplace transform of Lb(t,s) with respect to t and s is given by (34)L^b(μ,λ)=Γ(1-α)λ-μ(λα-μα)g^b(μ)g^b(λ).

We now compute the Laplace transform of Rb(t,s) with respect to s and t. It can be shown that, for any t0, (35)R^b(t,λ)=0e-λs[tt+s0t+s-σK(τ)gb(σ)C(t+s-τ-σ)αdτdσ=0e-λsh-0s0t+s-σK(τ)gb(σ)C(t+s-τ-σ)αdτdσ]ds=tgb(σ)σ-t0t+s-σe-λsK(τ)C(t+s-τ-σ)αdτdsdσ-0gb(σ)σ0t+s-σe-λsK(τ)C(t+s-τ-σ)αdτdsdσ=tgb(σ)eλ(t-σ)0e-λr0r(r-τ)-αK(τ)Cdτdrdσ-0e-λ(t-σ)gb(σ)0e-λ(t+r)0t+rK(τ)C(t+r-τ)αdτdrdσ=tgb(σ)eλ(t-σ)0e-λr0r(r-τ)-αK(τ)Cdτdrdσ-0e-λ(t-σ)gb(σ)te-λr0rK(τ)C(r-τ)αdτdrdσ=0gb(σ)eλ(t-σ)0te-λr0r(r-τ)-αK(τ)Cdτdrdσ-0te-λ(t-σ)gb(σ)0e-λr0rK(τ)C(r-τ)αdτdrdσ=0gb(σ)e-λσ0teλ(t-r)0r(r-τ)-αK(τ)Cdτdrdσ-0te-λ(t-σ)gb(σ)0e-λr0rK(τ)C(r-τ)αdτdrdσ=g^b(λ)0teλ(t-r)0r(r-τ)-αK(τ)Cdτdr-λα-1Γ(1-α)0teλ(t-σ)gb(σ)dσK^(λ)C, with which we can further take Laplace transform of R^b(t,λ) with respect to t as follows: (36)R^b(μ,λ)=0e-μtg^b(λ)0teλ(t-r)0r(r-τ)-αK(τ)Cdτdrdt-0e-μtλα-1Γ(1-α)0teλ(t-σ)gb(σ)dσK^(λ)dt=μα-1Γ(1-α)g^b(λ)K^(μ)Cμ-λ-λα-1Γ(1-α)g^b(μ)K^(λ)Cμ-λ.

We set (37)Pb(t,s)=α0t0sHb(r1,r2)(t+s-r1-r2)1+αdr1dr2,Qb(t,s)=α0t0sKb(r1,r2)(t+s-r1-r2)1+αdr1dr2. By Lemma 6, it follows that H(t,s)=K(t,s) for any t,s0. Thus, for all t,s0, (38)limbPb(t,s)=limbKb(t,s).

The Laplace transform of Pa(t,s) is (39)P^b(μ,λ)=(μ-α-λ-α)L^b(μ,λ).

Therefore, (40)Q^b(t,λ)=α0e-λs0t0sΘ(r2)Jr1αgb(r1)C-Θ(r1)Jr2αgb(r2)C(t+s-r1-r2)1+αdr1dr2ds=α0t0e-λs0sΘ(r2)Jr1αgb(r1)C-Θ(r1)Jr2αgb(r2)C(t+s-r1-r2)1+αdr1dsdr2=α0t(Θ(r2)λ-αg^b(λ)C-λ-1K^(λ)Jr2αgb(r2)C)Π^(t-r2,λ)dr2, where Π^(t,λ) stands for the Laplace transform of the function (t+s)-α-1 of s. Thus, we obtain (41)Q^b(μ,λ)=α[λ-αμ-1K^(μ)g^b(λ)C-μ-αλ-1K^(λ)g^b(μ)C]Π^(μ,λ)=αλ-αμ-α(μα-1K^(μ)g^b(λ)C-λα-1K^(λ)g^b(μ)C)×0e-μt0e-λs1(t+s)1+αdsdt=αλ-αμ-α(μα-1K^(μ)g^b(λ)C-λα-1K^(λ)g^b(μ)C)×Γ(1-α)α(λ-μ)(λα-μα)=(μ-α-λ-α)R^b(μ,λ).

By virtue of inverse Laplace transform, we obtain from (39) and (41) that (42)Pb(t,s)=(Jsα-Jtα)Lb(t,s),Qb(t,s)=(Jsα-Jtα)Rb(t,s),t,s0. The combination of (38) and (42) implies that (43)(Jsα-Jtα)R(t,s)=(Jsα-Jtα)L(t,s),t,s0. Therefore, R(t,s)=L(t,s), for all t,s0. This completes the proof.

Theorem 9.

Assume that {SK(t)}t0 is a strongly continuous nondegenerate operator family on Banach space X. Suppose that the conditions (i), (ii), and (iii) in Theorem 8 hold. Then {SK(t)}t0 is a nondegenerate K-convoluted α-order C-semigroup generated by B, where B is defined as in Theorem 4.

Proof.

Obviously, the right hand side of (32) is symmetric with respect to t and s. Hence the left hand side is symmetric with respect to t and s. By the proof of Proposition 1 of , it follows that {SK(t)}t0 is commutative; that is, (44)SK(t)SK(s)=SK(s)SK(t),t,s0.

For any xD(B), there holds (45)SK(s)x-Θ(s)Cx=JsαSK(s)Bx,s0. Applying Sk(t) on both sides of (45) and using the commutativity (44) of {SK(s)}t0, we obtain (46)SK(s)SK(t)x-Θ(s)CSK(t)x=JsαSK(s)SK(t)Bx,s0. This implies by definition that SK(t)xD(B) and BSK(t)x=SK(t)Bx.

Denote by L(t,s) and R(t,s) the left and right hand sides of equality (32), respectively. For any c0, denote by gc(t) the truncation of SK(t) at c; that is, gc(σ)=SK(σ), 0σc and gc(σ)=0 otherwise. Denote by Rc(t,s) and Lc(t,s) the quantities obtained by replacing SK(t) with gc(t) in R(t,s), L(t,s), respectively.

Let xX and t0 be fixed. Define the function Ht(r,s) for r,s0 by (47)Ht(r,s)=(gt(r)-Θ(r)C)Jsαgt(s)x. Obviously, for 0rt, (48)Ht(r,t)=(SK(r)-Θ(r)C)JtαSK(t)x. Taking the Laplace transform with respect to r and s successively for both sides of (47), we derive (49)H^t(μ,λ)=λ-αg^t(μ)g^t(λ)x-λ-αμ-1K^(μ)g^t(λ)x. The combination of (43) and (49) implies that (50)H^t(μ,λ)=μ-αg^t(μ)g^t(λ)x-μ-αλ-1K^(λ)g^t(μ)x+λ-αμ-α(λ-μ)Γ(1-α)(R^t(μ,λ)-L^t(μ,λ))x.

By virtue of inverse Laplace transform, it follows that (51)Ht(r,s)=(gt(s)-Θ(s)C)Jrαgt(r)x+[(CDs1-α)Jrα-(CDr1-α)Jsα]·[Rt(r,s)-Lt(r,s)]xΓ(1-α). Here the Laplace transform formula (52)DCtβf^(λ)=λβf^(λ)-λβ-1f(0),h0<β<1,fC([0,),X), is used.

By the definition of gt, it follows that Lt(r,s)=Rt(r,s) for all 0s,rt; we have that (53)Ht(r,s)=(SK(s)-Θ(s)C)JrαSK(r)x,hhhhhhhhhh0r,st. In particular, we obtain (54)Ht(r,t)=(SK(t)-Θ(t)C)JrαSK(r)x,hhhhhhhhh.hh0rt. Combining (48) and (54), we derive that (55)(SK(r)-Θ(r)C)JtαSK(t)x=(SK(t)-Θ(t)C)JrαSK(r)x=JrαSK(r)(SK(t)x-Θ(t)Cx). This implies by definition that JrαSK(r)xD(B) and (56)BJrαSK(r)x=SK(r)x-Θ(r)Cx. Therefore, {SK(t)}t0 is a K-convoluted α-order C-semigroup generated by B.

The combination of Theorems 8 and 9 indicates the following theorem.

Theorem 10.

Assume that {SK(t)}t0 is a strongly continuous operator family on Banach space X. Then {SK(t)}t0 is a K-convoluted α-order C-semigroup if and only if (i), (ii), and (iii) in Theorem 8 hold.

Remark 11.

Letting α1-, (32) becomes the K-convoluted C-semigroup defined in . Indeed, if for each x in some dense set the mapping tSK(t)x is continuously differentiable in [0,), then the limits of two sides of the equality (32) multiplied with 1-α equal SK(t)SK(s)x and [0t+s-0t-0s]K(t+s-r)SK(r)Cxdr, respectively. The combination of the above fact and Theorem 10 implies that K-convoluted α-order C-semigroup can be deemed as a natural extension of K-convoluted C-semigroup.

4. Fractional Abstract Cauchy Problems

In this section we will apply the theory of K-convoluted α-order C-semigroups developed in Sections 2 and 3 to fractional abstract Cauchy problems (FACP). We begin with the definition of classical solution of FACP.

Definition 12.

A function uC([0,),X) is called a classical solution of FACP, if u(0)=0, uC([0,),D(A)), and the mapping t0t(t-s)-αu(s)ds is continuously differentiable such that (1/Γ(1-α))(d/dt)0t(t-σ)-αu(σ)dσ=Au(t)+Θ(t)Cx, t0 holds.

Remark 13.

In Definition 12, (1/Γ(1-α))(d/dt)0t(t-σ)-αu(σ) is just the modified Caputo derivative of u(t) because u(0)=0.

Definition 14.

The fractional abstract Cauchy problem (FACP) is said to be C-well-posed if for any xX, there exists a unique solution u(t,x), and Xxn0 implies that u(t,xn)0 as n in X, uniformly on any compact subinterval of [0,).

Theorem 15.

Assume that A is closed, CAAC, and FACP is C-well-posed. Then A generates a K-convoluted α-order C-semigroup.

Proof.

For any xX, denote by u(t,x), t0, the solution of FACP. Denote by S(t)x=DCtαu(t,x), xX. Obviously, S(0)=DCtαu(0,·)=0 and {S(t)}t0 is strongly continuous. Since CAAC, we have (57)DCtα[Cu(t,x)]=CDCtαu(t,x)=CAu(t,x)+Θ(t)C2x=A[Cu(t,x)]+Θ(t)C(Cx). By the uniqueness of the solution of ACP, we have Cu(t,x)=u(t,Cx). Then (58)CS(t)x=DCtαCu(t,x)=DCtαu(t,Cx)=S(t)Cx,t0. By (1.21) of , it follows that (59)JtαS(t)x=JtαDCtαu(t,x)=u(t,x)-u(0,x)=u(t,x). Then JtαS(t)xD(A) and (60)AJtαS(t)x+Θ(t)Cx=Au(t,x)+Θ(t)Cx=S(t)x.

Below we will show that S(t) is continuous, a.e. S(t)B(X), t[0,). By (59), it follows that V(t)x=:JtαS(t)x is the solution of ACP.

Let yD(A). Define S~(t)=JtαS(t)Ay+Θ(t)Cy. Then JtαS~(t)=JtαJtαS(t)Ay+JtαΘ(t)Cy. Since JtαS(t)AyD(A), CyD(A), and A is closed, it follows that JtαS~(t)D(A) and (61)AJtαS~(t)=JtαAJtαS(t)Ay+JtαΘ(t)CAy=Jtα(AJtαS(t)Ay+Θ(t)CAy)=JtαS(t)Ay=S~(t)-Θ(t)Cy. Then S~(t)=S(t) and S(t)=JtαS(t)Ay+Θ(t)Cy. Hence AJtαS(t)y=JtαS(t)Ay, yD(A). Since A is closed, we have JtαS(t)Ay=AJtαS(t)y=JtαAS(t)y. By Titchmarsh’s theorem, S(t)Ay=AS(t)y, t0. The proof is complete.

Theorem 16.

Assume that A generates a nondegenerate K-convoluted α-order C-semigroup. Then, FACP is C-well-posed.

Proof.

Since {S(t)}t0 is a nondegenerate strongly continuous family generated by A, for any xX, we have J·αS(·)xC([0,),D(A)), the mapping (62)t0t(t-s)-αJsαS(s)ds=Γ(1-α)0tS(t)x is continuously differentiable, and there holds (63)DtαJtαS(t)x=ddt1Γ(1-α)0t(t-s)-αJsαS(s)ds=S(t)x=AJtαS(t)x+Θ(t)Cx. Therefore, u(t,x):=JtαS(t)x is a solution of FACP.

Now we prove the uniqueness of solution of FACP. Assume that v(t,x) is another solution of FACP. Then (64)DCtαv(t,x)=Av(t,x)+Θ(t)Cx,t0. Taking α-time integrals, we derive that (65)v(t,x)=JtαDCtαv(t,x)=JtαAv(t,x)+JtαΘ(t)Cx,hhhht0, which implies that (66)Θ(t)C*v(t,x)=[S(t)-AJtα*S(t)]*v(t,x)=S(t)*v(t,x)-AJtα*S(t)*v(t,x),  =S(t)*v(t,x)-AJtα*S(t)*ht0. Observe that A is closed and communicative with S(t), and C is communicative with S(t). By (67), it follows that (67)Θ(t)*Cv(t,x)=Θ(t)C*v(t,x)=S(t)*v(t,x)-S(t)*Jtα*Av(t,x)=S(t)*[v(t,x)-Jtα*Av(t,x)]=S(t)*JtαΘ(t)Cx=Θ(t)C*JtαS(t)x=Θ(t)*CJtαS(t)x,t0. Since S is nondegenerate, it follows that Cv(t,x)=CJtαS(t)x, t0. Then v(t,x)=JtαS(t)x, t0 because C is injective.

For any T>0, let Xxn0; we have (68)u(t,xn)=JtαS(t)xnTαsuptTS(t)Γ(α+1)xn,t[0,T], which implies that u(t,xn) tends to 0 uniformly on t[0,T]. This completes the proof.

The combination of Lemma 3 and Theorems 15 and 16 implies the following theorem.

Theorem 17.

The operator A generates a K-convoluted α-order C-semigroup if and only if A is closed, CAAC, and FACP is C-well-posed.

Corollary 18.

Assume that there exists a nondegenerate strongly continuous operator family {S(t)}t0 on Banach space X such that (27) holds, and B defined in Theorem 4 is equal to A. Then FACP is C-well-posed.

Corollary 19.

Assume that there exists a nondegnerate strongly continuous operator family {S(t)}t0 on Banach space X satisfying (i), (ii), and (iii) in Theorem 8, and B defined in Theorem 4 is equal to A. Then FACP is C-well-posed.

Corollary 20.

Assume that {S(t)}t0 is a nondegnerate strongly continuous operator family on the Banach space X. Suppose that A=C-1AC. Then the following statements are equivalent:

{S(t)}t0 is a K-convoluted α-order C-semigroup generated by A;

A is a closed linear operator on X, and FACP is C-well-posed;

{S(t)}t0 satisfies (27), and B=A, where B is defined as in Theorem 4;

{S(t)}t0 satisfies (i), (ii), and (iii) in Theorem 8, and B=A, where B is defined as in Theorem 4.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by NSF of China (Grant nos. 11301412, 11131006, 41390450, and 11271297), Research Fund for the Doctoral Program of Higher Education of China (Grant no. 20130201120053), the Fundamental Research Funds for the Central Universities (Grant no. 2012jdhz52), and the National Basic Research Program of China (Grant no. 2013CB329404).

Kostić M. Convoluted C-cosine functions and convoluted C-semigroups Bulletin, Classe des Sciences Mathématiques et Naturelles, Sciences Mathématiques 2003 127 28 75 92 MR2041181 ZBL1067.47056 Arendt W. Vector-valued Laplace transforms and Cauchy problems Israel Journal of Mathematics 1987 59 3 327 352 10.1007/BF02774144 MR920499 ZBL0637.44001 Arendt W. El-Mennaoui O. Kéyantuo V. Local integrated semigroups: evolution with jumps of regularity Journal of Mathematical Analysis and Applications 1994 186 2 572 595 10.1006/jmaa.1994.1318 MR1293012 ZBL0833.47034 Arendt W. Batty C. J. K. Hieber M. Neubrander F. Vector-Valued Laplace Transforms and Cauchy Problems 2001 Basel, Switzerland Birkhäuser MR1886588 Kellerman H. Hieber M. Integrated semigroups Journal of Functional Analysis 1989 84 1 160 180 10.1016/0022-1236(89)90116-X MR999494 ZBL0689.47014 Neubrander F. Integrated semigroups and their applications to the abstract Cauchy problem Pacific Journal of Mathematics 1989 135 233 251 10.1007/BF02573234 MR976206 ZBL0686.47038 Hieber M. Laplace transforms and α-times integrated semigroups Forum Mathematicum 1991 3 6 595 612 10.1515/form.1991.3.595 MR1130001 ZBL0766.47013 Miana P. J. α -times integrated semigroups and fractional derivation Forum Mathematicum 2002 14 1 23 46 10.1515/form.2002.004 MR1880193 Mijatović M. Pilipović S. Vajzović F. α -times integrated semigroups (αR+) Journal of Mathematical Analysis and Applications 1997 210 2 790 803 10.1006/jmaa.1997.5436 MR1453207 ZBL0948.47046 Li Y. C. Integral C-semigroups and C-cosine functions of operators on locally convex spaces [Ph.D. dissertation] 1991 National Central University Li Y. C. Shaw S. Y. On generators of integrated C-semigroups and C-cosine functions Semigroup Forum 1993 47 1 29 35 10.1007/BF02573738 MR1218130 ZBL0804.47044 Li Y. C. Shaw S. Y. N-times integrated C-semigroups and the abstract Cauchy problem Taiwanese Journal of Mathematics 1997 1 1 75 102 MR1435499 ZBL0892.47042 Kuo C. C. Shaw S. Y. On α-times integrated C-semigroups and the abstract Cauchy problem Studia Mathematica 2000 142 3 201 217 MR1792605 ZBL0979.47028 Cioranescu I. Local convoluted semigroups Evolution Equations 1995 New York, NY, USA Dekker 107 122 MR1300422 Cioranescu I. Lumer G. Problèmes d'évolution régularisés par un noyau général K(t). Formule de Duhamel, prolongements, théorèmes de génération Comptes Rendus de l'Académie des Sciences. Série I 1994 319 12 1273 1278 MR1310670 ZBL0821.47032 Cioranescu I. Lumer G. On K(t)-convoluted semigroups Recent Developments in Evolution Equations 1995 Harlow, UK Longman Scientific & Technical 86 93 MR1417060 ZBL0828.34046 Kunstmann P. C. Stationary dense operators and generation of non-dense distribution semigroups Journal of Operator Theory 1997 37 1 111 120 MR1438203 ZBL0871.47004 Melnikova I. V. Filinkov A. Abstract Cauchy Problems: Three Approaches 2001 Boca Raton, Fla, USA Chapman & Hall/CRC 10.1201/9781420035490 MR1823612 Keyantuo V. Müller C. Vieten P. The Hille-Yosida theorem for local convoluted semigroups Proceedings of the Edinburgh Mathematical Society 2003 46 2 395 413 10.1017/S0013091500001103 MR1998570 ZBL1070.47030 Kostić M. Pilipović S. Global convoluted semigroups Mathematische Nachrichten 2007 280 15 1727 1743 10.1002/mana.200510574 MR2351576 ZBL1147.47028 Kostić M. Pilipović S. Convoluted C-cosine functions and semigroups. Relations with ultradistribution and hyperfunction sines Journal of Mathematical Analysis and Applications 2008 338 2 1224 1242 10.1016/j.jmaa.2007.05.083 MR2386492 ZBL1171.47036 Eidelman S. D. Kochubei A. N. Cauchy problem for fractional diffusion equations Journal of Differential Equations 2004 199 2 211 255 10.1016/j.jde.2003.12.002 MR2047909 ZBL1068.35037 Lakshmikanthan V. Leela S. Theory of Fractional Dynamic Systems 2009 Cambridge, UK Cambridge Academic Publishers Meerschaert M. M. Nane E. Vellaisamy P. Fractional Cauchy problems on bounded domains The Annals of Probability 2009 37 3 979 1007 10.1214/08-AOP426 MR2537547 ZBL1247.60078 Metzler R. Klafter J. The random walk's guide to anomalous diffusion: a fractional dynamics approach Physics Reports 2000 339 1 1 77 10.1016/S0370-1573(00)00070-3 MR1809268 ZBL0984.82032 Podlubny I. Fractional Differential Equations 1999 New York, NY, USA Academic Press MR1658022 Bajlekova E. G. Fractional Evolution Equations in Banach Spaces 2001 Eindhoven, The Netherlands University Press Facilities, Eindhoven University of Technology MR1868564 da Prato G. Iannelli M. Linear integro-differential equations in Banach spaces Rendiconti del Seminario Matematico dell'Università di Padova 1980 62 207 219 MR582951 ZBL0451.45014 Li M. Zheng Q. Zhang J. Regularized resolvent families Taiwanese Journal of Mathematics 2007 11 1 117 133 MR2304009 ZBL1174.47345 Lizama C. Regularized solutions for abstract Volterra equations Journal of Mathematical Analysis and Applications 2000 243 2 278 292 10.1006/jmaa.1999.6668 MR1741524 ZBL0952.45005 Prüss J. Evolutionary Integral Equations and Applications 1993 Basel, Switzerland Birkhäuser 10.1007/978-3-0348-8570-6 MR1238939 Chen C. Li M. On fractional resolvent operator functions Semigroup Forum 2010 80 1 121 142 10.1007/s00233-009-9184-7 MR2580614 ZBL1185.47040 Kexue L. Jigen P. Fractional abstract Cauchy problems Integral Equations and Operator Theory 2011 70 3 333 361 10.1007/s00020-011-1864-5 MR2806472 ZBL1242.34008 Kexue L. Jigen P. Fractional resolvents and fractional evolution equations Applied Mathematics Letters 2012 25 5 808 812 10.1016/j.aml.2011.10.023 MR2888077 ZBL1253.34016 Li K. X. Peng J. G. Jia J. X. Cauchy problems for fractional differential equations with Riemann-Liouville fractional derivatives Journal of Functional Analysis 2012 263 2 476 510 10.1016/j.jfa.2012.04.011 MR2923421 ZBL1266.47066 Mei Z. D. Peng J. G. Zhang Y. On general fractional abstract Cauchy problem Communications on Pure and Applied Analysis 2013 12 6 2753 2772 10.3934/cpaa.2013.12.2753 MR3060907 ZBL1273.34012 Lizama C. Poblete F. On a functional equation associated with (a,k)-regularized resolvent families Abstract and Applied Analysis 2012 2012 23 495487 MR2947741 ZBL1250.39012 Peng J. Li K. A novel characteristic of solution operator for the fractional abstract Cauchy problem Journal of Mathematical Analysis and Applications 2012 385 2 786 796 10.1016/j.jmaa.2011.07.009 MR2834853 ZBL1231.47039 Mei Z. D. Peng J. G. Zhang Y. A characteristic of fractional resolvents Fractional Calculus and Applied Analysis 2013 16 4 777 790 10.2478/s13540-013-0048-1 MR3124335 Kostić M. ( a , k ) -regularized C-resolvent families: regularity and local properties Abstract and Applied Analysis 2009 2009 27 858242 10.1155/2009/858242 MR2533573 ZBL1200.47059 Lizama C. N'Guerekata G. M. Mild solutions for abstract fractional differential equations Applicable Analysis 2013 92 8 1731 1754 10.1080/00036811.2012.698271 ZBL06199431