Math. J. Okayama Univ.

46 (2004), 141151
THE PERRON PROBLEM FOR C-SEMIGROUPS
Petre PREDA, Alin POGAN and Ciprian PREDA
Abstract. Characterizations of Perron-type for the exponential sta-
bility of exponentially bounded C-semigroups are given. Also, some
applications for the asymptotic behavior of the integrated semigroups
are obtained.
1. Introduction
Let X be a Banach space and V be a closed linear operator with the
domain D(V ) and range R(V ) in X. The abstract Cauchy problem
_
u

(t) = V u(t), t 0
u(0) = x
denoted by (V, x) is related to semigroup theory and, for this case, there are
various results concerning the exponential stability of solutions.
However, the applications of strongly continuous semigroups to partial
dierential equations are limited since their generators must to have dense
domains. In order to deal with the cases while the generators satisfy weaker
conditions, it is necessary to have other classes of semigroups. So, in a
natural way, C-semigroups arise.
The notion C-semigroups was introduced by Da Prato [4] some decades
ago and by E.B. Davies [3] and M.M. Pang [3] independently.
The basic results of the theory of C-semigroups can be found in the book
of R. deLaubenfels [8]. Also, notable results in this eld were obtained by
N. Tanaka [14,15,16,17,18] and I. Miyadera [12,15,16,17,18].
Generating a C-semigroup corresponds to the abstract Cauchy problem
having an unique solution, whenever x = Cy for some y D(V ), where C
is a bounded injective linear operator on X. It is well known that the class
of operators which generate C-semigroups is much larger than the class of
operators which generate a strongly continuous semigroup.
An interesting characterization of exponential stability was given in 1930
by O. Perron [13], which state that, if X is nite dimensional and V is a
matrix, then the solutions of the Cauchy problem (V, x) are exponentially
stable if for every continuous and bounded function f from I R
+
into X the
Mathematics Subject Classication. 47D60, 34D05.
Key words and phrases. C-semigroups, exponential stability.
141
142 P. PREDA, A. POGAN AND C. PREDA
solution of the Cauchy problem
_
x

(t) = V x(t) +f(t)

x(0) = 0
is bounded. This result is classical now and it was generalized in many
directions. First R. Bellman [1] extend these results for the case when the
space X is innite dimensional. Also, after Bellman, similar results were
obtained by M.G. Krein [2], J.L. Daleckij [2], J.L. Massera [10] and J.J.
Schaer [10], even for the non-autonomous case, where the operator V is
replaced by a family {V (t)}
t0
of operators. In recent years this subject
was reopened in the general case of evolutionary process by a large number
of researchers. We can mention here names as Y. Latushkin [9], T. Ran-
dolph [9], R. Schnaubelt [9,11], F. Rabiger [11], N. van Minh [11] and many
others. It is well-known that the C
0
-semigroup is in fact a particular case of
evolutionary processes, so the results above can be applied to obtain char-
acterizations of the asymptotic behavior of strongly continuous semigroups.
Using the Perron theorem, a number of long-standing open problems have
recently been solved and the theory of Perron-type seems to have obtained
a certain degree of maturity. Taking into account that C-semigroups are a
generalization of strongly continuous semigroups, but are dierent in essence
of these, the following question arise: Does there exists an analogue of the
Perron theorem for C-semigroups? In this paper an answer is given to the
above question and in this investigation we need to employ some new skills
and thus we obtain some new results.
Also we note that a C-semigroup is not, in general, a particular case of a
evolutionary process, so the results given by now for evolutionary processes
cannot be applied in this area. So, the aim of this paper is to give charac-
terizations of Perrons type for the exponential stability of the solutions of
the some abstract Cauchy problem of (V, x) -type in the more general case
where one must deal with the theory of C-semigroups.
Our methods are dierent from the usual methods applied in the case of
evolutionary process because the C-semigroups does not posses a lucrative
evolution property. Also as an application to our main result, using the
connections between C-semigroups and integrated semigroups (see [15] for
instance), we obtain some new results about the asymptotic behavior of the
integrated semigroups.
2. Preliminaries
In the beginning we will recall some standard notations. So, rst we have:
C
b
( I R
+
, X) is the space of all bounded and continuous functions from
I R
+
to X,
THE PERRON PROBLEM FOR C-SEMIGROUPS 143
C
0
( I R
+
, X) is the space of all continuous functions f from I R
+
to X
with lim
t
f(t) = 0,
BUC( I R
+
, X) is the space of all bounded and uniformly continuous
functions from I R
+
to X,
AP( I R
+
, X), is the linear closed hull in C
b
( I R
+
, X) of the set of all
functions
t e
it
x : I R
+
X, I R, x X.
All these spaces are Banach spaces endowed with the supremum norm, de-
noted by ||| |||.
Throughout in this paper, let C B(X) be an injective operator.
Denition 2.1. A family {S(t)}
t0
of bounded linear operators is called a
C-semigroup if the following conditions hold:
s
1
) S(t +s)C = S(t)S(s) for all t, s 0 and S(0) = C;
s
2
) S()x : I R
+
X is continuous for all x X.
If in addition {S(t)}
t0
satises the condition:
s
3
) there are M, > 0 such that
S(t) Me
t
, for all t 0.
Then it is called an exponentially bounded C-semigroup.
Remark 2.1. In [3] it is shown that there exist C-semigroups which are
not exponentially bounded.
The generator A of a C-semigroup {S(t)}
t0
is dened by:
_

