En un álgebra de operadores se puede considerar un operador autoadjunto (es decir, real) y tenga en cuenta que
El teorema de Stone prueba lo siguiente. Considere un grupo de operadores unitarios actuando sobre un espacio de Hilbert (es decir, satisfactorio , en términos más matemáticos, esta es una representación unitaria del grupo abeliano en ). Si además dicho grupo es fuertemente continuo, es decir, es tal que para todo
El teorema anterior es el más utilizado en mecánica cuántica, ya que relaciona el hamiltoniano cuántico (el generador ) a la dinámica unitaria que genera (el grupo ). Hay formas de tomar el "logaritmo" de un solo operador unitario (por ejemplo, por medio de una transformada de Cayley), sin embargo, esto no es muy relevante en física ya que los objetos importantes son representaciones unitarias de grupos de simetría en lugar de operadores unitarios per se .
La evolución temporal en mecánica cuántica* está representada por la acción de un operador unitario , dónde es el hamiltoniano del sistema en cuestión. Normalmente caracterizamos los sistemas cuánticos (no relativistas**) por su hamiltoniano; en principio, se podría determinar*** el hamiltoniano de un sistema dado un operador de evolución temporal tomando . En la práctica, ir en esta dirección no suele ser práctico desde una perspectiva experimental, por lo que no se suele mencionar.
*En mecánica cuántica, la cuestión de qué objetos evolucionan en el tiempo es una cuestión de interpretación. En algunos casos es más fácil pensar en las funciones de onda como evolucionando en el tiempo (la "imagen de Schrödinger"), en otros casos es más sencillo pensar en los operadores como evolucionando en el tiempo (la "imagen de Heisenberg"), y en otros más casos es una mezcla de ambos que es más simple (la "imagen de interacción").
**El hamiltoniano no es invariante de Lorentz, por lo que no se ve a menudo en la mecánica cuántica relativista/QFT. El lagrangiano, por otro lado, sí lo es.
***El logaritmo no es necesariamente único, por lo que el hamiltoniano solo se puede "determinar" hasta el equivalente de una elección de corte de rama.
infinitocero
ZeroTheHero
Vanguardia
infinitocero