Se puede demostrar que es un operador unitario, y es la forma común de "operador de evolución temporal" o "propagador".