¿Cómo obtendría una ecuación de Boltzmann en la teoría cuántica de campos?

Las distribuciones estadísticas del espacio de fase están relacionadas con las funciones de Wigner definidas por:

F ( X , k , t ) = d 3 X ( 2 π ) 3 mi i k X ψ ( X + X / 2 , t ) ψ ( X X / 2 , t ) .

Esta definición es válida solo para la mecánica cuántica no relativista. En la teoría relativista del campo cuántico no puedo usar esta definición, ya que no es invariante de Lorentz. Ahora he visto la función de distribución del espacio de fase (los sombreros denotan operadores)

F ( ϕ , Π , t ) = d 3 ϕ ( 2 π ) 3 mi i Π ϕ < ϕ + ϕ / 2 , t | ϕ ϕ / 2 , t >=< 0 | d ( ϕ ϕ ^ ) d ( Π Π ^ ) | 0 >

Puedo usar el operador de evolución temporal tu ( t , t + T ) = mi i t t + T d t H ( t ) computar F ( ϕ , Π , t ) en otro momento. Después de computar ( F ( ϕ , Π , t + T ) F ( ϕ , Π , t ) ) / T = t F ( ϕ , Π , t ) Puedo obtener una ecuación de transporte similar a la de Boltzmann; ocurrirán integrales sobre la medida de Haar generada por ϕ , Π .

Pregunta: Es conveniente establecer ϕ = mi i k X 2 k 0 V , Π = ϕ t para un estado de partícula en momento k y energía k 0 . ¿Es posible transformar las integrales del espacio de fases en ϕ , Π a integrales de espacio de fase ordinarias que se repiten X , pag (como se utiliza para la física estadística)? ¿Es posible hacer que la medida de Haar sobre campos cuánticos sea una medida de Lebesgue sobre X , pag ?

1. ¿Qué quiere decir con "medida Haar"? Una medida de Haar es una medida invariable en un grupo topológico, ¿cuál es ese grupo topológico aquí? 2. ¿Qué quiere decir con "espacio de fase ordinaria"? La diferencia entre la teoría de campos y las teorías de partículas puntuales es precisamente que el espacio de fase de dimensión finita abarcado por X , pag debe ser reemplazado por un espacio de dimensión infinita atravesado por configuraciones de campo ϕ , π . No hay un "espacio de fase ordinario" en una teoría de campo, ¿cuáles son sus X , pag ¿se supone que es?
Con medida de Haar me refiero a la integral sobre todos los posibles ϕ , Π . puedo transformar d [ ϕ ] d [ Π ] en términos de d 3 X d 3 k ?
Esa no es una medida de Haar (¿dónde leíste que es?), esa medida está incluso en general matemáticamente mal definida (no es que eso impida que cualquier físico la use). repito, en la puesta de campos ϕ ( X ) y π ( X ) , cual es tu k (o pag ) o lo que sea que se suponga que sea?
pag es el momento (denoté también el momento cuántico por k ) y X es la coordenada espacial

Respuestas (2)

Hay dos posibles objetos que puedes estudiar, la función de Wigner (que se reduce a la función de distribución ordinaria) y la funcional de Wigner (que es una funcional en el espacio de campos y sus momentos conjugados).

Para llegar a la cinética ordinaria y la ecuación de Boltzmann estudiamos

W ( X , pag ) = d 4 y Exp ( i pag y ) ψ ¯ ( X + y / 2 ) ψ ( X y / 2 )
y derivar una ecuación de movimiento para W . Para fermiones de Dirac W es una matriz en el espacio de espín. En la teoría de calibre tenemos que poner enlaces de calibre. En las teorías de campos escalares, la matriz de densidad tiene la forma ϕ m ϕ .

Para llegar a la teoría cinética ordinaria tenemos que demostrar que en el límite semiclásico

W ( X , pag ) = A d ( pag 2 metro 2 ) [ Θ ( pag 0 ) F + ( X , pag ) + Θ ( pag 0 ) ( F ( X , pag ) 1 ) ]
dónde A es una matriz de espín ( ( γ pag + metro ) en la teoría de Dirac), y F ± satisfacer la ecuación de Boltzmann. Esto se describe en libros de texto estándar, por ejemplo, de Groot, van Leeuven y van Weert, "Teoría cinética relativista". El resultado es manifiestamente covariante, pero los proyectores en la carcasa aseguran que F ± es sólo una función de pag .

El funcional de Wigner es (para una teoría de campo escalar, donde π es conjugado a ϕ )

W [ ϕ , π ] = d ψ Exp ( i ψ π ) ρ [ ϕ ψ / 2 , ϕ + ψ / 2 ]
dónde ρ es una matriz de densidad en el espacio de campo (ver libros de texto como Calzetta y Hu para definiciones de ρ ). El límite semiclásico de este objeto se puede utilizar para estudiar la termalización de los campos clásicos (que es un tema espinoso).

Sí, lo que está sugiriendo se ha hecho, en las características de la trayectoria de Wigner en el espacio de fase y la teoría del campo , por T Curtright y yo, JPhysA: Math Gen 32 (5).

QFT no necesita ser manifiestamente covariante, ya que es una matriz infinita de osciladores después de todo, por lo que aquí se sacrifica la covarianza manifiesta. No creo que hayas visto la segunda expresión tal como la escribiste, ya que precisamente no tiene la medida funcional [dφ'(x)] en lugar de una integral simple en una variable (recuerda, hay un infinito de φ (x)s, ¡una infinidad de osciladores!), y el producto simple en el exponente debe ser una integral en dx, para reflejar ese infinito... el exponente es un producto escalar de dimensión infinita. Cf. (35) , un funcional

W [ ϕ , π ] = [ d η 2 π ]   Ψ [ ϕ 2 η ] mi i d X η ( X ) π ( X )   Ψ [ ϕ + 2 η ] .

Pero el espíritu de su expresión es esencialmente sólido, y la ecuación de evolución del tiempo es de hecho la ecuación de Moyal del espacio de fase de dimensión infinita , (49), y usted está en su camino. Transformarlo a Boltzmann a través de aproximaciones depende de la naturaleza del hamiltoniano.

Las teorías de campos escalares libres son sopa de pato, (48),

t W = d X ( π ( X ) d d ϕ ( X ) ϕ ( X ) ( metro 2 X 2 ) d d π ( X ) ) W   ,
así que más o menos una especie de rotación rígida funcional; pero las interacciones son un dolor... la razón por la que ya no enseñan mucho la teoría del campo funcional de ondas en la mayoría de los lugares... Una versión de conversación más intuitiva del problema podría ser más amigable para empezar.

Estoy hablando aquí desde la ignorancia completa. Los propagadores de Feynman son una forma de "deshacerse" de los operadores. ¿No es posible simplemente intentar construir una función de distribución a partir de este formalismo?
Sí, donde sea que tengas una infinidad de grados de libertad, terminas con funciones de distribución...