_
D(A) =
_
x X : there exists lim
t0+
1
t
(S(t)x Cx) R(C)
_
Ax = C
1
lim
t0+
1
t
(S(t)x Cx) for x D(A).
It is known (see for example [6]) that the generator A of a C-semigroup
{S(t)}
t0
has the following properties:
i) S(t)x Cx =
_
t
0
S(s)Axds for x D(A) and t 0;
ii) S(t)x D(A) and AS(t)x = S(t)Ax for x D(A) and t 0.
For the generator Aof a C -semigroup {S(t)}
t0
and a continuous function
f from I R
+
to X, we will denote by (A, f) the Cauchy problem
_
u

(t) = Au(t) +f(t)

u(0) = 0.
144 P. PREDA, A. POGAN AND C. PREDA
By a classical solutions for (A, f) we understand that u is an application
of C
1
class, u(t) D(A) for all t 0, and the two equalities of (A, f) are
satised.
Proposition 2.1. If u is a classical solution of (A, f), then
Cu(t) =
_
t
0
S(t s)f(s)ds, for all t 0.
Proof. For a xed t 0 we consider the function v
t
: [0, t] X,
v
t
(s) = S(t s)u(s).
It is easy to see that v
t
is a function of class C
1
and
v

t
(s) = S(t s)Au(s) +S(t s)u

(s) = S(t s)f(s)

for all s [0, t]. It follows that
Cu(t) = v
t
(t) v
t
(0) =
_
t
0
S(t s)f(s)ds.

This result suggest us to give the following denition:

Denition 2.2. By the mild solution of the problem (A, f) we understand
a continuous functions u
f
: I R
+
X with the property
Cu
f
(t) =
_
t
0
S(t s)f(s)ds, for all t 0
Remark 2.2. The injectivity of C implies that for all f C
b
( I R
+
, X) there
is no more than one mild solution.
Denition 2.3. A subspace E of C
b
( I R
+
, X) is said to be continuously sec-
tionable if for all a > 0 and all continuous functions f from [0, a] to X there
exists g E with |||g||| = sup
t[0,a]
f(t) and g
|[0,a]
= f.
Example 2.1. C
0
( I R
+
, X), BUC( I R
+
, X), AP( I R
+
, X) are continuously sec-
tionable. For a given a > 0 and a continuous function f from [0, a] to X we
dene g : I R
+
X given by
g(t) =
_

