Let $H$ be a Hilbert space (assume separable if you like), and let $(U_t)_{t\in\mathbb{R}}$ be a unitary representation of $\mathbb{R}$ on $H$. Let us assume that $t\mapsto U_t$ is continuous, where we use the uniform operator topology on the bounded operators. Define $$D=\{v\in H \ | \ \lim_{t\rightarrow 0}\frac{U_t v-v}{t} \ exists\}.$$
I would like to show that under these assumptions we have $D=H$, and that the operator $A:H\rightarrow H$ given by $A(v)=\lim_{t\rightarrow 0}\frac{U_t v-v}{t}$ is bounded. Can someone give me some hints how to go about it?
EDIT: "uniform operator topology" was just "operator topology" in the original, which I assumed meant either the strong or weak operator topology, in which case it's false:
Say $(X,\mu)$ is a measure space, suppose $\alpha:X\to\Bbb R$ is measurable, and define $U_t:L^2\to L^2$ by $$U_tf(x)=e^{it\alpha(x)}f(x).$$ Then $(U_t)$ is strong-operator-continuous group of unitary operators. But ignoring convergence for a second, it looks like $$\lim_{t\to0}\frac{U_tf-f}{t}(x)=i\alpha(x)f(x).$$If $\alpha\notin L^\infty$ then $A$ is only densely defined and unbounded.
EDIT: Turns out that the OP was referring to the norm topology. In that case it's true. Using the Spectral Theorem makes it too easy:
First, we have a commuting family of normal operators, so my favorite version of the Spectral Theorem shows that after an isomorphism on $H$ we can assume that $H=L^2(\mu)$ for some measure $\mu$ on some set $X$, and that $$U_tf(x)=m_t(x)f(x)$$for some collection of measurable functions $m_t$. Now $U_t$ unitary implies that $|m_t|=1$ almost everywhere. And $m_{s+t}=m_sm_t$. Note that $$||m_t-1||_\infty=||U_t-I||\to0$$as $t\to0$. Some measure-theoretic argument that I haven't concocted shows now that for almost every $x$ the function $x\mapsto m_t(x)$ is continuous. Hence there exists $\alpha(x)$ so $$m_t(x)=e^{it\alpha(x)}.$$ And now $\lim_{t\to0}||m_t-1||_\infty=0$ shows that $\alpha\in L^\infty$. As before $A$ is multiplication by $i\alpha(x)$; this time this shows that $A$ is bounded and defined on all of $H$.
EDIT: That measure-theoretic argument doesn't exist; each $m_t$ is defined only almost everywhere, we might be able to modify each one on a different set of measure zero in such a way that there does not exist $t$ such that $x\mapsto m_t((x)$ is continuous. Things are slightly more subtle.
As above we have $m_t\in L^\infty$ such that $U_t$ is multiplication by $t$. Now for each rational $t$ choose an actual function $n_t$ (as opposed to almost-everywhere equivalence class) with $n_t=m_t$ almost everywhere. Since we're talking about only countably many functions, we can throw out a set of measure zero and obtain $$\sup_{x\in X}|n_t(x)-n_s(x)|=||U_{t-s}-I||\to0\quad(s,t\in\Bbb Q, s-t\to0).$$ Now for every $x$ the function $t\mapsto n_t(x)$ is uniformmly continuous on $\Bbb Q$. So there exists $\alpha(x)$ such that $$n_t(x)=e^{it\alpha(x)}\quad(t\in\Bbb Q).$$ Define $n_t(x)=e^{it\alpha(x)}$ for all $t\in\Bbb R$ and proceed. (Continuity of $U_t$ shows that $U_t$ is multiplication by $n_t$ for every $t$.)
FINAL EDIT Come to think of it, you get a cleaner proof, without all that messing around with sets of measure zero, by using the other version of the Spectral Theorem, or for that matter just the fact that a commutative $C^*$ algebra with identity is $C(K)$. I've typed enough...