¿Relación entre representaciones de operadores de bosones?

Tengo una pregunta simple (¡creo!) sobre las representaciones de los operadores de bosones y cómo se relacionan. En primer lugar, definamos dos observables conjugados q y PAG (es decir [ q , PAG ] = i y q = q , PAG = PAG ). Si definimos más:

a = α 2 ( q + i α PAG )                         a = α 2 ( q i α PAG )               α C ,
(como en el problema del oscilador armónico) tenemos que [ a , a ] = 1 . Allí podemos identificar a ( ) como operadores de aniquilación (creación) de bosones. Sin embargo también podemos definir:
b = q mi i PAG                                 b = mi i PAG q
que verificará [ b , b ] = 1 (aunque esto requiere un poco más de álgebra).

Pregunta: ¿Existe una relación entre estas dos representaciones? Estos son ejemplos específicos, pero uno probablemente podría pensar en otras representaciones. Dado que estas representaciones implementan las mismas relaciones de conmutación, ¿significa que están relacionadas por alguna transformación (una transformación unitaria en particular)?

(Doy aquí ejemplos específicos para operadores bosónicos, pero supongo que uno puede extender la discusión a cualquier tipo de operador que satisfaga alguna relación de conmutación).

Respuestas (3)

Su representación no estándar no produce una teoría canónica de buen comportamiento.

La forma más evidente y directa de afrontarlo, salvo comentarios teóricos basados ​​en la ausencia de hipótesis rigurosas suficientes para aplicar algún teorema (Stone von Neumann, Nelson, FS^3, Dixmier...), es la siguiente.

Para construir una representación de su teoría bosónica (a) tiene que construir el conjunto ortonormal de estados de números de ocupación { | norte } norte = 0 , 1 , 2 , y (b) tienes que probar que este conjunto es completo (es decir, máximo) ( ).

Por definición, donde C norte 0 es un coeficiente de normalización:

| norte := C norte ( b ) norte | 0 ( 1 )
con:
b | 0 = 0 y 0 | 0 = 1 . ( 2 )
La primera ecuación en (2), haciendo explícita la forma del operador b en el espacio de Hilbert de la teoría, L 2 ( R ) , y escribiendo la ecuación usando la función de onda ψ 0 de | 0 en representación de posición, dice:
X ψ 0 ( X + 1 ) = 0 (Casi en cualquier parte) , ( 3 )
donde he explotado el hecho de que { mi i λ PAG } λ R es la representación unitaria del grupo de X -traducciones.

El único L 2 la solución de (3) es trivialmente:

ψ 0 ( X ) = 0 Casi en cualquier parte.
En consecuencia, la última condición en (2) es insostenible y toda la construcción aborta aquí.


notas al pie

( ) Técnicamente hablando, estos vectores son, en consecuencia, vectores analíticos para todos los operadores involucrados y esto es una garantía para la validez de varias propiedades cruciales, como esencialmente la autoadjunción de las nuevas variables canónicas.

Bien, entonces la teoría no es consistente. Pero todavía no entiendo algo: la representación (1) se puede usar para resolver el problema del oscilador armónico. Sin embargo, usted muestra aquí que la teoría no es consistente... ¿qué está pasando? Además, citemos a PM Dirac sobre el problema del oscilador armónico: "Esto significa que el sistema dinámico que consiste en un conjunto de bosones similares es equivalente al sistema dinámico que consiste en un conjunto de osciladores: los dos sistemas son simplemente el mismo sistema visto desde dos puntos de vista diferentes [...]
(cont.) [...] Hay un oscilador asociado con cada estado de bosón independiente. Tenemos aquí uno de los resultados más fundamentales de la mecánica cuántica, que permite efectuar una unificación de las teorías ondulatorias y corpusculares de la luz.......... Así, un conjunto de osciladores armónicos equivale a un conjunto de bosones en estados estacionarios sin interacciones entre ellos. Si un oscilador del conjunto está en su enésimo estado cuántico, no hay n' bosones en el estado bosónico asociado"
Lo que estoy diciendo es que la representación en términos de estados | norte > tiene sentido si X y PAG son los estándar en L 2 ( R ) o, más débilmente, si hay un operador unitario traduciéndolos a los estándar. Este no es el caso de los nuevos operadores. X y PAG asociado con b y b .
En otras palabras, no todas las transformaciones canónicas clásicas que en la física clásica producen descripciones equivalentes del sistema físico, hacen el mismo trabajo en la física cuántica.
Lo que dice Dirac es cierto cuando a y a están asociados a X y PAG relacionado unitariamente con los operadores estándar de posición y momento en L 2 ( R ) .
Oh, ya veo, las cosas empiezan a tener más sentido para mí ahora. ¿Existe una declaración o teorema que distinga las clases de transformaciones canónicas (es decir, ¿qué transformaciones canónicas conducen a la misma "descripción física" consistente?!)?
Es muy difícil decirlo. En principio, estas trans canónicas. son las que se representan mediante transformaciones unitarias al cuantificar. Y este es un problema muy delicado (matemático Y físico) que debe analizarse caso por caso.
@Moretti Lo que me molesta es que el nuevo conjunto de coordenadas son esencialmente las coordenadas polares del PAG q plano, y se comportan bien en la mecánica clásica. ¿Qué podría salir mal con el procedimiento de cuantificación?
Esencialmente: b y b asociado con X y PAG existen , pero no tienen todas las buenas propiedades de a y a necesario definir "bosones" (como probé, | 0 > no existe). Tendrían estas buenas propiedades si X y PAG eran unitariamente equivalentes al estándar X y PAG . Pero es falso, porque si lo fuera entonces los espectros serían idénticos y sabemos que no pueden: Los espectros son los valores clásicos que alcanzan los observables y el rango de coordenadas polares a las cartesianas son diferentes.
@Moretti Gracias por la explicación. Estoy de acuerdo en que las transformaciones canónicas en mecánica clásica no inducen una transformación unitaria en QM en general. Pero, ¿qué hay de la cuantización? ¿Todavía podemos cuantificar los osciladores armónicos con las "coordenadas polares"?
No entiendo bien lo que significa "cuantificar el oscilador armónico en coordenadas polares". Creo que se está preguntando si existe una forma natural de asociar las coordenadas canónicas (es decir, hamiltonianas) clásicas generalmente locales a los operadores autoadjuntos. La respuesta es que, hasta el momento, no existe , salvo clases muy particulares de coordenadas relacionadas con simetrías (órbitas de acción de grupos).
El problema general es el siguiente. Suponga que la variedad de configuración no es necesariamente R norte , de modo que, por ejemplo, los operadores de momento no están definidos (no hay simetría traslacional) mientras que los operadores de coordenadas, en principio, están definidos. ¿Cuál es la clase básica de observables (me refiero a operadores autoadjuntos , no solo hermitianos o simétricos) que uno puede explotar para construir todos los observables del sistema? Este problema fue estudiado por varios físicos matemáticos encontrando soluciones interesantes.
Véase, por ejemplo, NP LANDSMAN y N. LINDEN, Nuclear Physics B365 (1991) 121-160 o las conferencias de Isham (creo) mencionadas allí.

