Entiendo que podemos probar que para cualquier proceso que ocurra en un sistema aislado y cerrado debe cumplirse que
vía el teorema de Clausius . Mi pregunta es, ¿cómo puedo probar esto de una manera matemática?
En el contexto de la mecánica cuántica, la entropía de un sistema cuyo estado inicial viene dado por una matriz de densidad viene dada por la llamada entropía de von Neumann ;
Admisión del autor. Siempre me ha molestado un poco el argumento que acabo de darte, no porque crea que es incorrecto, sino porque a la luz de la conclusión que sacamos de él con respecto a los sistemas aislados, ¿por qué la gente no dice que la afirmación más fuerte para sistemas aislados en lugar de . No es que estas sean declaraciones inconsistentes; uno es más fuerte que el otro, por lo que creo que uno simplemente debería afirmar el más fuerte en el contexto de sistemas aislados.
Apéndice. En respuesta a mi "admisión", debo señalar que hay un lindo argumento que he visto para la no negatividad de un cambio en la entropía total (von-Neumann) de un sistema aislado siempre que se defina correctamente la entropía total. Aquí lo tienes.
Supongamos que tenemos un sistema aislado, llamémoslo el universo, descrito por un espacio de Hilbert . Supongamos que este sistema se puede dividir en dos subsistemas y de modo que el espacio de Hilbert combinado se puede escribir . Si la matriz de densidad del universo es , entonces las matrices de densidad de los subsistemas y se definen como trazas parciales sobre ;
Si los sistemas y inicialmente no están correlacionados, luego la entropía total nunca será menor que en el momento inicial.
Prueba. Si los sistemas inicialmente no están correlacionados, entonces, por definición, el operador de densidad total en el tiempo inicial es un producto tensorial . De tomar trazas parciales y usar el hecho de que el operador de densidad es una traza unitaria se deduce que las matrices de densidad de los subsistemas y en el momento inicial son
Sin embargo, siempre he estado algo insatisfecho con este argumento porque (i) asume que los subsistemas originalmente no están correlacionados y (ii) no me queda claro que la definición de entropía total como la suma de las entropías de la densidad reducida operadores de los subsistemas es lo que deberíamos estar llamando cuando escribimos .
Por cierto, este argumento fue robado de las conferencias que tomé: las notas de la conferencia cuántica de Eric D'Hoker .
He aquí un caso especial esclarecedor: Tome cuerpos con temperatura y juntarlos hasta que alcancen una temperatura final . La primera ley de la termodinámica te dice que es la media aritmética de la . La segunda ley de la termodinámica te dice que el cambio en la entropía es dónde es la media geométrica. Es un teorema estándar en matemáticas puras que , por lo que el cambio de entropía debe ser positivo.
Entiendo que podemos probar que para cualquier proceso que ocurra en un sistema aislado y cerrado debe cumplirse que ΔS≥0 vía el teorema de Clausius. Mi pregunta es, ¿cómo puedo probar esto de una manera matemática?
El teorema de Clausius dice que cuando el sistema experimenta un proceso cíclico general durante el cual está conectado a un depósito de temperatura (posiblemente variable) , la integral
Ahora supongamos que nuestro sistema aislado sufre algún proceso irreversible. . El sistema puede sufrir dicho cambio como resultado del cambio en las restricciones internas impuestas, como la eliminación de una pared que separa dos particiones de un recipiente lleno de gas a diferentes presiones. Luego, el sistema se conecta térmicamente a un depósito de calor y se deja que experimente un proceso reversible. .
Durante el proceso irreversible , dado que el sistema está aislado, no hay transferencia de calor y la contribución correspondiente a desaparece
Durante el proceso reversible , en general se puede transferir calor. la integral es así
El cambio de entropía cuando se pasa del estado de equilibrio A al estado de equilibrio B se define como
que es lo mismo que solo con signo contrario. Desde ,
QED.
Pedro Kravchuk
Ana SH