Medida de integración invariante de Lorentz [cerrado]

Cuando cuantificamos canónicamente el campo escalar en QFT, usamos una medida de integración invariante de Lorentz dada por

d k ~ d 3 k ( 2 π ) 3 2 ω ( k ) .

¿Cómo puedo demostrar que es invariante de Lorentz?

Hola Ome. Si aún no lo ha hecho, tómese un minuto para leer la definición de cuándo usar la etiqueta de tarea y la política de Phys.SE para problemas similares a la tarea.
@Qmechanic: desconocía la política. He quitado la etiqueta porque no es un hw.
Esto sin duda es tarea. No se sienta degradado por el hecho de que su pregunta sea etiquetada como tal, realmente significa que su pregunta es solo sobre la resolución de problemas. Por cierto, puede mejorar su pregunta mostrando su esfuerzo y haciendo una pregunta conceptual. Su pregunta puede entonces ser reabierta. Si hace eso, solo envíeme un ping aquí, usando "@ DIMension10", y votaría para reabrir. No soy el votante negativo, por cierto.
+1 para esta pregunta y marcando al moderador, por la siguiente razón: "Esta pregunta pertenece a las importantes preguntas y obstáculos conceptuales (así como también técnicos) que generalmente dificultan la comprensión de QFT. ¡Ciertamente es útil para un público amplio! "
Permítanme aclarar ahora por qué esto es de gran importancia conceptual y sutileza: parece en un principio que uno integra en R 3 los espacios vectoriales usuales. Esto tiene sentido, pero primero, no es un subespacio estable de R 4 bajo impulsos y en segundo lugar la medida no sería invariante. (Sugiero que las personas que cerraron la pregunta escriban explícitamente la medida de la imagen). El punto crucial es que se integra en una subvariedad invariante de Lorentz (el conjunto de 4 vectores k m tal que k m k m = metro 2 ). Así que ahora vemos que estamos tratando con la integración de...
una función en una subvariedad de 3 dimensiones de R 4 . La segunda dificultad es que la medida de Lebesgue sobre este último espacio induce una medida sobre la subvariedad. De aquí en adelante, no conozco los detalles matemáticos, pero hay varias visiones: la respuesta a continuación usa la distribución de Dirac y la fórmula d ( F ( X ) ) = X i F 1 ( 0 ) d ( X X i ) F ( X i ) que de por sí ya merece una explicación. La segunda visión es quedarse en el marco de medida, por ejemplo ???-Stietjes medidas.
Para aquellos a quienes les gusta tener una visión general y un poco más abstracta, la pregunta muy natural es cómo encontrar una medida invariante en las órbitas (aquí el hiperboloide de capa de masa) bajo un grupo (aquí Lorentz), órbitas que son subvariedades de algunos colector que está equipado con una medida.
(Falta el valor absoluto en mi fórmula con delta en el comentario anterior²)
enlace _ Posible ref. sobre el aspecto matemático "Un curso sobre integración, Nicolas Lerner" (2014), §5.5 p.238.
La tarea 1.4.7 del libro de Robin Ticciati parece sugerir que esto se puede hacer directamente evaluando el determinante del jacobiano y factorizando Λ adecuadamente. ¿Alguien sabe cómo hacer esto?

Respuestas (1)

Para mostrar que esta medida es invariante de Lorentz, primero debe escribir explícitamente su integral como una integral sobre la capa de masa en el espacio k 4D. Esto podría hacerse insertando la función delta de Dirac d [ k m k m metro 2 ] e integrándose en todo el espacio 4D.

Entonces podrías aplicar las siguientes transformaciones:

θ ( k 0 ) d [ k m k m metro 2 ] = θ ( k 0 ) d [ k 0 2 | k | 2 metro 2 ] = θ ( k 0 ) d [ ( k 0 | k | 2 + metro 2 ) ( k 0 + | k | 2 + metro 2 ) ] = d [ k 0 | k | 2 + metro 2 ] 2 k 0 ,
donde función de Heaviside θ ( k 0 ) se utiliza para seleccionar solo la parte futura de la capa de masa.