- Operador hermítico
-
Un operador hermítico (tambien llamado hermitiano) definido sobre un espacio de Hilbert es un operador lineal que, sobre un cierto dominio, coincide con su propio operador adjunto. Una propiedad importante de estos operadores es que sus autovalores son siempre números reales.
Cuando el dominio de un operador hermítico y el de su operador adjunto coinciden totalmente se dice entonces que es un operador autoadjunto. En un espacio de Hilbert de dimensión finita todo operador hermítico es además autoadjunto.
Contenido
Dimensión finita
En espacios de Hilbert de dimensión finita todo operador hermítico es además autoadjunto. Además en dimensión finita un operador hermítico fijada una base ortogonal viene dado por una matriz hermítica y diagonalizable.
Una matriz es hermítica o autoadjunta cuando es igual a su propia adjunta y es antihermítica cuando es igual a su traspuesta conjugada multiplicada por -1.
Sobre espacios vectoriales reales, las matrices hermíticas coinciden con las matrices simétricas y las antihermíticas con las antisimétricas. Estos operadores se pueden representar como una matriz diagonal (en una base ortonormal) de números reales. Este concepto se puede generalizar a un espacio de Hilbert de dimensión arbitraria.
Dimensión infinita
En espacios de dimensión infinita, como los espacios de Hilbert que aparecen en análisis funcional y en mecánica cuántica, un operador puede ser hermítico pero no autoadjunto (aunque todos los operadores autoadjuntos son evidentemente hermíticos).
El interés en los operadores en mecánica cuántica se debe a que en la formulación de Dirac-von Neumann, los posibles valores de los observables físicos o magnitudes físicas, son precisamente los autovalores de ciertos operadores que representan la magnitud física. Así pues el que un operador pueda ser interpretado como una magnitud físicamente medible requiere que sus autovalores sean números reales, condición que queda garantizada si los observables se representan por operadores hermíticos.
Operadores autoadjuntos
La consecuencia más importante de que un operador hermítico sea además autoadjunto es que entonces se le puede aplicar el teorema de descomposición espectral. Para un operador hermítico en un espacio de Hilbert de dimensión infinita en general no existe la "resolución espectral de la identidad", que sí está garantizada para operadores autoadjuntos.
Todos los operadores importantes de la mecánica cuántica como la posición, el momentum, el momento angular, la energía o el espín se representan como operadores autoadjuntos en un dominio denso espacio de Hilbert . Otro operador particularmente importante para un sistema cuántico es el operador hamiltoniano definido por:
que, como observable, corresponde a la energía total de una partícula de masa m en un campo de potencial V y que para la mayoría de los sistemas es un operador no-acotado, relacionado con el hecho de que en esos sistemas no existe un valor máximo para la energía que puede tener una partícula.Es interesante notar que normalmente los operadores no acotados, como el operador Hamiltoniano no están definidos en todo el espacio, sino solamente en un dominio denso. Los estados sobre los que no está definidos corresponderían a estados de "energía infinita". Por ejemplo para el oscilador armónico cuántico unidimensional en que V(x) = x2, el operador hamiltoniano no está definido sobre el estado cuántico:
Donde ψn(x) son los estados estacionarios normalizados, siendo la energía de cada uno de ellos . Es sencillo ver que el hamiltoniano no está definido para ese estado:
Ejemplos
Operador hermítico en dimensión finita
Matriz hermítica A+ := (A*)T= A. Los elementos de la diagonal deben ser reales, por ejemplo:
Es interesante notar que la matriz inversa de una matriz hermítica es también hermítica:
Operadores hermíticos en dimensión infinita
El caso de la dimensión infinita es más complicado ya que un operador hermítico no necesariamente es autoadjunto, a diferencia de lo que sucede en dimensión finita. Como los espacios de Hilbert de la descripción cuántica de los sistemas reales suelen ser de dimensión infinita, el caso de dimensión infinita tiene un interés físico directo.
Un ejemplo bien conocido es el momento lineal en dirección radial, que desde el punto de vista clásico es una magnitud física medible, pero su generalización cuántico es un operador hermítico pero no autoadjunto. Consecuentemente, no existe un experimento cuántico que pueda medir genuinamente el momento radial, al no ser un observable.
Véase también
- Espacio de Hilbert
- Hamiltoniano
- Teorema de Sturm Liouville
Wikimedia foundation. 2010.