En el contexto de los sistemas clásicos, la entropía de grano fino (o de Gibbs) se define como la funcional:
(1)
Me han dicho ( Wehrl y J. van Lith ) que el teorema de Liouville asegura que esta cantidad es constante bajo una evolución regida por la ecuación de Hamilton. Puedo probar esta afirmación usando la evolución temporal como un cambio de variables en (1), luego usando que el jacobiano de este cambio de variables es 1 (una de las formas del teorema de Liouville):
Mis dudas:
¿Es correcta la prueba que propongo?
Estoy tratando de probarlo derivando en (1) pero no tengo éxito:
que es trivialmente igual a cero sólo en el caso de equilibrio ( ). ¿Alguna idea de por qué esto no funciona?
(Esto es interesante porque implica que ni la evolución hamiltoniana ni la entropía de Gibbs pueden describir una evolución de no equilibrio en la que, según la segunda ley, la entropía termodinámica debería aumentar).
Así que encontré una respuesta a mi pregunta.
1.- Hasta donde yo sé, efectivamente es correcto y serviría para cualquier funcional de la densidad .
2.- Solo tuve que hacer uso del teorema de Liouville: y calcula la expresión:
Integrando por partes:
Entonces
Para asegurar la convergencia: y
Podemos suponer: y
Concluyendo
Ján Lalinský
Javi
Ján Lalinský