_
f(t), t [0, a]
(a + 1 t)f(a), t (a, a + 1)
0, t a + 1
Then g C
0
( I R
+
, X) BUC( I R
+
, X), g
|[o,a]
= f and
|||g||| = sup
t[0,a]
f(t)
THE PERRON PROBLEM FOR C-SEMIGROUPS 145
In order to prove that AP( I R
+
, X) is also continuously sectionable we con-
sider again a > 0 and a continuous function f from [0, a] to X. We construct
now g : [0, 2a] X dened by
g(s) =
_
f(s), s [0, a]
f(2a s), s (a, 2a]
Then it is easy to check that g is continuous, g(0) = g(2a) and sup
s[0,2a]
g(s)
= sup
t[0,a]
f(t). Now it is clear that there is h a continuous function from I R
to X, 2a periodic, such that h
|[0,2a]
= g. By a classic Fourier theory result
we have that h AP( I R, X). But h
|[0,a]
= f and
|||h||| = sup
s[0,2a]
h(s) = sup
s[0,2a]
g(s) = sup
t[0,a]
f(t).
Denition 2.4. A C-semigroup {S(t)}
t0
is said to be exponentially stable
if there are N, > 0 two constants such that
S(t) Ne
t
, for all t 0.
Denition 2.5. A subspace E of C
b
( I R
+
, X) is admissible to a C-semigroup
with the generator A if for all f E the abstract Cauchy problem (A, f) has
a mild solution which lies in C
b
( I R
+
, X).
Proposition 2.2. If E is a closed subspace admissible to a C-semigroup
{S(t)}
t0
with the generator A, then there exists K > 0 such that
|||u
f
||| K|||f|||, for all f E.
Proof. Let us dene the application V
E
: E C
b
( I R
+
, X) given by V
E
f =
u
f
. Obviously V
E
is a linear operator. Next, let {f
n
}
nI N
be a sequence in
E, f E, g C
b
( I R
+
, X) with the properties
f
n
E
f, V
E
f
n
C
b
g.
Then
C(V
E
f
n
)(t) C(V
E
f)(t) =
_
_
_
_
_
t
0
S(t s)(f
n
(s) f(s))ds
_
_
_
_
t sup
v[0,t]
S(v) |||f
n
f|||,
for all t 0 and every n I N.
It results that C(V
E
f)(t) = Cg(t), for all t 0, and hence V
E
f = g. This
implies that V
E
is also bounded and so
|||u
f
||| = |||V
E
f||| V
E
|||f|||, for all f E.

146 P. PREDA, A. POGAN AND C. PREDA

3. The main result
Theorem 3.1. If E is a closed, continuously sectionable subspace of
C
b
( I R
+
, X) and E is admissible to an exponentially bounded C-semigroup
{S(t)}
t0
, then {S(t)}
t0
is exponentially stable.
Proof. Step 1. In this section of the proof we will prove that S is bounded.
Consider t 0, x X and the function f : [0, t] X dened by f(s) =
e
s
S(s)x. Then there is g E such that
g
|[0,t]
= f and |||g||| = sup
s[0,t]
f(s) Mx.
C(u
g
)(t) =
_
t
0
S(t s)g(s)ds
=
_
t
0
e
s
S(t s)S(s)xds =
1

(1 e
t
)CS(t)x.
Using Proposition 2.2, we obtain that
1

(1 e
t
)S(t)x = (u
g
)(t) |||u
g
||| K|||g||| MKx
and so
S(t) L, for all t 0,
where L = M(K + 1).
Step 2. In this section we will prove inductively that
t
n
n!
S(t) LK
n
, for all t 0 and all n I N.
From step 1 it follows that the inequality above is true for n = 0. Next,
if we assume that the inequality above is true for a xed n I N and if
we dene f
n
: [0, t] X, f
n
(s) =
s
n
n!
S(s)x, where t 0 and x X
are arbitrarily chosen, then there exists g
n
E such that g
n
|[0,t]
= f
n
and
|||g
n
||| = sup
s[0,t]
f
n
(s) LK
n
x.
It results that
C(u
g
n
)(t) =
_
t
0
S(t s)
_
s
n
n!
S(s)x
_
ds
=
_
t
0
s
n
n!
dsCS(t)x =
t
n+1
(n + 1)!
CS(t)x,
and using again the Proposition 2.2 we have that
t
n+1
(n + 1)!
S(t)x = (u
g
n
)(t) |||u
g
n
||| K|||g
n
||| LK
n+1
x.
THE PERRON PROBLEM FOR C-SEMIGROUPS 147
which implies that
t
n+1
(n + 1)!
S(t) LK
n+1
, for all t 0.
With this it is now clear that
t
n
n!
S(t) LK
n
, for all t 0 and every n I N.
Let now =
1
2K
and N = 2L. One can easily verify that
e
t
S(t) =

n=0

n
t
n
n!
S(t)

n=0
L(K)
n
= L

