Definición
Un resultado matemático que vincula grupos unitarios de un parámetro fuertemente continuos en un espacio de Hilbert con generadores autoadjuntos: todo grupo unitario fuertemente continuo U(t) posee un operador autoadjunto (típicamente no acotado) H tal que U(t) = exp(-i t H), y recíprocamente un H autoadjunto genera un grupo unitario fuertemente continuo.
Principio
Principio
La continuidad fuerte en el tiempo de la evolución unitaria implica la existencia de un generador autoadjunto; recíprocamente la autoadjunción garantiza la evolución unitaria mediante el mapa exponencial, proporcionando la base matemática para la dinámica gobernada por un Hamiltoniano en teoría cuántica.
Demostración
Demostración
En mecánica cuántica no relativista, la evolución de Schrödinger U(t) = exp(-i H t) de los vectores de estado es un caso: dado un Hamiltoniano autoadjunto H en L^2(R^n), el teorema de Stone asegura que esta exponencial define un grupo unitario fuertemente continuo que produce la dinámica de Schrödinger.
Aplicación incorrecta
Aplicación incorrecta
Suponer que cualquier operador simétrico genera una evolución unitaria sin verificar la autoadjunción o las sutilezas del dominio; ignorar cuestiones de dominio y los índices de deficiencia puede llevar a afirmaciones incorrectas sobre la existencia o unicidad de la dinámica.
Consecuencia
Consecuencia
Proporciona la justificación rigurosa para representar la evolución temporal por un operador Hamiltoniano y para derivar leyes de conservación basadas en el generador; es central para definir la dinámica, el análisis espectral y el vínculo entre observables y simetrías continuas.
Inversión
Inversión
Si el grupo unitario no es fuertemente continuo (por ejemplo si las aplicaciones de evolución son discontinuas en el tiempo), no existe un generador autoadjunto en el sentido de Stone; del mismo modo, un operador meramente simétrico pero no autoadjunto puede no generar un grupo unitario.
Límite
Límite
Requiere la hipótesis de continuidad fuerte y control adecuado del dominio para operadores no acotados; no se aplica literalmente a grupos que carecen de las hipótesis de regularidad, a evoluciones de tiempo discreto o a representaciones solo débilmente continuas sin hipótesis adicionales.
Tensión semántica
Tensión semántica
Hay que distinguir el teorema de Stone (existencia de generadores autoadjuntos para flujos unitarios continuos) de resultados de unicidad relacionados (Stone–von Neumann): Stone trata de la dinámica y los generadores, Stone–von Neumann de la unicidad de las representaciones de las CCR.
Síntesis
Síntesis
El teorema de Stone proporciona el puente riguroso entre la evolución unitaria continua y los Hamiltonianos autoadjuntos: bajo hipótesis de continuidad existe un generador autoadjunto y la evolución se expresa como una exponencial de operador, con las salvedades habituales sobre dominios y regularidad.