Let $E$ be a Banach space, and let $(\sigma\_t)$ be a strongly continuous one-parameter group on $E$: so for $t\in\mathbb R$, we have that $\sigma\_t$ is a contraction on $E$, $\sigma\_t \sigma\_s=\sigma\_{t+s}$, $\sigma\_0$ is the identity, and for each $x\in E$, the map $\mathbb R\rightarrow E; t\mapsto\sigma\_t(x)$ is continuous.


We have the notion of the analytic continuation of $(\sigma\_t)$. For example, set $S(i) = \{ z=t+iy\in\mathbb C : 0<y<1 \}$ with closure $\overline{S(i)}$. Then $D(\sigma\_i)$ consists of those $x\in E$ such that there is a bounded continuous map $f:\overline{S(i)}\rightarrow E$ with $f$ analytic on $S(i)$, and with $f(t) = \sigma\_t(x)$ for $t\in\mathbb R$. Then we set $\sigma\_i(x) = f(i)$. Then $\sigma\_i$ is a densely defined, closed operator.


Under favourable circumstances, the following is somehow "folklore":



> 
> Let $x\in D(\sigma\_i)$ with $\sigma\_i(x)=x$. Then $\sigma\_t(x)=x$ for all $t$.
> 
> 
> 


E.g. if E is a Hilbert space this can be extracted from [Stone's Theorem](http://en.wikipedia.org/wiki/Stone%27s_theorem_on_one-parameter_unitary_groups) and some spectral theory. What I want to know is if there is a way to prove this using the more abstract framework I have setup (which is more accessible if, e.g. we start considering dual spaces and weakly-continuous groups etc.)



"Generators" of one-parameter groups of isometries
Using the semigroup property, you can extend $\sigma\_t(x)$ to a bounded entire function.
Liouville's theorem will do the rest.


