Teorema de Liouville y ecuación de Boltzmann para plasma

Se puede pensar que la ecuación de Boltzmann para un plasma proviene de una ecuación de continuidad en el espacio de fase de 6 dimensiones del plasma con coordenadas { X , y , z , v X , v y , v z } . Así que inicialmente comienzas con algo como

F t + 6 ( F tu 6 ) = 0
Donde el subíndice 6 significa que tenemos las seis coordenadas en el espacio de fase dado anteriormente.

Si trabajamos un poco en esto y asumimos que la fuerza sobre las partículas no es una función de la velocidad (o es la fuerza de Lorentz, a pesar de la dependencia de la velocidad), podemos obtener la ecuación de Boltzmann sin colisiones que está dada por

F t + v F + F metro v F = 0
Dónde v da las derivadas con respecto a las coordenadas de velocidad y F metro = a (Pondré los pasos si alguien pregunta en los comentarios)

Podemos escribir esto como una derivada lagrangiana en nuestro espacio de fase de 6 dimensiones tal que

D F D t = 0
.

Tal como lo entiendo, el teorema de Liouville establece que si tenemos un conjunto en el espacio de fase, evoluciona de tal manera que la densidad de partículas en el espacio de fase permanece sin cambios, es decir

d ρ d t = 0
Que se parece a lo anterior si consideramos que la densidad en el espacio de fase y la función de distribución son iguales (¿cuáles creo que son?).

En general, aunque la ecuación de Boltzmann puede tener un lado derecho distinto de cero si el plasma es colisivo, es decir

D F D t 0

Entonces, mi pregunta es ¿qué tienen las colisiones que impiden que el plasma obedezca el teorema de Liouville? Sé que el teorema de Liouville se usa normalmente para tratar el espacio de fase de los sistemas que son susceptibles a la mecánica hamiltoniana. Entonces, ¿no podemos escribir un hamiltoniano que describa un plasma de colisión?

Me disculpo de antemano si esta pregunta es obvia/totalmente tonta o totalmente mal formulada. Recientemente comencé la teoría cinética y muchos de los conceptos son bastante nuevos.

relacionado, con enlaces a literatura: physics.stackexchange.com/a/693567/226902

Respuestas (3)

Introducción

Definamos la densidad de partículas de especies s en un elemento de volumen, d X   d v , a una hora fija, t , centrado en ( X , v ) como la cantidad F s ( X , v , t ) . Supongo que esta función no es negativa, contiene una cantidad finita de materia y existe en el espacio de tiempos positivos y R 3 y R v 3 , dónde R v 3 es el espacio de todas las velocidades posibles de 3 vectores. Entonces uno puede ver que hay dos maneras de interpretar F : (1) puede ser una aproximación de la verdadera densidad del espacio de fase de un gas (a gran escala en comparación con las separaciones entre partículas); o (2) puede reflejar nuestra ignorancia de las verdaderas posiciones y velocidades de las partículas en el sistema. La primera interpretación es determinista mientras que la segunda es probabilística. Este último fue utilizado implícitamente por Boltzmann. Supongamos que F s ( X , v , t ) F + d F , dónde F es un promedio conjunto de F s y he quitado el subíndice por pereza.

Ecuación de Liouville

Yo sé eso F satisface la ecuación de Liouville , o más apropiadamente, F / t = 0 . En general, la ecuación de movimiento establece:

(1) F t = F [ ( q d q d t ) + ( pag d pag d t ) ] + [ d q d t F q + d pag d t F pag ]
donde he definido el espacio de fase canónico de ( q , pag ) . Si simplifico los términos dA/dt a A ˙ y deja Γ = ( q , pag ) , entonces encuentro:
(2a) F t = F Γ Γ ˙ Γ ˙ F Γ (2b) = Γ ( Γ ˙ F )
donde se puede ver que la última forma se parece a la ecuación de continuidad. Si defino la derivada del tiempo total como:
(3) d d t = t + Γ ˙ Γ
entonces puedo mostrar que la tasa de cambio en el tiempo de la función de distribución está dada por:
(4a) d F d t = F t + Γ ˙ F Γ (4b) = [ F Γ Γ ˙ + Γ ˙ F Γ ] + Γ ˙ F Γ (4c) = F Γ Γ ˙ (4d) F Λ ( Γ )
dónde Λ ( Γ ) se llama el factor de compresión del espacio de fase . Tenga en cuenta que las ecuaciones 4a a 4d son formas diferentes de la ecuación de Liouville, que se han obtenido sin referencia a las ecuaciones de movimiento y no requieren la existencia de un hamiltoniano . Puedo reescribir la Ecuación 4d de la siguiente forma:
(5) d d t en | F | = Λ ( Γ )

