 Research Article
 Open access
 Published:
Some Results on Times Integrated Regularized Semigroups
Advances in Difference Equations volumeÂ 2011, ArticleÂ number:Â 394584 (2011)
Abstract
We present a generation theorem of times integrated regularized semigroups and clarify the relation between differentiable times integrated regularized semigroups and singular times integrated regularized semigroups.
1. Introduction and Preliminaries
In 1987, Arendt [1] studied the times integrated semigroups, which are more general than semigroups (there exist many operators that generate times integrated semigroups but not semigroups).
In recent years, the times integrated regularized semigroups have received much attention because they can be used to deal with illposed abstract Cauchy problems and characterize the "weak" wellposedness of many important differential equations (cf., e.g., [2â€“18]).
Stimulated by the works in [2, 5â€“7, 9, 12â€“18], in this paper, we present a generation theorem of the times integrated regularized semigroups for the case that the domain of generator and the range of regularizing operator are not necessarily dense, and prove that the subgenerator of an exponentially bounded, differentiable times integrated regularized semigroup is also a subgenerator of a singular times integrated regularized semigroup.
Throughout this paper, is a Banach space; denotes the dual space of ; denotes the space of all linear and bounded operators from to , it will be abbreviated to ; denotes the dual space of . By we denote the space of all continuously differentiable valued functions on . is the space of all continuous valued functions on .
All operators are linear. For a closed linear operator , we write , , for the domain, the range, the resolvent set of in a Banach space , respectively.
We denote by the part of in , that is,
The resolvent set of is defined as:
We abbreviate times integrated regularized semigroup to times integrated semigroup.
Definition 1.1.
Let be a nonnegative integer. Then is the subgenerator of an exponentially bounded times integrated semigroup if for some and there exists a strongly continuous family with for some such that
In this case, is called the exponentially bounded times integrated semigroup generated by .
If (resp., ), then is called a generator of an exponentially bounded times integrated semigroup (resp., semigroup).
We recall some properties of times integrated semigroup.
Lemma 1.2 (see [10, Lemma 3.2]).
Assume that is a subgenerator of an times integrated semigroup . Then

(i)
,

(ii)
, and ,

(iii)
.
In particular, .
Definition 1.3.
Let . If and there exists such that

(i)
and is strongly continuous,

(ii)
for , ,

(iii)
, , ,
then we say that is a singular times integrated semigroup with subgenerator .
Remark 1.4.
Clearly, an exponentially bounded times integrated semigroup is a singular times integrated semigroup. But the converse is not true.
2. The Main Results
Theorem 2.1.
Let , be constants, and let be a closed operator satisfying . Assume that is the nonnegative measurable function on . A necessary and sufficient condition for is the subgenerator of an times integrated semigroup satisfying

(A1)
,

(A2)
, , is that for ,

(i)
,

(ii)
, .

(i)
Proof.
Sufficiency. Let . Set
For , we have
â€‰Using this fact together with Widder's classical theorem, it is not difficult to see that the existence of a measurable function with , a.e., () such that
Let , , . In view of the convolution theorem for Laplace transforms and from (2.3), we have
Using the uniqueness of Laplace transforms and the linearity of for each , , we can see that for each , is linear and
Hence for all , there exists such that
Denote by the quotient mapping. Since , we deduce
It follows from the uniqueness theorem for Laplace transforms that , that is, .
Combining (2.7) and (2.8) yields that is strongly continuous and
Now, we conclude that is an times integrated semigroup satisfying (A2). Assertion (A1) is immediate, by (2.8) and (i).
Necessity.
Let . Since is an times integrated semigroup on , we have
for . Noting that and , we find
Then for any and , we obtain
Therefore, there exists a measurable function on with (a.e.) such that
Furthermore, by calculation, we have
Assertion (i) is an immediate consequence of (2.11) and (A1).
Remark 2.2.
If and , then is an integrated semigroup in the sense of Bobrowski [2].
Theorem 2.3.
Let , be constants, and let be a closed operator satisfying . Assume that is a subgenerator of an times integrated semigroup and satisfies (ii) of Theorem 2.1 and . If is a subgenerator of an ntimes integrated semigroup on , then for , ,
Proof.
For , , set as follows:
Since is strongly continuous on , is strongly continuous on .
Fixing , we have
It follows from the uniqueness of Laplace transforms that , . So we get (2.16). By the hypothesis , we see
and the proof is completed.
Now, we study the relation between differentiable times integrated semigroups and singular times integrated semigroups.
Theorem 2.4.
Let , and let be a closed operator satisfying . Assume that is the nonnegative measurable function on . The following two assertions are equivalent:

(1)
is the subgenerator of a singular times integrated semigroup satisfying .

