Propiedad de hermiticidad de los operadores de "posición" con producto interno de Klein-Gordon

Dado un espacio funcional apropiado H , suponer H 0 ser el subespacio lineal generado por las soluciones de la ecuación de Klein-Gordon y equipar ese subespacio lineal con el producto interno

Φ 1 | Φ 2 = i d X ( Φ 1 0 Φ 2 ) = i d X ( Φ 1 0 Φ 2 Φ 2 0 Φ 1 )

Pregunta: ¿Son entonces los operadores multiplicativos X m hermitiano al actuar sobre ( H 0 , , ) ? Creo que X 0 puede dar algun problema.

Y si X m no son hermitanos, como se puede definir

L m v = X m i v X v i m

como generadores hermíticos de una representación grupal de Lorentz sobre H 0 ?

Finalmente: con una adecuada elección de H , es ( H 0 , , ) un espacio de Hilbert?

El único X m lo que tiene sentido es el operador de Newton-Wigner: Newton, TD; Wigner, EP (1949). "Estados localizados para sistemas elementales". Reseñas de Física Moderna. 21: 400
@DanielC Gracias por el comentario, pero en realidad no estoy interesado en definir un operador de posición, que es un problema bastante complicado en QFT. Me preguntaba si el operador multiplicativo X m (que supongo que estará bien definido aunque no lo esté) son hermíticos dado ese espacio lineal y ese producto interior. Los llamo "operador de posición" solo porque se parecen al operador de posición de la mecánica cuántica no relativista.

Respuestas (1)

En primer lugar H 0 puede tomarse inicialmente como el conjunto de las soluciones KG de la forma

(1) Φ ( X ) = 1 ( 2 π ) 3 / 2 R 3 ϕ Φ ( k ) mi i ( k X X 0 k 0 ) d k 2 k 0
con ϕ en el espacio de funciones de Schwartz y donde
k 0 := k 2 + metro 2 .
Con esta elección vemos fácilmente que
Φ 1 | Φ 2 = R 3 ϕ Φ 1 ( k ) ¯ ϕ Φ 2 ( k ) d k
Por lo tanto, la especificación real de Hilbert es la finalización de H 0 con respecto a dicho producto escalar y es evidente que es isomorfo a L 2 ( R 3 , d k ) .

Con esta definición se ve que X m no es hermítica (no está bien definida ya que su imagen está fuera del espacio de Hilbert: evidentemente X m ϕ ( X ) no es una solución KG si ϕ es en general). Sin embargo L m v es hermtiano (y está bien definido en dicho dominio inicial). Más precisamente, es esencialmente autoadjunto. Para probar la Hermiticidad solo hay que pasar los operadores bajo el signo de integración integrando por partes. El término k 0 , que es una función de k , da una contribución pero todas las contribuciones se anulan entre sí en vista de la estructura de L m v .

ANEXO . Se obtiene una representación equivalente unitaria redefiniendo el espacio de Hilbert usando la medida invariante de Lorentz d k 2 k 0 en lugar de d k , por lo que el espacio de Hilbert es L 2 ( R 3 , d k / 2 k 0 ) .

Con esta opción (1) se reemplaza por

(2) Φ ( X ) = 1 ( 2 π ) 3 / 2 R 3 ψ Φ ( k ) mi i ( k X X 0 k 0 ) d k 2 k 0 .
El mapa unitario que entrelaza los dos espacios de Hilbert es obviamente
L 2 ( R 3 , d k 2 k 0 ) ψ Φ ( 2 k 0 ) 1 / 2 ψ Φ =: ϕ Φ L 2 ( R 2 , d k ) .