Relación con hamiltoniano

Es posible que la mayoría de los lectores no reconozcan las ecuaciones 4d y 5 como la ecuación de Liouville porque generalmente se derivan de un hamiltoniano. Si las ecuaciones de movimiento se pueden generar a partir de un hamiltoniano, entonces Λ ( Γ ) = 0 , incluso en presencia de campos externos que actúan para alejar al sistema del equilibrio. Tenga en cuenta que la existencia de un hamiltoniano es una condición suficiente, pero no necesaria para Λ ( Γ ) = 0 . Para el espacio de fase incompresible, recupero la forma simple de la ecuación de Liouville:

d F d t = 0
Sin embargo, el teorema de Liouville puede ser violado por cualquiera de los siguientes:

  • fuentes o sumideros de partículas;
  • existencia de fuerzas de colisión, disipativas u otras fuerzas que causen v F 0 ;
  • límites que conducen a la captura o exclusión de partículas, de modo que solo partes de una distribución pueden mapearse de un punto a otro;
  • heterogeneidades espaciales que conducen al filtrado de velocidad (p. ej., mi × B -deriva que evita que las partículas con velocidades más pequeñas alcancen el lugar al que habrían llegado si no se hubieran desplazado); y
  • variabilidad temporal en la fuente o en otro lugar que conduce a la observación no simultánea de trayectorias en direcciones opuestas.

Fuente de Irreversibilidad

La irreversibilidad es algo así como un enigma porque surge en gran medida debido a nuestra elección de condiciones de contorno, suposiciones de suavizado (p. ej., grano grueso o teoría del campo medio ) y límites. Por ejemplo, si asumo que una distribución de velocidad de partículas puede representarse mediante una función modelo continua , el uso de una función de distribución continua inserta la irreversibilidad en la ecuación. Se puede argumentar que esto es una sutileza porque es obvio que la irreversibilidad existe en la naturaleza. Sin embargo, creo que es importante porque su pregunta apunta a un problema más profundo.

Si asumiera colisiones de partículas binarias perfectamente elásticas e ignorara las incertidumbres cuánticas, uno podría, en principio, seguir las trayectorias de todas las partículas en un sistema hacia adelante y hacia atrás en el tiempo. No habría irreversibilidad en este modelo, si tuviera computadoras lo suficientemente fuertes. Sin embargo, las colisiones de partículas binarias no son verdaderamente elásticas, por lo que nuestra suposición de elasticidad ha creado una pérdida de información.

Otro punto sutil es que Boltzmann definió a priori su ahora famoso teorema H de tal manera que el tiempo aumentaría en la dirección correcta (es decir, tiempo positivo). Originalmente no relacionó el teorema H con la entropía , esa interpretación vino después (creo que con Gibbs , pero que alguien me corrija si me equivoco aquí).

El punto es que los conceptos de irreversibilidad y entropía están acoplados, pero no necesariamente a través de medios directos. Me inclino a pensar que la irreversibilidad a la que te refieres surge de nuestros métodos para resolver las matemáticas necesarias para modelar sistemas estadísticos dinámicos.