(2)
is the subgenerator of an exponentially bounded times integrated semigroup satisfying
(2.21)Proof.
(1)â‡’(2): we set
Since is locally integrable on is welldefined for any . It is easy to check that belongs to .
For every , since
we deduce that is exponentially bounded.
Moreover, for , we have
Thus is the desired semigroup in (2).
(2)â‡’(1): for any , we set
Then and .
Noting that
we find
Since is continuously differentiable for , we get
Moreover, for , we have
Thus, is a singular times integrated semigroup with subgenerator .
Theorem 2.5.
Let , be constants, and let be a closed operator satisfying . Let be the function in Theorem 2.4. If is the subgenerator of a singular times integrated semigroup , satisfying , and satisfies
then

(1)
for , , ,

(2)
for , ,

(3)
for , , ,

(4)
for , â€‰â€‰if and only ifâ€‰â€‰,
where and are the symbols mentioned in Theorem 2.3.
Proof.
It follows from Theorems 2.3 and 2.4 that subgenerates an times integrated semigroup , which is continuously differentiable for and satisfies (2.16) and (2.17).
Differentiating (2.16) with respect to , we obtain
This completes the proof of (1).
To show (2), for , we have
Letting , we get
To show (3), for , since , it follows from (2.17) that is continuous for , thus, we have
Obviously, the equality above is true for .
Noting that
we can deduce that implies , and from
assertion (4) is immediate if we note that implies .
References
Arendt W: Vectorvalued Laplace transforms and Cauchy problems. Israel Journal of Mathematics 1987,59(3):327352. 10.1007/BF02774144
Bobrowski A: On the generation of noncontinuous semigroups. Semigroup Forum 1997,54(2):237252.
Li YC, Shaw SY:On local times integrated semigroups. Abstract and Applied Analysis 2007, 2007:18.
Li YC, Shaw SY:On characterization and perturbation of local semigroups. Proceedings of the American Mathematical Society 2007,135(4):10971106. 10.1090/S0002993906085492
Liang J, Xiao TJ: Integrated semigroups and higher order abstract equations. Journal of Mathematical Analysis and Applications 1998,222(1):110125. 10.1006/jmaa.1997.5909
Liang J, Xiao TJ: Wellposedness results for certain classes of higher order abstract Cauchy problems connected with integrated semigroups. Semigroup Forum 1998,56(1):84103. 10.1007/s0023300270071
Liang J, Xiao TJ:Norm continuity for of linear operator families. Chinese Science Bulletin 1998,43(9):719723. 10.1007/BF02898945
Nagaoka K: Generation of the integrated semigroups by superelliptic differential operators. Journal of Mathematical Analysis and Applications 2008,341(2):11431154. 10.1016/j.jmaa.2007.10.045
Tanaka N: Locally Lipschitz continuous integrated semigroups. Studia Mathematica 2005,167(1):116. 10.4064/sm16711
Thieme HR: "Integrated semigroups" and integrated solutions to abstract Cauchy problems. Journal of Mathematical Analysis and Applications 1990,152(2):416447. 10.1016/0022247X(90)90074P
Thieme HR: Differentiability of convolutions, integrated semigroups of bounded semivariation, and the inhomogeneous Cauchy problem. Journal of Evolution Equations 2008,8(2):283305. 10.1007/s0002800703552
Xiao TJ, Liang J: Integrated semigroups, cosine families and higher order abstract Cauchy problems. In Functional Analysis in China, Mathematics and Its Applications. Volume 356. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1996:351365.
Xiao TJ, Liang J: WidderArendt theorem and integrated semigroups in locally convex space. Science in China. Series A 1996,39(11):11211130.
Xiao TJ, Liang J: Laplace transforms and integrated, regularized semigroups in locally convex spaces. Journal of Functional Analysis 1997,148(2):448479. 10.1006/jfan.1996.3096
Xiao TJ, Liang J: The Cauchy Problem for HigherOrder Abstract Differential Equations, Lecture Notes in Mathematics. Volume 1701. Springer, Berlin, Germany; 1998:xii+301.
Xiao TJ, Liang J: Approximations of Laplace transforms and integrated semigroups. Journal of Functional Analysis 2000,172(1):202220. 10.1006/jfan.1999.3545
Xiao TJ, Liang J: Higher order abstract Cauchy problems: their existence and uniqueness families. Journal of the London Mathematical Society 2003,67(1):149164. 10.1112/S0024610702003794
Xiao TJ, Liang J: Second order differential operators with FellerWentzell type boundary conditions. Journal of Functional Analysis 2008,254(6):14671486. 10.1016/j.jfa.2007.12.012
Acknowledgments
The authors are grateful to the referees for their valuable suggestions. This work is supported by the NSF of Yunnan Province (2009ZC054M).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Li, F., Wang, H. & Qu, Z. Some Results on Times Integrated Regularized Semigroups. Adv Differ Equ 2011, 394584 (2011). https://doi.org/10.1155/2011/394584
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/394584