Solo hay una representación unitaria para el álgebra de operadores bosónicos. Dado un conjunto de operadores de creación y aniquilación,

[ b , b ] = 1 ,

puede definir un conjunto de operadores canónicos de posición y momento,

[ q , PAG ] = i C , [ C , PAG ] = [ C , q ] = 0.

que se conoce como álgebra de Heisenberg. C es el centro de esta álgebra. Solo hay una representación unitaria para el álgebra de Heisenberg (teorema de Stone-von Neumann).

En cuanto a la "nueva representación" que mencionaste, esos ( PAG y q ) son solo variables de ángulo de acción. q en la "nueva representación" es la amplitud de la oscilación, mientras que PAG es aproximadamente el ángulo de fase. Más específicamente (establecer α = 1 ),

q = 2 q porque ( PAG ) ; PAG = 2 q pecado ( PAG ) .

PAG y q son las "nuevas" variables. También forman un par conjugado canónico. Puede verificar esto tanto para osciladores clásicos como cuánticos.

¿Qué quiere decir con variables de ángulo de acción? No asumí nada en esta representación (solo el CCR de q y PAG ).
Me refiero a las variables del ángulo de acción de Jacobi en la mecánica clásica. El nuevo" q y PAG se relacionan con los antiguos a través de una transformación canónica. Para una discusión sobre este tema, vea esto .
¿Puede aclarar un poco lo siguiente: "representante unitario de un álgebra"? -- Yo sé lo que es un representante unitario. es. Sin embargo, era un representante. de un álgebra (en términos simples)?
Por álgebra, me refiero al álgebra de Lie . Debe estar familiarizado con la representación lineal de un grupo finito. Asimismo, se puede hablar de la representación lineal de un álgebra de Lie. Pido disculpas si esto es incompleto, pero realmente se necesitan más de 500 caracteres para explicar qué es una representación de cierta álgebra de Lie.
No entiendo a qué te refieres con cosas como q , ya que el espectro de q incluye el eje real negativo. ¿Quieres decir en su lugar | q | ?
q se define a través de la serie de Taylor alrededor de alguna referencia observable, q 0 decir.
¡No funciona generalmente! Las expansiones de Taylor no conmutan con el procedimiento de cuantización, a menos que se trate de operadores acotados y convergencia uniforme de operadores. Aquí, en cambio, los operadores son ilimitados y la topología permitida es la fuerte. La única posibilidad de obtener algo sensato es el enfoque espectral o el teorema de descomposición polar para operadores normales cerrados ilimitados (ambos relacionados con la topología fuerte).

Sí, sus excitaciones b son conocidas: son estados coherentes modificados , basados ​​en el operador de desplazamiento del espacio de fase óptica.

Para simplificar, tome α = 2, de modo que

q = a + a 2 , i PAG = a a ,
y por lo tanto
b = a + a 2 mi a a = a + a 2 D ( 1 ) , b = mi a a a + a 2 = D ( 1 ) a + a 2   ,
donde el operador de desplazamiento se define como D ( 1 ) = mi a a .

Entonces, evidentemente,

[ b , b ] = a + a 2 D ( 1 ) a + a 2 D ( 1 ) = 1   .
Actuando sobre el vacío de Fock aniquilado por un α diferente al anterior, los operadores de desplazamiento definen el estado coherente D ( α = 1 ) | 0 = | α = 1 , el estado propio del operador de aniquilación, pero no estoy seguro de la deriva del resto de su pregunta.

Ligeras modificaciones de estos mapas son populares en álgebras de osciladores deformados , sección 4.g).