En los cursos de Mecánica Cuántica en ocw.mit.edu se dice que cualquier función de onda puede expandirse como una superposición de las funciones propias de cualquier observable, es decir, las funciones propias forman una base propia para nuestro espacio.
Sin embargo, si tomamos una base arbitraria para nuestro espacio, ¿es ese espacio una base propia correspondiente a un observable? En otras palabras, ¿es cualquier base un conjunto de funciones propias de algún observable?
¿Es cualquier base un conjunto de funciones propias de algún observable?
Esto depende de qué es exactamente lo que desea contar como 'observable' y lo que desea descartar.
El primer ejemplo que debe considerar es simplemente el operador de identidad , para el cual cualquier vector distinto de cero es un vector propio con valor propio . (Físicamente, esto corresponde al número entonces, en el mismo sentido que los observables en la mecánica clásica son funciones de posición y momento, el operador identidad corresponde a la función .) Entonces, la respuesta aquí es sí , aunque eso podría requerir lo que algunas personas consideran un observable 'trivial'.
En respuesta a eso, el próximo paso tentador es modificar la solicitud para
¿Es cualquier base un conjunto de funciones propias de algún observable no constante?
que descarta el operador identidad y sus múltiplos.
Una vez que haces eso, la respuesta es no . De la forma en que lo expresó, el conjunto de bases no necesita ser ortogonal, y si la base no es ortogonal, entonces no es posible construir un operador hermitiano con esa base como sus funciones propias, ya que cualquier base propia de un operador hermitiano debe ser ortogonal .
(Eso no es del todo cierto, como sucede, porque puede tener vectores de base no ortogonales dentro de cualquier espacio propio degenerado, pero eso nos devuelve al caso anterior: el observable simplemente actúa como la identidad dentro de ese subespacio. En términos de la pregunta, significa que si la base no es ortogonal pero contiene dos subconjuntos y que son mutuamente ortogonales, entonces puedes construir un observable no constante tal que y para dos numeros fijos y . Una vez más, sin embargo, eso es básicamente una evasión trivial, y no trae nada nuevo que el operador de identidad no haya hecho ya).
Por lo tanto, v2 de la declaración debe corregirse:
¿Es cualquier base ortogonal un conjunto de funciones propias de algún observable no constante?
Aquí la respuesta es sí : dejar sea una base ortonormal contable. (Y sí, debe ser contable si desea tener alguna oportunidad de una solución viable). Entonces existe un operador autoadjunto lineal único que se extiende
Sin embargo, la solución anterior producirá un operador autoadjunto que (aunque está perfectamente bien definido matemáticamente) puede ser completamente inaccesible para cualquier experimento físico imaginable en su sistema, por lo que nuevamente puede verse como no particularmente satisfactorio. La solución a eso es introducir el concepto de un observable físicamente accesible, que se construye comenzando con un conjunto básico (digamos, y ) y luego permitir cualquier combinación lineal, potencias de operadores existentes y conmutadores de operadores existentes. (Esto representa un cambio de pensamiento, que está bien ejemplificado en el cambio entre §2.3.1.b y §3.2.1.a de arXiv:1211.5627 ).
Entonces, con eso, puedes preguntar
¿Es cualquier base ortogonal un conjunto de funciones propias de algún observable físicamente accesible no constante?
y aquí la respuesta es no , hay algunos sistemas perfectamente razonables con espacios de estado perfectamente razonables y álgebras de observables perfectamente razonables, que permiten bases perfectamente razonables que no son bases propias de ningún observable en el álgebra elegida. (Desafortunadamente, sin embargo, no tengo ningún ejemplo concreto a mano. Pero dentro de esa definición estrecha, es una buena pregunta de seguimiento si desea publicarla).
Entonces, ¿cuál es la respuesta? Sí. Y no. Dependiendo de lo que entienda por "base" y por "observable".
En otras palabras, ¿es cualquier base un conjunto de funciones propias de algún observable?
EN general, no, ya que requerimos que los observables físicos tengan ciertas propiedades. Sin embargo, matemáticamente hablando, una función puede expresarse en cualquier base ortogonal, pero eso no significa que la base sea físicamente significativa.
Una función de onda se puede escribir como una combinación lineal de cualquier base bien definida (es decir, es ortonormal) y, por supuesto, en principio se puede definir un operador que corresponda a esa base. Sin embargo , este operador no corresponde necesariamente a un observable físico. Por ejemplo, en el ejemplo del potencial del oscilador armónico, podemos expresar la función de onda del sistema como una superposición de estados coherentes, pero el operador que definiría a partir de los estados coherentes (un operador ascendente o descendente) no representa un observable físico.
Entonces, formalmente hablando, requerimos que los observables físicos sean hermitianos, de modo que su base correspondiente sea ortonormal en algún intervalo y sus valores propios tengan valores reales (por lo que proporcionan valores esperados de valores reales). Este es un axioma de la teoría de la mecánica cuántica.
Probablemente no, pero puede depender de lo que entiendas por observable.
Cualquier operador hermitiano tendrá un conjunto básico completo de funciones propias. Se ha encontrado que algunos operadores hermitianos están asociados con observables. Se requiere que los operadores que representan observables sean hermitianos porque deben tener valores esperados reales.
Cualquier suma lineal de operadores hermíticos también sería hermítica, y si estuviera compuesta por observables, esa cantidad también podría observarse. No estoy seguro de cómo probar que el conjunto de posibles estados de bases completas es más grande que el conjunto que podría construir a partir de sumas lineales arbitrarias de observables existentes, pero probablemente pueda probarlo.
qmecanico