Conversión entre funciones de partición continuas y discretas

Estoy un poco confundido acerca de las dos notaciones para funciones de partición, esa es la forma continua

Z = 1 h 3 d pag d r mi β H ( pag , r )

y la forma discreta

Z = i mi β H i .

En primer lugar, ¿cómo es posible pasar de una de estas expresiones a la otra respectiva?

Supongamos que tenemos una sola partícula en una red discreta (cada celda de red con una longitud de sitio de a ) sin energía cinética. Luego podemos usar la segunda expresión y obtener la suma de la partición como

Z = i mi β V i .

con V i la energía potencial ( T i = 0 asumido) en el sitio i y la suma recorre todos los sitios de celosía. ¿Cómo sería la expresión continua?

Z = 1 h 3 ( d pag ) ( d r mi β V ( r ) ) = 1 h 3 ( d pag ) ( i mi β V i a 3 )

y ¿podemos convertir esta expresión nuevamente en una suma para volver a la expresión discreta?

Respuestas (5)

Para un físico, una integral a menudo no es más que una "suma continua". La instrucción X F ( X ) a menudo significa una suma real cuando X se extrae de un conjunto contable, pero una integral cuando X se extrae de un conjunto incontable.

Por lo tanto, no hay "conversión" entre sus expresiones: todas son formas válidas de escribir la función de partición para diferentes tipos de sistemas:

  • Sistema estadístico clásico, un número finito de microestados i { 1 , , norte } con energia mi i : Z = i mi β mi i

  • Sistema estadístico clásico, infinitos microestados continuos dados por puntos ( q , pag ) R 6 norte en el espacio de fase para norte partículas: Z = h 3 mi β H ( q , pag ) d 3 norte X d 3 norte pag .

La integral es simplemente la única forma de obtener algo que se acerque a una "suma sobre todos ( X , pag ) que está matemáticamente bien definido y se comporta de la manera deseada.

Gracias, pero ¿no debería haber una forma de convertir las expresiones, si son consistentes? Supongamos que disminuimos la longitud de la celda de celosía en el ejemplo que expliqué anteriormente, es decir, tomando el límite límite a Z d i s C r mi t mi ¿No debería esto dar de nuevo la expresión continua?
@Guiste No puede "convertirlos" porque son para diferentes sistemas . Por supuesto, en el límite donde el sistema discreto se vuelve continuo, su función de partición debe pasar a la función de partición del sistema continuo. Por desgracia, los detalles de los límites continuos son difíciles y sospecho que uno no puede, de hecho, garantizar esto para todos los sistemas. ¿ Por qué quieres "convertir" estas expresiones?
Tengo problemas con el ejemplo que expliqué a continuación en la pregunta. Tengo una referencia que usa la suma discreta para derivar la función de partición. Sin embargo, me gustaría comenzar con la suma continua debido a razones de suma. Dado que el sistema está en una red, debería ser posible realizar la integral sobre el espacio como una suma sobre los sitios de la red con el peso respectivo (lo he agregado a la pregunta). Esto debería ser entonces comparable a la solución de la referencia que toma directamente la suma discreta...

Buena pregunta. El punto es que la receta de Gibbs:

ρ mi β H ,
Para obtener la distribución de probabilidad de un sistema clásico en equilibrio térmico, debe complementarse con una receta que nos diga cómo debemos contar los estados, de modo que la versión exacta de la receta debería decir:
d PAG ( s ) = mi β H ( s ) d norte ( s ) .
En otras palabras, siempre debemos especificar una medida d norte ( s ) sobre el espacio de estados admisibles S del sistema, para el cual el factor de Boltzmann mi β H ( s ) actúa como una densidad.

Este punto no es del todo trivial. Por ejemplo, la medida canónica d pag d q para un sistema hamiltoniano con coordenadas pag y q tiene la virtud de ser invariante de forma con respecto a la transformación canónica, y es algo intrínseco a la descripción cinemática del sistema (supongo que esta es la razón para llamarlo "canónico"). Por lo tanto, es una buena medida candidata, quizás la única, para contar estados.

Sin embargo, canónico ( pag , q ) -sistema no son los únicos sistemas clásicos que existen. Compare, por ejemplo, lo que Feynman está haciendo aquí para calcular la polarización de un gas de moléculas con un dipolo intrínseco en un campo eléctrico externo. Antes de la ec. ( 1.15 ) , afirma que

[...] número relativo de moléculas con la energía potencial tu es proporcional a"

mi tu k T .