n=0
1
2
n
= 2L = N, for all t 0
The proof is now complete.
Theorem 3.2. If {S(t)}
t0
is an exponentially bounded C-semigroup then
it is exponentially stable if one of the following conditions hold
1) C
0
( I R
+
, X) is admissible to {S(t)}
t0
;
2) BUC( I R
+
, X) is admissible to {S(t)}
t0
;
3) AP( I R
+
, X) is admissible to {S(t)}
t0
.
Proof. Follows easily from Theorem 3.1. and Example 2.1.
In what follows we will apply the above results to obtain some properties
of the asymptotic behavior of the so-called integrated semigroups. We recall
that a family of bounded linear operators {U(t)}
t0
acting on a Banach
space X is called a n-times integrated semigroup if the following statements
hold:
i
1
) U()x : I R
+
X is continuous for all x X ;
i
2
) U(t)U(s)x =
1
(n1)!
[
t+s
_
t
(t+sr)
n1
U(r)xdr
s
_
0
(t+sr)
n1
U(r)dr,
for all t, s 0, x X, and U(0) = 0.
i
3
) U(t)x = 0, for all t > 0 implies that x = 0.
i
4
) there are M > 0 and I R such that U(t) Me
t
, for all t 0.
The generator of a n-times integrated semigroup is dened as the unique
closed linear operator A which satisfy the following conditions:
1) (, ) (A)
2) R(, A)x =

_
0

n
e
t
U(t)xdt, for all x X, .
148 P. PREDA, A. POGAN AND C. PREDA
In [15] it is proved that for a densely dened, closed A with (A) = , c
(A), n I N

the following conditions are equivalent:

1) A is the generator of a n-times integrated semigroup {U(t)}
t0
;
2) A is the generator of a C-semigroup {S(t)}
t0
with C = R(c, A)
n
;
3) there exist M > 0, a I R such that (a, ) (A) and
R(, A)
m
R(c, A)
n

M
(a)
m
for all m I N

, > a.
In this case we have that:
U(t)x = (cI A)
n
t
_
0
t
1
_
0
...
t
n1
_
0
S(t
n
)xdt
n
...dt
1
, for all t 0, x X.
In the next example we show that there exist closed linear operators which
generates a C- semigroup exponentially stable and a n-times integrated semi-
group which dont have a limit when t tends to and n 2.
Example 3.1. Let X = I R, Ax = x. Then A generates the C-semigroup
T(t) = e
t
(here Cx = x) and the 2-times integrated semigroup U(t) =
t
_
0
t
1
_
0
e
t
2
dt
2
dt
1
= t +e
t
1. It is easy to see that lim
t
U(t)x does not exist
except the case when x = 0.
We recall that for a strongly continuous family of bounded linear operators
{W(t)}
t0
and for a continuous function f : I R
+
X we denote by W f
the map dened by:
(W f)(t) =
t
_
0
W(t s)f(s)ds.
Lemma 3.1. If {U(t)}
t0
is a 1-times integrated semigroup, with the gen-
erator A, c (A), C = R(c, A), the C-semigroup {S(t)}
t0
having also the
generator A, f C
b
( I R
+
, X), then:
t
_
0
(S f)(s)ds = C(U f)(t) for all t 0.
Proof.
t
_
0
(S f)(s)ds =
t
_
0
s
_
0
S(s )f()dds =
t
_
0
t
_

S(s )f()dsd =
t
_
0
t
_
0
S(v)f()dvd =
t
_
0
CU(t )f()d = C(U f)(t), for all t 0.
THE PERRON PROBLEM FOR C-SEMIGROUPS 149
Theorem 3.3. If {U(t)}
t0
is a 1-times integrated semigroup, E is a closed
continuously sectionable subspace of C
b
( I R
+
, X) with the property that U f
is of C
1
class and (U f)

C
b
( I R
+
, X) for all f E, then there exists
lim
t
U(t)x, for all x X.
Proof. Let A be the generator of {U(t)}
t0
, c (A), C = R(c, A), {S(t)}
t0
the C-semigroup which has the generator A. If f E and if we set u
f
=
(U f)

C
b
( I R
+
, X), then by Lemma 3.1 we have that:
t
_
0
Cu
f
(s)ds = C
t
_
0
(U f)

