Por un lado, utilizando la descomposición espectral del operador hamiltoniano , que se supone que es un operador hermitiano, es relativamente simple derivar la ecuación , dónde es el valor propio y es el vector propio correspondiente, asumiendo una descomposición discreta y un caso no degenerado.
Por otro lado, usando la matriz exponencial y resolviendo la ecuación diferencial parcial lineal, . Suponiendo que hamiltoniano es un operador hermitiano definido sobre un espacio de Hilbert de dimensión finita , el operador está acotado y la matriz exponencial converge.
Estoy tratando de reconciliar ambas ecuaciones. Conectando la descomposición espectral de en la segunda ecuación no parece darme la primera.
Desde , tienes :
Además, el teorema espectral asegura que la puede tomarse como una base ortonormal y por lo tanto:
Por lo tanto, tienes:
por simetría
Vaquero