Posteriormente, se especializa al problema en cuestión:

[...] número de moléculas en θ por unidad de ángulo sólido es proporcional a mi tu k T .

Aquí, los estados s son las posibles orientaciones de un vector unitario en el espacio tridimensional, es decir, la esfera unitaria S 2 . La elección natural para la medida es claramente el ángulo sólido d Ω , que refleja la hipótesis de que toda orientación en el espacio debería ser a priori equivalente (o, dicho de otro modo, la existencia del campo eléctrico que da lugar a orientaciones en el espacio no equivalentes debe ser completamente tenida en cuenta por el factor de Boltzmann mi ).

También al contar estados de canónica (es decir, pag , q ) hay una ambigüedad, ya conocida por Gibbs, que surge de la cuestión de cómo contar estados de partículas idénticas, y da lugar a la 1 norte ! factores en la función de partición.

En cualquier caso, todos estos problemas son, hasta donde yo sé, algo académicos, ya que en la mecánica estadística cuántica , la especificación del operador de densidad es completamente inequívoca:

ρ ^ = 1 Z mi β H ^ .
Por lo tanto, uno tiene, al menos en principio, una forma sólida de obtener la medida "clásica" d norte sin entrar en todos estos argumentos (ciertamente manipulativos): uno tiene que elegir la medida de tal manera que reproduzca la función de partición cuántica en el límite de altas temperaturas.


A la luz de esto, creo que lo que está tratando de hacer en su ejemplo específico no tiene mucho sentido, en principio porque su sistema no tiene ningún ( pag , q ) coordenadas Tal vez, podría ver su problema como una aproximación a baja temperatura para una partícula en una red con un potencial de enlace de corto alcance V i en cada sitio, de manera que, debido a la baja temperatura, los únicos estados accesibles son los estados fundamentales de cada potencial.

Esto va a parecer que sale del campo izquierdo, pero lo prometo, ¡es relevante!

Probabilidad y variables aleatorias discretas/continuas.

En probabilidad, es muy común tratar con variables aleatorias continuas . La definición de estos es que tienen una función de densidad de probabilidad , en lugar de probabilidades discretas para cada resultado dado. Entonces la definición es que F es la función de densidad de probabilidad para una variable aleatoria X si por poco Δ X , la probabilidad de que X < X < X + Δ X es dado por F ( X )   Δ X . Esa es la definición.

Entonces podemos sumar todas las probabilidades para obtener una, d X   F ( X ) = 1 , y también podemos comenzar a definir cosas como su rango de expectativas, q ( X ) = d X   F ( X )   q ( X ) . Para practicar un poco con estas ideas antes de continuar:

  1. Demuestre la fórmula abreviada usual para la varianza: que si X ¯ = X y definimos Var [ X ] = ( X X ¯ ) 2 , entonces Var [ X ] = X 2 X 2 .
  2. Dadas dos variables aleatorias, X , Y , tenemos una "distribución conjunta" F ( X , y ) tal que X < X < X + Δ X , y < Y < y + Δ y es dado por F ( X , y )   Δ X   Δ y . Ahora bien, esto podría pasar a ser factorizable como gramo ( X ) h ( y ) en el caso de "variables aleatorias independientes". Demuestra que entonces X Y = X Y .
  3. Para sumar dos variables aleatorias, Z = X + Y , puede convolucionar la distribución conjunta; h ( z ) = d X   F ( X , z X ) . Demuestre que el valor esperado de tal Z es dado por X + Y = X + Y y que para variables aleatorias independientes, Var [ X + Y ] = Var [ X ] + Var [ Y ] .

Bien, ahora que sabes cuál es esta definición, los físicos tenemos una herramienta rudimentaria para usar estas probabilidades continuas para modelar probabilidades discretas. Es una familia de funciones suaves que técnicamente no existen, llamadas "Dirac d -función". En palabras, d ( X ) es un pico infinitamente alto, infinitamente delgado centrado en cero, tal que la integral sobre él es uno. En matemáticas,