(s)ds
= C(U f)(t) =
t
_
0
(S f)(s)ds, for all t 0,
which implies that:
Cu
f
(t) = (S f)(t) =
t
_
0
S(t s)f(s)ds, for all t 0.
This shows that E is admissible to {S(t)}
t0
and hence by Theorem 3.1
we obtain that {S(t)}
t0
is exponentially stable.
It follows that there exists
lim
t
t
_
0
S(s)xds, for all x X.
Having in mind that
U(t)x = (cI A)
t
_
0
S(s)xds
= c
t
_
0
S(s)xds S(t)x +Cx, for all t 0, x X,
it results what is to prove.
Theorem 3.4. If {U(t)}
t0
is a 1-times integrated semigroup, then there
exists lim
t
U(t)x, for all x X, if one of the following conditions hold:
1) U f has a derivative in C
b
( I R
+
, X), for all f C
0
( I R
+
, X).
2) U f has a derivative in C
b
( I R
+
, X), for all f BUC( I R
+
, X).
3) U f has a derivative in C
b
( I R
+
, X), for all f AP( I R
+
, X).
Proof. It follows from Theorem 3.3 and Example 2.1.
150 P. PREDA, A. POGAN AND C. PREDA
References
[1] R. Bellman, On the Application of a Banach-Steinhaus Theorem to the Study of the
Boundedness of the Solutions of Nonlinear Dierential Equations, Am. Math. (2) 49,
1948, 515522.
[2] J.L Daleckij, M.G. Krein, Stability of dierential equations in Banach space,
Amer. Math. Scc, Providence, R.I. 1974.
[3] E.B. Davies, M.M. Pang, The Cauchy problem and a generalization of the Hille-
Yosida theorem, Proc. London Math. Soc. 55 (1987), 181208.
[4] G. Da Prato, Nouveau type de semi-groupe, C.R. Acad. Sci. Paris, 262, 991998,
1966.
[5] R. deLaubenfels, Integrated semigroups, C-semigroups and the abstract Cauchy
problem, Semigrup Forum 41 (1990), 8395.
[6] R. deLaubenfels, C-semigroups and the Cauchy problem, J. Funct. Anal. 111
(1993), 4461.
[7] R. deLaubenfels, C-semigroups and strongly continuous semigroups, Israel J. Math.
81 (1993), 227255.
[8] R. deLaubenfels, Existence families, functional calculi and evolution equations,
Lecture Notes in Math. 1570, Springer-Verlag, 1994.
[9] Y. Latushkin, T. Randolph, R. Schnaubelt, Exponential dichotomy and mild
solution of nonautonomous equations in Banach spaces, J. Dynam. Dierential Equa-
tions, 3 (1998), 489510.
[10] J.L. Massera, J.J. Sch affer, Linear Dierential Equations and Function Spaces,
Academic Press, New York, 1966.
[11] N. van Minh, F. R abiger, R. Schnaubelt, Exponential stability, exponential ex-
pansiveness and exponential dichotomy of evolution equations on the half-line, Int.
Eq. Op. Theory, 32 (1998), 332353.
[12] I. Miyadera, On the generators of exponentially bounded C-semigroups, Proc. Japan
Acad. Ser. A. Math. Sci. 62 (1986), 239242.
[13] O. Perron, Die stabilitatsfrage bei dierentialgeighungen, Math. Z., 32 (1930), 703
728.
[14] N. Tanaka, On the exponentially bounded C-semigroups, Tokyo J. Math. 10 (1987),
107117.
[15] N. Tanaka, I. Miyadera, Some Remarks on C-semigroups and integrated semi-
groups, Proceedings of the Japan Academy, vol. 63 (1987), 139142.
[16] N. Tanaka, I. Miyadera, Exponentially bounded C-semigroups and integrated semi-
groups, Tokyo J. Math. 12 (1989), 99115.
[17] N. Tanaka, I. Miyadera, Exponentially bounded C-semigroups and generation of
semigroups, J. Math. Anal. Appl. 143 (1989), 358378.
[18] N. Tanaka, I. Miyadera, Exponentially bounded C-semigroups and generation of
semigroups, J. Math. Anal. Appl. 170 No. 1 (1992), 196206.
Petre Preda
Department of Mathematics
West University of Timis oara
Bd. V. P arvan, No. 4, 300223 - Timis oara, Romania
e-mail address: [email protected], [email protected]
THE PERRON PROBLEM FOR C-SEMIGROUPS 151
Alin Pogan
Department of Mathematics
202 Mathematical Sciences Bldg University of Missouri
Columbia, Mo 65211 U.S.A
Ciprian Preda
Department of Mathematics
West University of Timis oara
Bd. V. P arvan, No. 4, 300223 - Timis oara, Romania
(Received September 3, 2003)