Jr. Dorroh et Jw. Neuberger, A THEORY OF STRONGLY CONTINUOUS SEMIGROUPS IN TERMS OF LIE GENERATORS, Journal of functional analysis, 136(1), 1996, pp. 114-126
Let X denote a complete separable metric space, and let C(X) denote th
e linear space of all bounded continuous real-valued functions on X. A
semigroup T of transformations from X into X is said to be jointly co
ntinuous if the mapping (t, x)--> T(t)x is jointly continuous from [0,
infinity)x X into X. The Lie generator of such a semigroup T is the l
inear operator in C(X) consisting of all ordered pairs (f,g) such that
f,g is an element of C(X), and for each x is an element of X, g(x) is
the derivative at 0 of f(T(.)x). We completely characterize such Lie
generators and establish the canonical exponential formula for the ori
ginal semigroup in terms of powers of resolvents of its Lie generator.
The only topological notions needed in the characterization are two n
otions of sequential convergence, pointwise and strict. A sequence in
C(X) converges strictly if the sequence is uniformly bounded in the su
premum norm and converges uniformly on compact subsets of X. (C) 1996
Academic Press, Inc.