tu v d X   F ( X )   d ( X X 0 ) = { F ( X 0 )  si  tu < X 0 < v , F ( X 0 )  si  v < X 0 < tu , 0  de lo contrario.
(Aunque, obtienes un caso indeterminado si tu = X 0 o v = X 0 . )

Por ejemplo, uno de estos puede ser un límite de una integral gaussiana con área unitaria,

d σ ( X ) = 1 2 π σ 2   mi X 2 / ( 2 σ 2 ) ,
y puedes imaginar que hacemos toda la teoría matemática con esta cosa como una función suave ( σ > 0 ) pero al final siempre tomamos un límite σ 0 para obtener las respuestas discretas que esperamos. Sin embargo, hay muchas funciones que se limitan al Dirac. d -función, no son sólo las gaussianas.

Ahora que conoces este truco, todo lo que tengo que decirte es que, digamos, tu dado normal de seis caras tiene una función de densidad de probabilidad,

1 6 [ d ( X 1 ) + d ( X 2 ) + d ( X 3 ) + d ( X 4 ) + d ( X 5 ) + d ( X 6 ) ] .
Y luego si haces ejercicio X obtendrás tu familiar 1 / 6 + 2 / 6 + 3 / 6 + 4 / 6 + 5 / 6 + 6 / 6 = 3.5 expresión, como con todas las demás expresiones.

Conjuntos y distribuciones secretas

Ahora les afirmo que, en secreto , hemos elegido una distribución de probabilidad en el espacio de fases, y eso significa que tenemos... ¡una función de densidad de probabilidad!

Cuando partimos de la mecánica estadística del supuesto de maximización de la entropía, debemos partir de una circunstancia muy particular, y estas circunstancias se denominan "conjuntos". El que tenemos que empezar es el "conjunto microcanónico", dice "hay una caja muy sólida de volumen fijo, no entran ni salen partículas de la caja, no entra ni sale energía de la caja". Y luego, en esta circunstancia particular, decimos que la distribución de probabilidad para un grupo de partículas i es plano sobre el espacio de fase subyacente, F ( X 1 , X 2 , , pag 1 , pag 2 , ) = C . La minúscula constante C ¡Incluso podría tener que limitarse a 0 al final en algunas circunstancias! Pero está bien, lo que realmente queremos decir es que las probabilidades relativas de ver A o B son proporcionales a sus volúmenes de espacio de fase.

Entonces, el hecho de que esto sea constante es la razón por la que no aparece en su primera expresión para la función de partición, pero afirmo que está allí y que la forma genérica es

Z = d D pag   d D X   F ( X 1 , , X D , pag 1 , , pag D )   mi β H ( X 1 , , pag 1 , ) .
La razón por la que no lo está viendo es porque es una constante que se ha sacado de la integral y se ha colocado silenciosamente en la otra parte del cálculo de probabilidad (recuerde que las probabilidades siempre son mi β   H / Z ...).

Si marca una suma de Dirac ponderada uniformemente d -funciones en para F , correspondiente al espacio de probabilidad discreta de "esta cosa puede tener la conformación X o la conformación Y, pero no hay un camino continuo entre las dos), en su lugar obtendrá su segunda expresión, nuevamente con una constante multiplicativa extraída de la definición de por conveniencia.

La siguiente suposición se utiliza en algunos libros de mecánica estadística desde el principio y no está relacionada con el conjunto canónico:

"La fase se puede dividir en partes pequeñas C i cada uno con volumen h 3 tal que H es constante en cada C i y toma valor H i en eso".

Con esta suposición, la fórmula continua se puede simplificar:

1 h 3 d pag d r mi β H = 1 h 3 i C i d pag d r mi β H = i 1 h 3 C i d pag d r mi β H i = i mi β H i 1 h 3 C i d pag d r

C i tiene volumen h 3 es equivalente a C i d pag d r = h 3

Finalmente:

1 h 3 d pag d r mi β H = i mi β H i

Se trata simplemente de aproximar una función continua mediante una función escalonada .

En primer lugar, la expresión de la función de partición en la mecánica cuántica se puede expresar en términos de una integral. La función de partición es

Z = Tr   mi β H .

Esta traza se puede evaluar en cualquier base. En la base donde el hamiltoniano es diagonal escribimos Z = i mi β mi i , dónde mi i son los valores propios de las energías y la suma es sobre todos los estados. Sin embargo, en otras bases, por ejemplo, la X -base vamos a escribir,

Z = d X X | mi β H | X .
Mi punto es que, incluso en la mecánica cuántica, si hicimos el cálculo de forma continua, terminaremos con una forma integral.

Entonces, ahora espero que esté de acuerdo en que la pregunta no es realmente cómo pasar de una forma discreta a una forma continua, sino cómo pasar de una forma mecánica cuántica a la forma clásica. Creo que la forma más fácil de ver esta conexión es formulando una ruta integral a la función de partición y tomando el límite clásico. Esto fue discutido en el libro clásico de Feynman y Hibbs en el capítulo 9 sobre mecánica estadística.