recently I saw the notation $e^{itH}$, and just wondering how should I interpret it?
In my understanding, $u(t,x) = e^{itH} u_0$ is, for example, a solution to Schrodinger-type equation $i\partial_tu = -H u$ with the initial data $u_0$. In case $H = \Delta$, the solution to Schrodinger equation is known to involve the Schrodinger kernel in the integrand. In such case, does $e^{itH}$ is a short-hand notation for the operator involving the Schrodinger kernel?
Or should I interpret $e^{itH}$ as the Taylor series with $H^k$ terms involved? In this case, does the (operator) series converge once applied to the element in the domain of $H$?
Also, I would be very glad to get a reference to read more on this type of operators. Thank you very much!
Let $X$ be a real or complex Banach space, and let $\mathcal{L}(X)$ denote the bounded linear operators on $X$. A $C^0$ semigroup on $X$ is a function $$ T : [0,\infty)\rightarrow\mathcal{L}(X) $$ such that \begin{align} (i) & \;\;\; T(0) = I, \\ (ii) & \;\;\; T(t)T(t')=T(t+t'), \\ (iii) & \;\;\; \lim_{t\downarrow 0}T(t)x = x,\;\; \forall x \in X. \end{align} For any such operator, let $\mathcal{D}(A)$ denote the set of all $\in X$ for which the following limit exists $$ \lim_{h\downarrow 0} \frac{1}{h}(T(h)x-x), $$ and let $Ax$ denote this limit. Then $H : \mathcal{D}(A)\subseteq X\rightarrow X$ is a densely-defined linear operator, and we write $T(t)=e^{tA}$ to summarize these properties.
If $T(t)$ is unitary for all $t > 0$, then $A=iH$, where $H$ is self-adjoint. Then it is customary to write $T(t) = e^{itH}$. This is typical of the time-invariant Schrodinger equation, for example. For such an operator, there is the Borel functional calculus, where $f(H)=$ is defined for any Borel measurable function on $\mathbb{R}$. Using this, $e^{itH}=f(H)$ where $f(s)=e^{its}$.