Referencias

  • Evans, DJ "Sobre la entropía de los estados de no equilibrio", J. Statistical Phys. 57 , págs. 745-758, doi:10.1007/BF01022830, 1989.
  • Evans, DJ y G. Morriss Statistical Mechanics of Nonequilibrium Liquids, 1.ª edición , Academic Press, Londres, 1990.
  • Evans, DJ, EGD Cohen y GP Morriss "Viscosidad de un fluido simple a partir de sus exponentes máximos de Lyapunov", Phys. Rev. A 42 , págs. 5990–5997, doi:10.1103/PhysRevA.42.5990, 1990.
  • Evans, DJ y DJ Searles "Microestados de equilibrio que generan estados estacionarios que violan la segunda ley", Phys. Rev. E 50 , págs. 1645–1648, doi:10.1103/PhysRevE.50.1645, 1994.
  • Gressman, PT y RM Strain "Soluciones clásicas globales de la ecuación de Boltzmann con interacciones de largo alcance", Proc. Nat. Academia ciencia USA 107 , págs. 5744–5749, doi:10.1073/pnas.1001185107, 2010.
  • Hoover, W. (Ed.) Molecular Dynamics , Lecture Notes in Physics , Berlin Springer Verlag , vol. 258, 1986.
  • Paschmann, G. y PW Daly "Métodos de análisis para datos de naves espaciales múltiples", ISSI Sci. Rep. Ser. 1 , ESA/ISSI, vol. 1. ISBN: 1608-280X, 1998.
  • Villani, C., Capítulo 2 Una revisión de temas matemáticos en la teoría cinética de colisiones, págs. 71–74, North-Holland, Washington, DC, doi:10.1016/S1874-5792(02)80004-0, 2002.
  • Villani, C. "Producción de entropía y convergencia al equilibrio de la ecuación de Boltzmann", en XIV Congreso Internacional de Física Matemática , editado por J.-C. Zambrini, págs. 130–144, doi:10.1142/9789812704016_0011, 2006.
¡Hola! Una pregunta de principiante no relacionada con el OP. Usted escribe F s ( X , v , t ) . no es X ˙ ( t ) = v ( t ) y por lo tanto con F s realmente nos referimos a la forma explícita F s ( X ( t ) , v ( t ) , t ) ?
Un poco pero ten cuidado. El X y v son variables de la función F s pero no valores de los momentos de velocidad, que pueden ser implícitamente funciones de tiempo y posición. Olvidé el nombre matemático para ellos, pero no son variables que rastrean partículas específicas. Es decir, no es un solo X y v que sigue a una partícula dada en el tiempo. Asumiendo F s , se ha eliminado la discreción del sistema para tratarlo como una distribución de probabilidad que generalmente depende de la posición y la velocidad.
¡Excelente! Si te tengo bien, X y v no son funciones de t . ( X , v , t ) = ( X , y , z , v X , v y , v z , t ) son solo las coordenadas del espacio de 6 dimensiones (7?), es decir R 6 ?
Sí, esa es básicamente la idea. Como vi que alguien más mencionó en un comentario sobre una pregunta que publicaste, F es una distribución de probabilidad con coordenadas especificadas por X , v , y t por lo que no son funciones del tiempo (al menos no en el sentido que le preocupa).

Que se parece a lo anterior si consideramos que la densidad en el espacio de fase y la función de distribución son las mismas (¿cuáles creo que son?)

No son los mismos en general. El hamiltoniano y la descripción cinética (ecuaciones) son fundamentalmente diferentes: la descripción cinética es una descripción aproximada del sistema hamiltoniano e introduce una evolución irreversible, algo que no está presente en la descripción hamiltoniana.

Además, el espacio en la descripción cinética es de 6 dimensiones incluso para un sistema de muchas partículas; pero para norte partículas, descripción hamiltoniana en usos del espacio de fase 6 norte -espacio fase dimensional. Para norte = 2 , 3 , . . . esa es una descripción diferente de la descripción en 6 -espacio dimensional.

El sistema hamiltoniano obedece al teorema de Liouville en 6 norte espacio de fase bidimensional y todavía puede obedecer aproximadamente la ecuación cinética en un espacio de 6 dimensiones.

Cuando se incluye un término de colisión, el volumen del espacio de fase puede cambiar . Si denotamos el término de colisión como

( F t ) C o yo GRAMO L
Entonces el término de ganancia, GRAMO , describe cómo la fracción de partículas en la célula d X d v del espacio de fase (es decir, F d X d v ) aumenta debido a las colisiones de otras partículas en diferentes células. Similarmente, L describe la pérdida de la cantidad F d X d v debido a una partícula en d X d v chocando (y por lo tanto desapareciendo) de esa celda.

La falta de reversibilidad en este caso es lo que lleva a que no puedas usar el hamiltoniano. La ecuación de colisión de Boltzmann no es reversible porque los procesos de colisión son estocásticos . Creo que existe una investigación activa sobre los límites de semicolisión, pero no estoy del todo familiarizado con este subcampo.