Documente Academic
Documente Profesional
Documente Cultură
Son parcial-
mente tomadas de estos textos y no han sido editadas, son sólo las notas para
dar las clases. Se recomienda enfáticamente el uso de los textos en los que ellas
están basadas.
D. Chandler, Introduction to modern Statistical Mechanics, Oxford UP,
1986.
R. K. Pathria, Statistical Mechanics, Butterworth-Heninemann, Oxford,
1997.
L. D. Landau and E. M. Lifschits- Statistical Physics- Part 1. Butterworth-
Heninemann, Oxford, 2003.
R. Kubo, Statistical Mechanics, Interscience- 1965.
K. Huang: Statistical Mecahnics, J. Wiley & Sons- 1987
1
La distribución estadı́stica no debe depender de las condiciones iniciales porque
en un tiempo suficientemente largo la trayectoria deberı́a ocupar en forma simi-
lar el espacio de fases. La determinación de esta distribución es el problemna que
queremos resolver. Para calcular el valor medio de cualquier variable dinámica
f (p, q) usamos que
Z Z T
1
< f >= f (p, q)ρ(q, p)dqdp = lim f (t)dt
T →∞ T 0
2
estudiar como es que este ensemble evoluciona en el tiempo. Cada uno de los
miembros del ensemble se moverá de acuerdo a las ecuaciones de movimiento
del sistema (i.e. ecuaciones de Hamilton). Tienen que moverse de tal forma que
en cualquier instante la densidad siga siendo ρ(p, q). como el número de puntos
se debe mantener constante debe satisfacer una ecuación de continuidad, i.e.
podemos definir una velocidad que nos indica cuanto varı́a cada una de las 6N
coordenadas como función del tiempo y escibir
6N
X
∂ρ ∂ρ ∂
+div(ρv) = 0 y para flujo estacionario = 0 o equivalentemente (ρvi ) = 0
∂t ∂t i=1
∂x i
En esta ecuación los xi = qi o pi y las vi las q̇i o ṗi . de tal forma que podemos
escribir
X3N · ¸ X3N · ¸ · ¸
∂ ∂ ∂ρ ∂ρ ∂ q̇i ∂ ṗi
(ρq̇i ) + (ρṗi ) = q̇i + ṗi +ρ + =0
i=1
∂qi ∂pi i=1
∂qi ∂pi ∂qi ∂pi
3
1.4 Evaluación de la probabilidad a partir de los macroes-
tados y dispersión de nmedio
Para ganar un poco de experiencia vamos a ver que información podemos sacar
sobre la función de distribución f (q, p) que describe a cada una de las partı́culas
en una situación donde podamos considerar que las partı́culas no interactuan
entre sı́. El método que vamos a usar es un poco la idea central de la ME. Estu-
diaremos un sistema de partı́culas que están en una caja y que no interactuan
entre sı́. Para simplificar el problema vamos a dividir el espacio de fases al que
puede acceder cada partı́cula en volúmenes finitos (de tamaño ω) de tal forma
que vamos a tener un número K de cajas en el espacio de una partı́cula. Dentro
de cada caja endremos ni partı́culas y cada caja P tendrá una P
energı́a asociada
con ella ( εi ). Por supuesto deberemos exigir ni = N y εi ni = E. La
función de distribución que habı́amos calculado antes se podrá escribir ahora
como fi = nωi
Dar un macroestado del sistema es dar un conjunto {ni }. Cada macroestado
puede ser formado de una cantidad de formas distintas. (dar el ejemplo de tres
bolitas en dos cajas) y esta cantidad nos da información sobre que porción del
espacio de fases de 6N − 1 dimensiones ocupa ese macroestado. ¿De donde
viene la multiplicidad? Dado que las partı́culas son clásicas, son distinguibles
y el número de disitintas configuraciones que podemos armar son N ! (son las
formas de ordenar N objetos). de los cuales los primeros n1 están en la primera
caja, los siguientes n2 en la segunda etc. Supongamos que en la primera caja
tenemos las partı́culas 1,7,21. Es claro que en otra de las permutaciones vamos
a tener 7,1,21 y también 7,21,1; 1,21,7; 21,1,7 y 21,7,1. Estas seis permutaciones
de las tres partı́culas corresponden al mismo macroestado ( que 1,7 y 21 estén
en la primera caja) y por lo tanto el número real de microestados que está en
el macroestado definido por {ni } será
N!
Ω({ni }) =
n1 !n2 !......nK !
Nos va resultar conveniente por razones de cálculo usar una función que es
equivalente (cuando hagamos las cuentas haremos los gi = 1) que es
N!
Ω({ni }) = g n1 g n2 .......gK
nK
n1 !n2 !......nK ! 1 2
A los fines de los contajes es interesante recordar la fórmula del binomio, i.e.
X N! X µN ¶
(a + b)N = an bN −n = an bN −n y en general es
n
(N − n)!n! n
n
X N !
(a1 + a2 + ... + ak )N = an1 an2 ......aN
r
−n1 −n2 −...nr−1
n1 !n2 !.......(N − n1 − n2 − ... − nr−1 )! 1 2
{ni }
4
Para que se entienda de que estamos hablando hagamos dos cajas con seis
Na 0 1 2 3 4 5 6
bolitas. Los posibles valores de Na y Nb son Nb 6 5 4 3 2 1 0 Hay
# 1 6 15 20 15 6 1
que recordar que si hay cinco bolitas en la caja uno es lo mismo 12345 que 13245
i.e. el órden no importa. Con esta forma uno puede ver cual es el número total
de estados (están indicados en la tabla) y el total es 26
Es evidente que cada distribución {ni } ocupa un volumen distinto del espacio
de fases Γ ( el de 6N − 1) dimensiones. Vamos a suponer que el estado que
observamos macroscópicamente corresponde al que ocupa más espacio de fases
(los números estos son tan grandes que la diferencia entre el que más ocupa y
el siguiente son números al menos de órden de N ). ¿Cómo podemos hacer para
encontrar el set {ni } que hace máxima a Ω({ni }) imponiendo las condiciones
auxiliares que el número de partı́culas y la energı́a se conserven (al menos en
media)? Para encontrar la condición de máximo es mas conveniente usar el
ln Ω({ni }) que es una función mas manejable. Para calcular ese ln tenemos que
recordar la fórmula de Stirñling: ln M ! = m ln M − M y por lo tanto
K
X K
X
ln Ω({ni }) = N ln N − ni ln ni + ni ln gi
i=1 i=1
³ X X ´ XK
δ [ln Ω({ni })]−δ α ni + β εi ni = [(− ln ni + 1) + ln gi − α − βεi ] δni = 0
i=1
El valor que obtenemos para ni será < ni > y es < ni >= gi exp [−α − βεi − 1]
lo cual nos da para fi = C exp [−βεi ] donde las constantes C y β son deter-
minadas pidiendo que el número de partı́culas y la energı́a tengan los valores
apropiados.
p2
Si usamos para εi = 2m vemos que la distribución que obtenemos es la de
MB. Para verificar que lo que hemos Pobtenido es un máximo podemos calcular
K 2
la segunda variación, que nos da − i=1 n1i (δni ) < 0
Nos queda sin embargo una duda y es cuan probable es el máximo y cuanto
influyen los otros sets de {ni }
La probabilidad de cada set estará dado por
Ω({ni })
P ({ni }) = P
{ni } Ω({ni })
donde sólo consideramos los sets con el buen número de partı́culas y buena
5
energı́a. El valor medio de ni sobre todos los miembros del ensemble será
P
{n } ni Ω({ni })
<< ni >>= P i
{ni } Ω({ni })
y lo que queremos calcular es cuanto vale << n2i >> − << ni >>2 , i.e. la
fluctuación en el número de partı́culas.
Para calcular << n2i >> y << ni >> vamos a usar los gi . Es claro que
h P i
∂ ∂
∂ X gi ∂gi gi ∂gi {ni } Ω({n i })
<< ni >>= gi ln Ω({ni }) y << n2i >>= P
∂gi {ni } Ω({ni })
{ni }
Para escribir << n2i >> de una forma conveniente tenemos que jugar un poco.
Es
· ¸ µ ¶
2 ∂ 1 ∂ X ∂ 1 ∂ X
< < ni >>= gi P gi Ω − gi P gi Ω=
∂gi Ω ∂gi ∂gi Ω ∂gi
· X ¸ · 1 ¸2
∂ ∂ ∂ X ∂
= gi gi ln Ω + P gi Ω = gi << ni >> + << ni >>2
∂gi ∂gi Ω ∂gi ∂gi
(si hay algún problema con la cuenta notar que
µ ¶2
∂(1/f ) ∂f 1 ∂f
− = 2
∂x ∂x f ∂x
Tenemos como resultado para las fluctuaciones que (recordar que al final hay
que hacer gi = 1)
∂
<< n2i >> − << ni >>2 = gi << ni >>
∂gi
Si las fluctuaciones son pequeñas esperamos que << ni >>=< ni >= gi exp [−α − βεi − 1]
y por lo tanto será
r r n r
2 2 n2i ni 2
< Ni > 1
<< ni >> − << ni >> ≈< ni > o << 2 >> − << 2 >> ≈ 2
N N N N
2 Microcanónico
Vamos ahora a considerar un sistema que tiene la energı́a, el número de partı́culas
y el volumen bien definidos. Vamos a suponer que dado que la energı́a es una
constante la densidad tiene dos opciones
µ ¶
ρ = constante si E < H(p, q) < E + ∆
ρ = 0 si esta fuera de esa capa
Vamos a hacer un ensemble tal que todos los miembros están en esa capa y ocu-
pan el mismo volumen y tienen el mismo número de partı́culas. Si consideramos
6
una variable dinámica f (q, p) los valores que vamos a medir de f pueden darnos
en principio dos valores diferentes
a) el valor que tienen f sobre los miembros del ensemble que son más
númerosos
b) el valor de f que se obtiene tomando el promedio sobre el ensemble, i.e.
R
f (q, p)ρd3N pd3N q
< f >= R
ρd3N pd3N q
2 2
Vamos a ver que las fluctuaciones, i.e. <f <f
>−<f >
>2 << 1 lo cual implicará que
ambos tipos de promedios coinciden.
La conexión con la termodinámica la hacemos vı́a la entropı́a que está rela-
cionada con el espacio en el volumen del espacio de fases Γ que ocupa el estado
definido por E, V, N.
Vamos a definir tres cantidades relacionadas con el volumen del espacio de
fases ocupado por el sistema:
Z
Γ(E) = d3N pd3N q = f (N, V, E, ∆);
E<H<E+∆
Z
Σ(E) = d3N pd3N q ⇒ Γ(E) = Σ(E + ∆) − Σ(E) = ω(E)∆
H<E
dΣ
i.e. ω(E) =
ZdE
notar que es Σ(E) = Γ(E)dE
El término más grande de la suma estará asociado con Γ1 (Ē1 )Γ2 (Ē2 ) de tal
7
forma que
E1
Γ1 (Ē1 )Γ2 (Ē2 ) < Γ(E) < nΓ1 (Ē1 )Γ2 (Ē2 ) = Γ1 (Ē1 )Γ2 (Ē2 ) ⇒
· ¸ ∆
£ ¤ E1 £ ¤
k ln Γ1 (Ē1 )Γ2 (Ē2 ) < k ln [Γ(E)] < k ln + k ln Γ1 (Ē1 )Γ2 (Ē2 )
∆
8
∂E
Para evaluar esta integral usamos que por un lado ∂x i
= 0 y por lo tanto
Z Z
∂H ∂ (H − E)
dpdqxi = dpdqxi
H<E ∂x j H<E ∂xj
Z Z
∂xi (H − E)
= dpdq − δij dpdq (H − E)
H<E ∂xj H<E
9
2.3 Gas ideal
Uno de los pocos sistemas para el cual podemos evaluar el volumen del espacio
de fases es el gas de partı́culas libres. El hamiltoniano es
N
1 X 2
H= p
2m i=1 i
y será Z
1
Σ(E) = dqdp
h3N H<E
Introduje h porque sabemos que en MC cada estado usa un volumen h del
espacio de fases. La integral
√ sobre los q puede ser hecha directamente y nos da
V N . Definamos R = 2mE , podremos entonces escribir
µ ¶N µ ¶N Z
V V
Σ(E) = Ω3N (R)= dp1 dp2 ....dp3N
h3 h3 p21 +p22 +..+p23N <R2
10
h iN
3/2
.de tal forma que podremos escribir Σ(E) = C3N hV3 (2mE)
· ¸
V 3
S(E, V ) = k ln Σ(E) = N k ln 3 + N k ln(2mE) + k ln C3N
h 2
Usando la expresión asintótica que obtuvimos para el C3N nos da finalmente
" µ ¶3/2 #
4πm E 3
S(E, V ) = N k ln V + Nk
3h2 N 2
Esta expresión la podemos dar vuelta y obtener E(S, V ) que si la explı́citamos
se puede escribir como
· ¸
3h2 N 2 S
E(S, V ) = exp − 1
4πm V 2/3 3 Nk
Vemos que podemos calcular explı́citamente la temperatura, i.e.
µ ¶
∂E 2 E 3
T = = ⇒ CV = N k
∂S V 3 Nk 2
La ecuación de estado nos da lo que esperamos
µ ¶
∂E 2E
P =− =
∂V S 3V
Es importante hacer notar que la expresión que obtuvimos para la entropı́a no
es la apropiada por que esta sujeta a la paradoja de Gibbs, hemos obtenido una
S que es del tipo N k ln V y no N k ln V /N como deberı́a haber sido. Esto nos
hace poner una regla ad-hoc para el cálculo del Σ(E) que se llama el ”contaje
correcto de Boltzman. Hay que reemplazar
Z Z
1 1
Σ(E) = 3N dqdp por ΣCB (E) = dqdp
h H<E N !h3N H<E
cuando hagamos cuentas con el microcanónico. Esto nos darı́a para la entropı́a
la expresión correcta, i.e.
" µ ¶3/2 #
V 4πm E 3
S(E, V ) = N k ln + Nk
N 3h2 N 2
Hay un resultado que hemos obtenido y que vale la pena remarcar. En general
tenemos S(N, V, E) pero en el caso que hemos estudiado la energı́a y el volumen
aparecen siempre mezclados como V 2/3 E i.e.S = S(N, V 2/3 E) y por lo tanto a
número de partı́culas constantes las adiábaticas estarán dadas por V 2/3 E = cte.
Un segundo aspecto que vale la pena notar es mirar que nos habrı́a dado si en
lugar de usar lnΣ(E) hubiésemos usado lnΓ(E). Era por definición
½ µ ¶ ¾
∂Σ 3 Σ 3
Γ(E) = ∆ = N ∆ ⇒ ln Γ = ln Σ + ln N + ln ∆
∂E 2 E 2
ln N
' ln Σ dado que lim =0
N →∞ N
11
2.4 Sistema de dos niveles
Hay contados sistemas que son posibles de ser descriptos por el microcanónico
y vale la pena estudiarlos con cariño. Uno de ellos es el sistema de dos niveles
con energı́as 0 y ε donde colocamos N partı́culas. Las posibles energı́as son
0, ε, 2ε, ......., N ε y el primer problema es estudiar cuantos estados hay de cada
energı́a. La cuenta es la misma que que hicimos para las dos cajas con seis bolas
¡yNel¢ número N!
de estados
¡ N para
¢ n partı́culas en el nivel de arriba es directamente
n = n!(N −n)! = N −n como ya habı́amos visto en el caso de las dos cajas.
¡N ¢ ¡ ¢
Tenemos entonces que Σn = n y por lo tanto S = k ln Σ = k ln N n . Esto
puede ser evaluado usando la fórmula de Stirling
h n n i
ln Σ = N ln N − (N − n) ln(N − n) − n ln n = N ln N − (1 − ) ln(N − n) − ln n =
· ¸ · N N¸
n n N n n
= N ln N − ln(N − n) − ln = N ln − ln
N (N − n) (N − n) N (N − n)
Conviene definir una varible nueva x = n/N con lo que podemos escribir
· µ ¶ µ ¶¸
1 x
ln Σ = N ln − x ln = N [−x ln x − (1 − x) ln(1 − x)] = N f (x)
1−x 1−x
Es interesante mirar el aspecto que tiene S/kN. Está función esta definida so-
lamente para 0 ≤ x ≤ 1 y vale cero en los dos extremos. Es también simétrica
respecto del intercambio de x ¿ (1 − x)
df
Nos interesa calcular donde tiene el máximo. Si impongo dx = − ln x +
ln(1 − x) = 0 obtengo x = 1/2 como era de esperar y e ese punto es f (1/2) =
− ln(1/2) ' .6932
Notemos que x = E/ (N ε) de tal forma que si queremos calcular la temper-
atura que es
· ¸
1 1 dS df dx 1 df 1 1−x 1
= =N = = ln . Llamaré β =
kT k dE dx dE ε dx ε x kT
de tal forma que podemos escribir
1−x 1 Nε
exp [βε] = ⇒x= y E = mε = N εx =
x 1 + exp [βε] 1 + exp [βε]
Es interesante graficar x como función de βε y βε como función de x
12
Notemos que para β → 0 el calor especı́fico va a cero, y para β → ∞ también
va a cero lo cual implica que tiene un máximo en algún punto en el medio. Para
obtener ese punto debemos mpooner
dCV exp [βε] 2 exp [βε] 2 exp [βε]
∝ 2β 2 +β ε 2 − 2β ε 3 =0
dβ (1 + exp [βε]) (1 + exp [βε]) (1 + exp [βε])
· ¸ · ¸
βε βε βε
i.e. 2 + βε − 2 = 0 ⇒ coth = ⇒ [βε] ' 2.4
(1 + exp [βε]) 2 2
Este pico es el llamado pico Schottky y estará presente toda vez que las en-
ergı́as que pueden tomar los estados esten acotados (por ejemplo en sistemas
magnéticos o núcleos).
Notar que hay un efecto interesante y es que hay dos energı́as caraterı́sticas
: kT y ε . Dependiendo de la relaciones entre ellos tenemos diferentes compor-
tamientos
(M + N − 1)!
ΩM =
M !(N − 1)!
La evaluación de la entropı́a es directa. Es
S = k ln ΩM = k [(M + N ) ln(M + N ) − M ln M − N ln N ]
y por lo tanto
· µ ¶¸ " à !#
1 dS dS dM k M +N k M + N2 + N2
= = = ln = ln =
T dE dM dE ~ω M ~ω M + N2 − N2
" Ã !# · ¸
E 1 E 1
k N + 2 ~ω N + 2 ~ω ~ω
= ln E 1
⇒ E 1
= exp lo cual nos da
~ω N − 2 ~ω N − 2 ~ω
kT
" #
1 ~ω
E=N ~ω + £ ~ω ¤
2 exp kT − 1
13
Es importante calcular el calor especı́fico que se obtiene de esta expresión. Vimos
dβ
que dT = − kT1 2 de donde sacamos
µ ¶2 £ ~ω ¤
dE dβ dE ~ω exp kT
CV = = = Nk ¡ £ ~ω ¤ ¢2
dT dT dβ kT exp kT −1
3 Ensemble canónico
Queremos un ensemble que nos sirva para describir un sistema que esta en
equilibrio térmico con uno mas grande, es decir utilizar variables V, N y T
en lugar de V, N y E. Para esto necesitamos introducir un segundo sistema
(baño térmico) y evaluar cual es la probabilidad que este en dq1 dp1 estándo
en cualquier parte en el espacio 2 pero que las energı́as sean tales que E =
Ē1 + Ē2 siendo Ē2 >> Ē1 (esta es la idea de baño térmico). La probabilidad
será directamente el volumen del espacio de fases en 1 ∗ Γ(E2 ), i.e. Prob∝
dq1 dp1 Γ(E2 ) ³ ´
∂S2
Sabemos que k ln Γ(E2 ) ' S(E2 ) = S(E − E1 ) = S(E) − E1 ∂E2 =
E=Ē2
S(E) − ET1 y por lo tanto será
£ E ¤
Prob∝ exp − kT 1
dq1 dp1 = exp [−βH(p, q)] dpdq con β = 1/kT
La suma sobre las probabilidades de todos los estados nos debe dar uno y
esta es la forma de obtener la constante que relaciona la probabilidad con la
exponencial. Resulta útil definir la función de partición
Z
1
QN = d3N qd3N p exp [−βH(p, q)]
N !h3N
Para sistemas cuánticos los estados quedan etiquetados por la energı́a y
podemos hacer el análogo del caso clásico si definimos
exp [−βEn ] X
ωn = P con la función de partición definida como QN = exp [−βEn ]
n exp [−βEn ] n
14
Por un lado esto nos garantiza que sea una variable extensiva, i.e. si considero
dos sistemas que no inteactuan tendremos que QT = Q1 ∗ Q2 ⇒ A = A1 + A2
Por otro lado recordemos
¡ ¢ la relación entre A y la energı́a interna.
¡ ∂A ¢Es A = E−
T S donde S = − ∂A ∂T V , es decir podemos escribir E = A − T ∂T V . Supong-
amos que la función de partición se puede escribir como exp [−A(V, T )] .En ese
caso deberá ser
Z
1
d3N qd3N p exp β [A(V, T ) − H(p, q)] = 1
N !h3N
Si derivo esta expresión respecto de β obtengo que
µ µ ¶ ¶ Z Z
∂A 1 3N 3N 1
A+β d qd p exp β [A(V, T ) − H(p, q)]+ d3N qd3N p H exp β [A(V, T ) −
∂β V N !h3N N !h3N
µ µ ¶ ¶
∂A
= A+β − Ē(V, T ) = 0
∂β V
³ ´ ¡ ∂A ¢ ³ dT ´ ¡ ∂A ¢ ³ ´ ¡ ¢
Es ∂A
∂β = ∂T V ∂β = − β
k
2 ∂T V y por lo tanto β ∂A
∂β = −T ∂A ∂T V
V V
de donde obtenemos
µ ¶
∂A
A−T = Ē ⇒ A = Ē(V, T ) − T S
∂T V
Todas
¡ ∂A ¢las otras variables
¡ ∂A ¢ termodinámicas salen directamente de A, i.e. P =
− ∂V T
, S = − ∂T V
y de ellas podemos calcular G = A∗P V y H = A+T S.
Supongamos que las partı́culas no interactuen entre ellas y que además sea
H = K(p) + U (q). En este caso para cada partı́cula podremos calcular la proba-
bilidad como dwp = a exp [−βK(p)] y dwq = b exp [−βU (p)] . Usando partı́culas
libres (i.e. U (q) = 0) obtenemos nuevamente la distribución de Maxwell-
Boltzmann.
Otro resultado igualmente importante es que si tenemos N moléculas que
no interactuan será directamente QN = N1 ! (Q1 )N
Es importante recordar la cuenta que hicimos antes respecto del estado mas
probable del sistema tal que en media la energı́a y el número de partı́culas fuesen
los correctos. Las probabilidades que obtuvimos en ese caso coinciden con lo
que da el ensemble canónico.
Es útil, para familiarizarnos con la evaluación de la función de partición y
ver que las distintas descripciones nos dan lo mismo evaluarla para el gas ideal.
En este caso
Z · ¸ µ ¶N
V p2 3p V 3/2 1 V 3/2
Q1 = 3 exp −β d = 3 [2πmkT ] ⇒ QN = [2πmkT ]
h 2m h N ! h3
· µ n o3/2 ¶ ¸
N h2
y por lo tanto será A = −kT ln QN = N kT ln V 2πmk − 1 que es lo
mismo que habı́amos obtenido
h en el microcanónico, en particular sacamos para
¡ ∂A ¢ V
¡ 2πmk ¢3/2 5 i
S = − ∂T N,V = N k ln N h2 + 2 y para la energı́a E = A + T S =
3
2 kT
15
3.1 Oscilador armónico
2 exp [β~ω]
CV = N k (β~ω) 2
(exp [β~ω] − 1)
16
que para nuestra tranquilidad es lo mismo que habı́amos obtenido en el micro-
canónico. Es interesante reescribir la función de partición usando la expanción
binomial. Es útil recordar que
X∞ µ ¶
n n−m
(1 − x)−m−1 = x
n=m
m
17
3 2
Nµ
L(x) ' x3 − x45 + que nos da para el momento magnético Mz (0) = 3 x = N3µ βH.
Es decir que la dependencia con el volumen viene del cambio de los niveles de
energı́a con el mismo. Por otro lado es el trabajo que se realiza (a T, Pn y N
constantes) es el cambio de energı́a interna.
Es interesante escribir la entropı́a en términos de las probabilidades. Es
Pn = Q−1 exp − [βEn ] y por lo tanto
18
Esta expresión nos permite entender por ejemplo el tercer principio . A tem-
peraturas próximas a cero el único estado que interesa es el fundamental del
sistema (debido a la aparición de −βEn en la probabilidad de ocupación). Si el
estado fundamental es único o tiene una degeneración pequeña D que no sea del
órden de C N nos da una entropı́a que o es cero o es de órden lnD que cuando
lo dividimos por N es equivalente a cero.
Por otro lado vemos que esta expresión también es la misma que usamos
en el microcanónico. Si en el µ-canónico tenemos Ω estados equiprobables será
Pn = 1/Ω y por lo tanto
XΩ µ ¶
1 1
S = −k ln = k ln Ω!!!
r=1
Ω Ω
gn exp − [βEn ] X
Pn = P y QN (V, T ) = gn exp − [βEn ]
n gn exp − [βEn ] n
Para sistemas macroscópicos los En son básicamente continuos (se puede cal-
cular que la distancia entre los niveles va como exp(−αN ) de tal forma que es
útil tener una expresión para la probabilidad que el sistema este alrededor de
la energı́a E definiendo
Z
g(E) exp − [βE] dE
P (E)dE = R ⇒ QN (V, T ) = g(E) exp − [βE] dE
g(E) exp − [βE] dE
19
3.5 Fluctuaciones de la energı́a
La energı́a se puede calcular como
R Z
Hdpdq exp [−βH]
E= R ⇒ (E − H)dpdq exp β(A − H) = 0
dpdq exp [−βH]
Si derivo esta expresión respecto de β obtengo
Z Z
∂E ∂A ∂E
+ (E−H)(A−T −H)dpdq exp β(A−H) = 0 es decir + (E−H)2 dpdq exp β(A−H) = 0
∂β ∂β ∂β
La evaluación del valor de expectación de (E − H)2 nos permite escribir
∂E ∂E
< H 2 > −E 2 = − = kT 2 = kT 2 CV
∂β ∂T
Ahora bien, el órden de < H 2 >∝ N 2 , E 2 ∝ N 2 y CV ∝ N !!! de tal forma que
las fluctuaciones son de órden √1N , este es el motivo por el que los resultados
obtenidos con este ensemble coinciden con los obtenidos en el microcanónico.
Es interesante calcular las fluctuaciones de otra forma que pone de manifiesto
en forma más explı́cita la dependencia en N. Es
Z Z
1
QN = dqdp exp [−βH] = dEω(E) exp(−βE)
N !h3N
Z
= dE exp(−βE + ln ω(E)) y como ln ω(E) = S/k
Z
QN = dE exp −β(E − T S)
es decir que la distribución de energı́as tiene una dispersión que es la misma que
habı́amos encontrado antes, i.e.
p
∆E = 2kT 2 CV
20
3.6 Distribución de probabilidades para el oscilador armónico
¿Cual es la distribución
P de probabilidades para un HO?. Consideremos el hamil-
toniano H = i ( 12 p2i + 12 ω 2 qi2 ). Hemos obtenido que clásicamente es
· 2 2¸ r
ω q ω2
dPq = A exp − dq con A =
2kT 2πkT
¿Qué pasa en el caso cuántico?
Las energı́as son En = (n + 1/2)~ω y si está en el enésimo estado la dis-
tribución de probabilidad es |ψn |2 .
Si el sistema esté en equilibrio térmico será
X
dPq = adq exp − [βEn ] |ψn (q)|2
n
y el problema es evaluar esta suma. El trick para evaluar esta suma es usar que
dρ
dPq = ρq dq y tratar de evaluar a dqq y de allı́ obtener ρq . Es (recordemos que
para el oscilador podemos hacer ψn (q) real)
dρq X dψn (q) 2ai X
= 2a exp − [βEn ] ψn (q) = exp − [βEn ] ψn (q) p̂ ψn (q)
dq n
dq ~ n
Para el oscilador p̂ ψn (q) = (pn−1,n ψn−1 + pn+1,n ψn + 1) = −iω (qn−1,n ψn−1 − qn+1,n ψn+1 )
y por lo tanto
dρq 2aω X
= exp − [βEn ] ψn (q) (qn−1,n ψn−1 − qn+1,n ψn+1 )
dq ~ n
21
Hay dos lı́mites que son particularmente ilustrativos
a) ~ω >> kT. En este caso la tgh vale 1 y obtenemos que α = ω~ con lo que
el resultado que obtenemos es la función de onda del estado fundamental del
HO!! lo cual nos muestra la imposibilidad de excitar al HO.
b) ~ω << kT. En este caso convienen estudiar la probabilidad en la rep-
resentación de momentos (i.e. transformar Fourier). Da una gaussiana con el
ancho que corresponde, i.e.
s µ ¶ · µ ¶ ¸
1 β~ω 1 β~ω
dPq = tgh exp − tgh p2
π~ω 2 ~ω 2
³ ´
Cuando ~ω << kT. será tgh β~ω 2 ' β~ω
2 y por lo tanto
r · 2¸
β βp
dPq = exp −
2π 2
es decir MB!!!
Esto nos da
" µ ¶3 #N " µ ¶3 #
1 N 1 kT kT
QN = Q = 8πV ⇒ A = −kT ln QN = −N kT ln 8πv
N! 1 N! hc hc
¡ ∂A ¢
Para la ecuación de estado obtenemos P = − ∂V N,T
= N kT d dV
ln V
= NVkT es
decir obtenemos la misma ecuación de estado
³ que para´ los gases
³ ideales.
´ Sin
∂ ln QN ∂ ln β
embargo para la energı́a obtenemos E = − ∂β = 3N ∂β =
N,V N,V
3N kT es decir nos da el doble que para los gases clásicos no relativistas. Esto
implicará una relación distinta entre P y E. Es ahora P = 13 VE
Finalmente obtenemos para
µ ¶
∂A £ © ª ¤
µ= = kT ln n(β~c)3 + 2 ln π
∂N T,V
22
Podrı́amos haber obtenido los mismos resultados usando el GC. Es
" #N " ¶3 # " ¶3 #
X 1 zV µ kT ¶3 µ
zV kT
µ
zV kT PV
Q= 2
= exp 2
⇒q= 2
=
N! π ~c π ~c π ~c kT
N
³ ´
∂q
Eliminamos como siempre z de la ecuación que define N = z ∂z =
h ¡ ¢3 i h i V,T
2 3
q = zV 2
kT
⇒ z = NVπ (β~c)3 i.e. βµ = ln n (β~c) + 2 ln π o µ =
£ ©π ~c 3 ª ¤
kT ln n(β~c ) + 2 ln π . La ecuación de estado nos queda (dado que q = N )
P V = N kT
4 Gran canónico
Dividimos el sistema en dos, uno pequeño, el otro grande (el grande sirve de
baño térmico y baño respecto al intercambio de partı́culas). Usamos la misma
idea que en el caso del canónico, i.e. dP1 = Γ2 (N2 , E2 )dp1 dq1 y calculamos el
ln Γ2 , i.e. (recordar que dE = T dS − P dV + µdN ⇒ ∂E ∂S
= 1/T y ∂N∂S
= Tµ )
µ ¶ µ ¶
∂S2 ∂S2
k ln Γ2 (E − E1 , N − N1 ) = S2 (E, N ) − E1 − N1 =
∂E2 E,N ∂N2 E,N
S2 (E, N ) − E1 /T + µ1 N1 /T
y por lo tanto
" Ã !#
£ ¤ α X
d q + N̄ α + Ēβ = β dN̄ + dĒ − β Pr,s dEr,e
β r,s
23
³P ´
Ya habı́amos hecho el reconocimiento en el canónico de −β r,s Pr,s dEr,e =
DL y es por otro lado µ = − α y β = 1/kT (⇒ α = −µ/kT ) de donde obten-
£ ¤ β
emos que d q + N̄ α + Ēβ = βDQ = k1 dS
será por lo tanto
S T S + µN − E
q= − αN − βE =
k kT
Dado que µN es la función de Gibbs (G = E − T S + P V ) lo que obtenemos es
q = βP V lo cual nos da el link con la termodinámica que andábamos buscando.
Podremos entonces escribir para la gran función de partición que
· ¸
PV
Q = exp
kT
24
4.1 Fluctuaciones de densidad en el gran canónico
En forma similar a como hicimos las cuentas en el canónico uno encuentra que
∂ ∂
< N 2 > − < N >2 = z z ln Q
∂z ∂z
dado que
∂
P N P 2 N µP ¶2
∂ ∂ ∂ ∂z z QN N z QN N z N QN
z z ln Q =z z P N = −
∂z ∂z ∂z z QN Q Q
Esto nos da que las fluctuaciones en número de partı́culas van como N (es el
mismo argumento que usamos para las fluctuaciones
¡ ¢ de la energı́a en el canónico
y no serán importantes excepto cuando ∂P ∂v T = 0 que es lo que ocurre en las
transiciones de fase de primera especie (las que encontramos por ejemplo en la
transición gas-lı́quido o lı́quido-sólido)
25
Cuando las fluctuciones de densidad son pequeñas W (N ) está picado
furtemente
√ alrededor de N̄ dado que hemos demostrado que el ancho es del
órden de N y por lo tanto podemos reemplazar Q ' Z N QN y por lo tanto
escribir
A(N̄ , V, T ) = kT ln z − kT ln Q =µ − kT ln Q (z, V, T )
y z debe ser eliminado a partir de la definición de N̄ = z ∂∂ ln Q
26
4.3 Relaciones termodinámicas
Nos tiene que quedar claro que el potencial quı́mico es definido a partir de los
cambios del potencial de Helmholtz ( o Gibbs) con el número de partı́culas a
V y T constantes (o a P y T constantes), i.e. dA = −SdT − P dV + µdN o
dG = −SdT + V dP + +µdN lo cual implica que dE = T dS − P dV + µdN
En general si µ es positivo va a tender a llevar a N a valores mas pequeños
para disminuir la energı́a. Tenemos las relaciones de Maxwell
µ ¶ µ ¶
∂A ∂G
µ= =
∂N T,V ∂N T,P
Es útil para empezar a tener un poco de idea de cuanto vale obtener el potencial
quı́mico para un gas ideal. Teniamos en el canónico
· ¸N r r
1 N 1 V h2 2π~2
QN = Q1 = 3
con λ = =
N! N! λ 2πmkT mkT
3 zV
z = βP λ y q = 3
λ
³ ´ ¡ zV ¢
∂q λ3
Eliminamos z de la definición de N = z ∂z = λ3 = q ⇒ z = v i.e.
V,T
3 3 3
βµ = ln(nλ ) o µ = kT ln(nλ ). La ecuación z = βP λ nos da la ecuación de
estado i.e. n = βP o N kT = P V
27
permite calcular la gran función de partición en forma muy simple (como ya lo
hemos estado haciendo previamente),i.e.
X zN N
Q= (V f ) = exp [zV f (T )] ⇒ q = zV f (T )
N!
N
lo cual nos da formas muy simples para las ecuaciones que debemos usar en el
GC:
df (T )
P = zkT f (T ); N = zV f (T ) = q ; E = zV kT 2 ; A = N kT ln z − zV kT f (T );
· ¸ dT
df (T ) 1
S = −N kT ln z + zV k T + f (T ) y tenemos la relación P V /E = d ln f
dT T dT
Esto nos da una relacción simple entre la presión y la densidad de energı́a (es
T ddT
ln f
= n)
1E
P =
nV
que nos hace ver el resultado obtenido para el gas relativista en un marco más
general. (para el gas clásico es n = 3/2 y para el gas relativista n = 3)
El próximo problema que vale la pena considerar es lo que pasa para sistemas
localizados no interactuantes (por ejemplo el caso que vimos de los HO). En este
caso será QN (V, T ) = (Q1 (V, T ))N pero debido a que las partı́culas están local-
izadas Q1 deberá ser independiente del volumen total ocupado por el sistema
(la integral espacial dependerá de como dependa el potencial con la coordenada
pero no del volumen total) y por lo tanto poderemos escribir Q1 = Φ(T ) es
decir es una función sólo de la temperatura. Esto nos da para la gran función
de partición
X N 1
Q= [zΦ(T )] = ⇒ q = − ln [1 − zΦ(T )]
1 − zΦ(T )
N
28
lo cual nos permite obtenr la termodinámica en forma simple, i.e.
µ ¶
q kT ∂q zΦ(T )
P = =− ln [1 − zΦ(T )] ; N =z = ;
βV V ∂z T,V 1 − zΦ(T )
µ ¶ µ ¶ µ ¶
∂q z dΦ(T ) zkT 2 dΦ(T )
E = =− =
∂β z,V 1 − zΦ(T ) dβ z,V 1 − zΦ(T ) dT z,V
µ ¶
N kT 2 dΦ(T )
=
Φ(T ) dT z,V
A = −kT [q − N ln z] = kT ln [1 − zΦ(T )] + N kT ln z
µ ¶
∂q
S = (E − A)/T = −kT − N k ln z + kq
∂T z,V
µ ¶
zkT dΦ(T )
= − N k ln z − k ln [1 − zΦ(T )]
1 − zΦ(T ) dT z,V
De la ecuación que define a N obtenemos zΦ(T ) = NN+1 ' 1 − 1/N (dado que
N >> 1)y por lo tanto 1 − zΦ(T ) ' 1/Ṅ Las ecuaciones entonces se simplifican
a µ ¶
2 d ln Φ(T ) ln N
E/N = kT ; A/N = O( ) − kT ln Φ(T )
dT z,V N
Podemos verificar la bondad de estas fórmulas para el caso del HO. Si uso
Φ(T ) = (β~ω) −1 obtenemos los resultados que habı́amos sacado para el os-
h ³ ´i−1
cilador armónico clásico. Si usamos Φ(T ) = 2 sinh β~ω
2 salen los resulta-
dos del HO cuántico.
¡ ∂P ¢
4.5 Equivalencia entre canónico y GC cuando ∂V N,T
=0
¡ ∂P ¢
La condición ∂V N,T = 0 corresponde a la zona de transición entre dos fases
(lı́quido a gas por ejemplo en Van der Walls) y es lo que uno llama una tran-
sición de fase de primer órden. El motivo por el que hay grandes fluctuaciones
es porque en esa zona el sistema está compuesto por dos fases de diferentes
densidades. El número de partı́culas en un dado volumen depende de cuantas
partı́culas están en cada fase. Lo que queremos ver es como tenemos que hacer
para que el canónico y el GC nos den descripciones similares del sistema en esa
zona. Las dos preguntas
P que queremos responder son, dado
Q (z, V, T ) = N z N QN (V, T ) donde QN es la función de partición para un
sistema fı́sico.
a) Para un dado valor de z existe un N tal que Q (z, V, T ) ' z N QN (V, T )
b) Dado cualquier valor positivo para N , existe un valor apropiado para z?
Vamos a suponer que estamos estudiando a temperatura constante un sis-
tema que tiene dos caracterı́sticas importantes (que corresponden a los sistemas
fı́sicos que nos interesan):
29
a) el potencial de interacción entre las moléculas tiene un carozo duro y es
de rango finito
b) La energı́a de Helmholtz se puede entonces¡escribir
¢ como A = −kT ln QN =
∂A
−kT V f (v) con f (v) finita. Dado que P = − ∂V N,T
podremos escribir que
R
β v 0 0
f (v) = v v0 P (v )dv donde la integral se hace a lo largo de una isoterma y v0
es en principio arbitario (asociado con una cte. en A) Notar que esto implica
df
que P = β1 (v dv + f)
¡ ∂P ¢ ³ 2 ´
∂ f
Suponemos que f (v) es tal que ∂V N,T
≤ 0 ⇒ ∂(1/v)2 ≤ 0 (notar que
df
R v 0 0 β dv
R v 0 0
d(1/v) = β v0 P (v )dv + v P (v) d(1/v) = β v0 P (v )dv − βvP (v) y la derivada
segunda nos da βv 2 P (v) + βv 3 dPdv(v) − βv 2 P (v) = βv 3 dPdv(v) ). La gran función
de partición se puede escribir como
X X X · ¸ X
1
Q= z N exp [V f ] = exp [V f + N ln z] = exp V (f + ln z = exp [V φ(v, z)]
v
N N N N
Rv
donde φ(v, z) = f (v)+ v1 ln z = 1
ln z + βv
P (v 0 )dv 0 Debido a la condición que
v v0 ³ 2 ´
∂ φ
satisface la segunda derivada de f respecto a 1/v tenemos que ∂(1/v) 2 ≤0y
³ 2 ´ ³ ´
esto implica que ∂∂vφ2 + v2 ∂φ∂v ≤ 0
En la suma sobre N en la gran función de partición existe un N máximo
=N0 (cuando llenamos con esferas duras) y es N0 = aV de tal forma que la
GFP es un polinomio de órden N0 . Sea la más grande de las contribuciones
exp[V φ0 (v, z)] podemos entonces acotar
· ¸
1 ln aV
exp [V φ0 (v, z)] ≤ Q(z, V ) ≤ N0 exp [V φ0 (v, z)] ⇒ lim ln Q(z, V ) = φ0 (v, z)+
V →∞ V V
Sea v̄ el ³valor
´ donde φ(v, z) tiene el máximo valor (para un dado z). Será
∂φ
entonces ∂v = 0 y además estamos seguro que es un máximo (porque deberá
³ 2 ´ v̄ ³ ´
∂ φ
ser ∂v2 ≤ 0). Notar que ∂φ ∂v = 0 se puede escribir como
v̄ v̄
Z v Z v
β β 1
− P (v 0 )dv 0 + P (v̄)− 2 ln z = 0 ⇒ P (v 0 )dv−(v̄ − v0 ) P (v̄)−v0 P (v̄) = −kT ln z
v2 v0 v v v0
Significa que para cualquier v̄ mayor que el de close packing existe una
solucción para z!!! Existe un valor de z (z0 ) para todos los valores de los
Rvolúmenes
v1 0
que esten en el intervalo v1 ≤ v̄ ≤ v2 y que vale ln (z0 ) = βv1 P (v1 ) −
0
v0
dv βP (v )
30
Comportamiento de W(N)=zN QN Habı́amos visto que en general es posi-
ble reemplazar toda la serie por el término más importante. Ahora es W (N ) =
exp [V φ(v, z)] donde la dependencia en N esta metida en z. Supongamos que P
tiene el aspecto del dibujo de la transición de fase de primer órden, en la zona
entre v1 ≤ v̄ ≤ v2 es P = P0 y tenemos para
·Z v ¸ µ ¶
1 0 1 z
φ(v, z) = βP (v )dv + ln z − βv1 P0 +βP0 = ln +βP0 si v1 ≤ v ≤ v2
v v0 v z0
Esto nos permite tener una idea cualitativa del comportamiento de φ como
función de v que se muestra en la figura. Hay que notar que φ(v, z) no puede
tener mı́nimos por lo que tendra el aspecto del dibujo.
El comportamiento de W (N ) muestra que fuera de la región donde P = P0
hay un N que domina y la función W (N ) es muy picada, en la región de P = P0
hay grandes fluctuaciones y z = z0 .
Z v
1 ∂F
QN (V ) = exp [V F (v)] con F (v) = dv 0 βPcan (v 0 ) ⇒ βPcan (v 0 ) = F (v)+v
v v0 ∂v
1
Si defino Φ(v) = F (v) + v ln z se ve que
∂ 2 Φ 2 ∂Φ β ∂Pcan
2
+ =
∂v v ∂v v ∂v
que sera ¿0¡ si ¢(a¡v¡b) y ≤ 0 fuera de esa región. Sabemos que en la realidad
∂P
siempre es ∂V N,T
≤ 0 pero cuando hacemos las cuentas en el canónico lo que
obtenemos puede no satisfacer esta condición debido a las aproximaciones que
hemos hecho.
Demostramos antes que
1
lim ln Q (z, V ) → Φ(v̄, z) donde Φ(v̄, z) =Max [Φ(v, z) ]
V →∞ V
lo cual determina v̄ en términos de z. Esta ecuación significa que βPgc = Φ(v̄, z).
Que Φ(v, z) tenga un máximo impone como condición que ∂Φ(v̄,z) ∂v = ∂F
∂v −
31
1
v2 ln z = 0. Si sustituimos ∂F ∂v en la expresión de Pcan vemos que obtenemos
βPcan (v 0 ) = F (v)+ v1 ln z = βPgc . Es decir cuando hay un máximo bien definido
¡ ∂P ¢
(que corresponde además a la condición ∂V N,T
< 0 para que Φ(v, z) tenga un
máximo)
³ ´ los dos ensembles dan el mismo resultado. Por otro lado la condición
∂Φ(v̄,z)
∂v = 0 se puede escribir como
v̄
Z v̄
dv 0 Pcan (v 0 ) − v̄Pcan (v̄) = . − kT ln z
v0
Existe un valor de z (z0 ) donde hay dos raı́ces tales que Φ(v1 , z0 ) = Φ(v2 , z0 )
i.e. que se satisface
Z v1 Z v2
dv 0 Pcan (v 0 ) − v1 Pcan (v1 ) = dv 0 Pcan (v 0 ) − v2 Pcan (v2 ) = . − kT ln z0
v0 v0
y además debe ser Pcan (v1 ) = Pcan (v2 ) (dado que βPcan (v) = Φ(v, z)) por lo
que podemos escribir
Z v2
dv 0 Pcan (v 0 ) = (v2 − v1 )Pcan (v1 )
v1
implica que la función Φ(v, z) tiene dos máximos que tienen distinta altura
(cuando tengamos dos máximos para el mismo valor de z elegiremos el que nos
de una mayor función, i.e. una mayor presión). Por otro lado será
Z vB
dv 0 Pcan (v 0 ) = vA Pcan (vA ) − vB Pcan (vB )
vA
Supongamos que Pcan (vB ) < Pcan (vA ).Consideremos un punto C tal que
Pcan (vC ) = Pcan (vA ), será
Z vA
dv 0 Pcan (v 0 ) < (vA − vC )Pcan (vA )
vC
32
y restando la anterior nos queda que
Z vB
dv 0 Pcan (v 0 ) < vB Pcan (vB ) − vC Pcan (vA ) < (vB − vC ) Pcan (vB )
vC
que está mal. Debe entonces ser Pcan (vB ) > Pcan (vA ) ⇒ Φ(vB , z) > Φ(vA , z)
con lo quepodemos tirar el pedazo punteado al cual pertence el punto A. Se
puede hacer el mismo razonamiento para el otro pedazo punteado con lo que
obtenemos que el gran canónico no tiene un volumen posible en ese intervalo.
Podemos sin embargo llenar la horizontal con P0. Notar que en general este tipo
de problemas están asociados con como hacemos el cálculo, cual fue el modelo
que usamos que puede darnos resultados irrazonables.
5 Deudas interesantes
donde Ē es la energı́a media de los sistemas. Vimos que existı́a una gran canti-
dad de formas de relabelear los sistemas a la cual llamamos W ({nr }) y habı́amos
encontrado que se podia escribir este número como
M!
W ({nr }) = g n0 g n1 ....
n0 !n1 !... 0 1
donde los gi eran introducidos para calcular valores medios y al final podı́an ser
hechos iguales 1.
Buscamos la distribución más probable y encontramos que era posible obtener
una expresión para los nr más probales como
n∗r exp [−βEr ]
=P
M r exp [−βEr ]
P
E exp[−βE ]
y β se obtenı́a de pedir que Ē = P r r r
y reconocimos a β = 1/kT.
r exp[−βEr ]
Después estudiamos los valores medios
P0 de los < nr > que eran expresables a
partir de la función Γ(M, Ē) = W ({nr }) donde la suma primada querı́a
decir que se debian satisfacer los dos vı́nculos. En términos de Γ habı́amos
escrito < nr >= gr ∂g∂ r Γ(M, Ē) y tuvimos que hacer un detour para poder
llegar a que los dos valores medios eran similares vı́a las fluctuaciones. Ahora
33
queremos evaluar explictamente < nr > para lo cual introduciremos una función
generatriz siguiendo el método de Darwin y Fowler. Sea
∞
X ∞ X
X 0
M!
G(M, z) = Γ(M, Ē)z M Ē = (g0 z E0 )n0 (g1 z E1 )n1 .......
n0 !n1 !...
Ē=0 Ē=0 {nr }
P P
Si nr = M (y dado que por construcción es nr Er = M Ē) esta expresión
es la expansión del multinomio, i.e
M
G(M, z) = (g0 z E0 + g1 z E1 + .......)M = [f (z)]
Podermos elegir la unidad de energı́a de tal forma que todas las Er (y por lo
tanto M Ē) sean enteros. En este caso Γ(M, Ē) es el coeficiente de z M Ē en la
expansión de G como función analı́tica de z. Esto nos permite escribir
M
1 [f (z)]
Γ(M, Ē) = dz
2πi z M Ē+1
donde la integral la hacemos sobre un camino que contiene al origen. Vamos a
considerar que las energı́as están ordenadas i.e. 0 = E0 ≤ E1 ≤ E2 .... En ese
caso f (z) = 1 + z E1 + z E2 + ... es una función monótona creciente que tiene un
cierto radio de convergencia R. Sobre el eje real por otro lado el denominador
nos genera una función monótona decreciente y el producto tendra un mı́nimo
en x = x0
La función f es analı́tica para todo z por construcción y por lo tanto el
integrando I(z) es analı́tico en todo z excepto en el origen. Que sea analı́tico
implica que satisface las condiciones de Cauchy. Si z = x + iy las condiciones
de Cauchy son
− = P E − = 0 ⇒ Ē = P E
f dz z x0 r x0 x0 r
³ 2 ´ ³ 2 ´
y por otro lado ∂ ∂x I(z)
2 = M dx d g
2 exp [M g(x0 )] → ∞ para valores
x=x0 x=x0
de M grandes. Tenemos entonces que es un mı́nimo muy pronunciado (en x)
y también un máximo muy pronunciado (en y) de tal forma que en la integral
sobre el camino cerrado sólo contribuirá la zona próxima al eje real. Expandimos
34
el integrando alrededor de x0 con lo que será g(z) = g(x0 ) + 21 (z − x0 )2 g 00 (x0 )
y por lo tanto
· ¸
1 exp [M g(x0 )] 1
Γ(M, Ē) = dz exp [M g(z)] = dz exp M (z − x0 )2 g 00 (x0 )
2πi 2πi 2
Poniendo z − x0 = iy obtenemos
Z · ¸
exp [M g(x0 )] ∞ 1 2 00 exp [M g(x0 )]
Γ(M, Ē) = dy exp − M y g (x0 ) = p ⇒
2π −∞ 2 2πM g 00 (x0 )
1 1
ln Γ(M, Ē) = g(x0 ) − ln [2πM g 00 (x0 )]
M 2M
Para M → ∞ (o muy grande) el segundo término es irrelevante pero lo vamos
a mantener. ³ 2 ´ ³ ´2
Era g(x0 ) = ln f (x0 )− Ē ln x0 y g 00 (x0 ) = f (x1 0 ) ddxf2 + xĒ2 − f 2 (x
1
0)
df
dx
³ 2 ´ x0 0 x0
Dado que f’/f= Ē/z nos queda g 00 (x0 ) = f (x1 0 ) ddxf2 − Ē(E−1)
x 2
x0 0
y por lo tanto
1 X 1 £ ¤
ln Γ(M, Ē) = ln gk exp [−βEk ]+β Ē−− ln 2πM exp(2β) < (E − Ē)2 >
M 2M
Si usamos ahora que < nk >= gk ∂g∂k ln Γ y < n2k >= 1 ∂ ∂
Γ gk ∂gk gk ∂gk Γ obtenemos
35
¿Cómo cambia esto si la molécula se puede excitar? Debemos multiplicar a
Q1 por la contribución que nos provean esas excitaciones, i.e. definir
X
Q01 = Q1 gn exp [−βEn ] = Q1 Z
n
donde los gn son las degeneraciones que tiene los distintos niveles internos.
Podemos evaluar en forma muy simple la contribución de los grados de libertad
internos a las distintas funciones termodinámicas, i.e.
∂
Aint = −N kT ln Z ;µint = −kT ln Z; Sint = N k(ln Z + T ln Z);
½ ¾ ∂T
∂ ∂ ∂
Eint = N kT 2 ln Z ; (CV )int = Nk T2 ln Z
∂T ∂T ∂T
El primer punto que notamos es que no tiene sentido estudiar los gases a tem-
peraturas tales que kT sea del órden de la energı́a de ionización (porque nos
desaparece el sistema simple). Para tener una idea de que estamos hablando
para los alcalinos Eion /k ' 5 ∗ 104 o K y para el He es Eion /k ' 28 ∗ 104 o K
Para que valga la estadı́stica de Boltzman uno necesita que las ocupaciones
de los distintos estados sean chicos. La ocupación de cada estado esta dada por
nk = exp (µ−ε kT
k) µ
<< 1 es decir alcanza con requerir que exp kT << 1 y dado que
3 3
es µ = kT ln(nλ ) esto implica que nλ << 1 que es la condición que habı́amos
visto que era necesario imponer (y que calculamos valı́a en gases normales a
temperatura ambiente) cuando hicimos la teorı́a cinética de tal forma que en
condiciones normales se puede aplicar. Tenemos que tener en claro que a bajas
temperaturas (o altas densidades) vamos a tener problemas y deberemos usar
las estadı́sticas cuánticas.
Si el estado fundamental del sistema tiene momento angular será Z =
(2J + 1), si existen excitaciones con P energı́as comparables a kT con momento
angular Jn deberemos hacer Z = n (2Jn + 1) exp [−βEn ]
Las energı́as de excitación atómicas suelen ser del órden de eV lo cual corre-
sponde a temperaturas elevadas (recordar que k ' 1/12000 eV/o K) por lo que
en general no apareceran (excepto cuando sea importante la estructura fina que
da energı́as del órden de kT )
Vamos a mirar con un poco más de cuidado gases diatómicos. Nuevamente
las temperaturas tienen que ser menores que las energı́as de disociación (para
tener una idea Edis /k para varias moléculas diatómicas; H2 ' 52.000 o K, N2 '
85.000 o K; Cl2 ' 29.000 o K; N O ' 61.000 o K; CO ' 98.000 o K). Voy a
considerar el caso en que el estado fundamental no tiene ni spin ni momento
angular orbital y que la molécula esta hecha de distintos átomos (sino la simetrı́a
del problema hace que algúnos estados desaparezcan)
La energı́a de una molécula diatómica consiste básicamente de tres partes
independientes: la parte de los electrones, las vibraciones y las rotaciones. Las
energı́as de excitación de los niveles electrónicos son en general del órden de
magnitud de las energı́as de disociación y por lo tanto nos podemos olvidar de
ellas a temperaturas normales. Para cada nivel electrónico uno puede escribir
36
para la energı́a
1 ~2
EνK = ε0 + (ν + )~ω + K(K + 1)
2 2I
donde ν nos da el número de cuantos vibracionales, K es el momento angular
de rotación y I es el momento de inercia (I ' mm11+m m2 2
r con r0 la distancia de
2 0
equilibrio de los dos núcleos)
La función de partición Z se factoriza en tres partes (si puedo sumar inde-
pendientemente sobre cada uno de los grados de libertad), i.e.
X · ¸
1
Z = exp [−βε0 ] Zvib Zrot con Zvib = exp − (ν + )β~ω y
ν
2
X · ¸
~2
Zrot = (2K + 1) exp − K(K + 1)β
ν
2I
K; N O : 2.4o K; HCl : 15.2o K̇. Notar que con excepción del H2 no son gases
a esa temperaturas de tal forma que una aproximación decente es reemplazar
la corrección por una clásica , pasar de la suma a una integral, i.e.
Z ∞ µ ¶
l(l + 1)~2 2I
Zrot = (2l + 1) exp − dTrot = kT ∗ 2
0 2IkT ~
2I
⇒ Arot = −N kT ln T − N kT ln y podemos calcular
~2
∂ ln Zrot ∂ ln T
Erot = − = kT 2 = kT ⇒ crot = k
∂β ∂T
2
~
Existe un rango considerable de temperaturas donde kT >> 2I y donde todavı́a
el grado de libertad vibracional no se abrió de tal forma que tendrı́amos cv = 25 k
; cp = 72 k
~2
Otro caso que es simple es cuando kT >> 2I . En ese caso Zrot ' 1 +
³ 2 ´ ³ 2 ´2 ³ 2 ´
~2
3 exp − I kT ⇒ Arot = −3N kT exp − I kT y crot = 3N k I ~kT
~
exp − ~I kT
37
con lo que a bajas temperaturas este grado de libertad no participa y el calor
especı́fico es como el de un gas monoatómico. El dibujo muestra el resultado de
hacer la cuenta correctamente para los valores intermedios de kT 2I
~2
38
6 Ensembles en mécanica cuántica
Consideramos N sistemas idénticos (N >> 1) con el mismo hamiltoniano H.
Sea ψ k (r, t) (represento por r las coordenadas de todas las partı́culas) para el
k-simo miembro del ensemble. Satisface
∂ k X X
Hψ k (r, t) = i~ ψ (r, t) con ψ k (r, t) = akn (t)φn con |akn (t)|2 = 1
∂t n n
k
con
R ∗losk φn autofunciones de algún operador hermiteano. Por supuesto an (t) =
φn ψ (r, t)dτ con dτ el elemento de volumen del espacio del sistema. La
variación con el tiempo de los coeficientes akn (t) esta dado por
Z Z Z ( )
X X
k ∗ k ∗ k ∗ k
i~ȧn (t) = i~ φn ψ̇ (r, t)dτ = φn H ψ (r, t)dτ = φn H am (t)φm dτ = Hnm akm (t)
m m
39
Finalmente el valor de expectación de cualquier operador dinámico será
N Z N
1 X 1 X k
< G >= ψ k∗ (r, t)Ĝ ψ k (r, t)dτ = am (t)ak∗
n (t)Gnm
N N
k=1 k=1,nm
h i
1
N
X h i tr ρ̂Ĝ
= ρmn (t)Gnm = tr ρ̂Ĝ = dado que tr [ρ̂] = 1
N tr [ρ̂]
k=1,nm
Que se cancele < exp i (θm − θn ) > cuando m 6= n implica la ausencia de cor-
relaciones entre los miembros del ensemble!!!
6.1.1 Canónico
El macroestado del sistema es definido a partir de T, V y N, siendo la energı́a una
cantidad variable. La probabilidad que un sistema elegido al azar posea energı́a
En esta dada por el factor de Boltzman exp(−βEn ) por lo que tomamos la
matriz densidad en la representación de energı́a como ρnn = C exp(−βEn )δmn .
La cte. C sale de normalizar la suma de los elementos diagonales de ρ y resulta
40
ser la inversa de la función de partición. Podemos entonces escribir a ρ como
³ ´
X exp − (βEn ) exp − β Ĥ X
ρ̂ = |φn > < φn | = |φn >< φn | =
n
QN (β, V ) QN (β, V ) n
³ ´ ³ ´
exp − β Ĥ exp − β Ĥ X
= = n ³ ´o dado que |φn >< φn | = 1
QN (β, V ) tr exp − β Ĥ n
6.2 Ejemplos
6.2.1 Electrón en un campo magnético
· ¸ · ¸ · ¸
0 1 0 −i 1 0
Ĥ = −µB σ.B con σx = ; σy = ; σz =
1 0 i 0 0 −1
La matriz densidad en el ensemble canónico será
· ¸
³ ´ exp (βµB B) 0
exp − β Ĥ 0 exp − (βµB B)
< ρ̂ >= n ³ ´o =
tr exp − β Ĥ exp (βµ B B) + exp − (βµB B)
41
y obtenemos para el valor de expectación del momento magnético < σ̂z >
exp (βµB B) − exp − (βµB B)
< σ̂z >= tr(σ̂ ρ̂) =
exp (βµB B) + exp − (βµB B)
con lo que estamos en el modelo de los dos niveles que ya hemos discutido.
42
h ³ ´i
∂
Podrı́amos haber derivado este resultado de < H >= − ∂β ln tr exp − β Ĥ =
3
2β
³ ³ ´´ Z ∞ ³ ´
tr exp − β Ĥ = < x| exp − β Ĥ |x0 > dx
−∞
r Z ∞ · µ ¶ µ ¶¸
mω mωx2 β~ω
= exp − tanh dx
2π~ sinh (β~ω) −∞ ~ 2
³ ´
1 exp − β~ω2
= ³ ´=
2 sinh β~ω 1 − exp (β~ω)
2
43
6.3 Sistemas compuestos de partı́culas indistinguibles
Vamos a estudiar el caso cuántico P de N partı́culas que no interactuan entre
sı́. El hamiltoniano será H = i Hi (qi , pi ) y consideremos que conocemos
las autofunciones de Hi , i.e. Hi ψn (qi ) = En ψn (qi ). Las autofunciones de H
las podremos escribir como Ψ{ni } =i ψni (qi ) y quedarán especificadas al dar
{ni }. En el caso cuántico sabemos que para cada set {ni } existe una sola auto-
función del sistema total, (que será o completamene simétrica o completamente
antisimétrica) mientras que si las partı́culas fuesen distinguibles tendrı́amos
W ({ni }) = n1 !n2N!....n
!
k!
estados diferentes, es decir sabemos que debe ser en
el caso cuántico W ({ni }) = 1 (si el estado es permitido, si no lo es será
W ({ni }) = 0). Sabemos por otro lado que para sistemas de fermiones cuando
cualquiera de los ni > 1 el estado no es permitido y no existen problemas para
los estados de bosones.
2 2
~ ~
Hemos usado que E = 2m K 2 = 2m 2
(k12 +k22 +.....+kN ) con uk (r) = V −1/2 exp(ik.r)
si k = V2π
1/2 n
La función de onda de las N partı́culas se puede escribir como
1 X
ΨE (1, 2, ..., N ) = √ δP P {uk1 (1)uk2 (2).....ukN (N )}
N! P
La suma sobre P quiere decir la suma sobre todas las permutaciones de los
N objetos y δP en el caso de fermiones valdrá -1(+1) si es una permutación
impar (par) y para los bosones será siempre +1. Notar que esto es equivalente
en el caso de los fermiones a un determinante y para los bosones es lo que se
llama un permanente (igual que un determinante pero con todos los signos más).
Notemos que no le hace diferencia a la función de onda si las permutaciones se
las hacemos a las coordenadas o a las etiquetas, i.e.
44
1 X
ΨE (1, 2, ..., N ) = √ δP {uk1 (P 1)uk2 (P 2).....ukN (P N )} =
N! P
1 X
√ δP {uP k1 (1)uP k2 (2).....uP kN (N )}
N! P
Notemos que cualquier permutación entre los {ki } deja a |ΨE (1, 2, ..., N )|2
invariante porque corresponde a cambiar una fila enP el determinante que se va al
calcular el módulo al cuadrado. Puedo cambiar la K por sumas independientes
sobre los {ki } pero debo introducir un factor N1 ! porque dado un K tengo N !
sets de {ki }. Por otro lado es
1 X © ª
|ΨE (1, 2, ..., N )|2 = δP δP 0 u∗k1 (P 1)u∗k2 (P 2).....u∗kN (P N ) {uP 0 k1 (1)uP 0 k2 (2).....uP 0 kN (N )}
N!
PP0
X © ª© ª © ª
= δP u∗k1 (P 1)uP 0 k1 (1) u∗k2 (P 2)uP 0 k2 (2) ....... u∗kN (P N )uP 0 kN (1)
P
1 X β 2
< 0
r1 , r2 , ...., rn | exp −(β Ĥ)|r10 , r20 , ....rN >= (k + k22 + ..kN
exp − 2
)∗
N! 2m 1
k1 k2 ...kN
X © ª© ª © ª
δP u∗k1 (P 1)uP 0 k1 (10 ) u∗k2 (P 2)uP 0 k2 (20 ) ....... u∗kN (P N )uP 0 kN (10 )
P
P 1
R
y si reemplazo las sumas por integrales (⇒ remplazar k → (2π)3 d3 k) nos
queda
1 X
< r1 , r2 , ...., rn | exp −(β Ĥ)|r10 , r20 , ....rN
0
>=3N
δP
N ! (2π) P
"Z sZ #
β 2 β
exp − k + ik1 (P 1 − 10 )d3 k1 ....... exp − k 2 + ik1 (P 1 − 10 )d3 k1
2m 1 2m 1
1 m 3N/2 X
= ( ) δP [f (P 1 − 10 ).....f (P N − N 0 )]
N ! 2πβ~2
P
h i2
m 2 ξ
con f (ξ) = exp(− 2β~2 ξ ) = exp(−2π λ ). donde he introducido la longitud
q
h
de onda térmica λ = √2πmkT = ~ 2πβm . Podemos escribir para la función de
partición
Z X
1
QN = tr(exp −(β Ĥ)) = 3N
d3N r δP [f (P 1 − 1).....f (P N − N )]
N !λ
P
45
La suma sobre P la podemos escribir como
X X X
δP [f (P 1 − 1).....f (P N − N )] = 1 ± fij fji + fij fjk fki ± .....
P i<j i<j<k
Para tener en cuenta las funciones fij debemos recordar que la distancia media
entre las partı́culas (V /N )1/3 es mucho menor que la longitud de onda térmica
de tal forma que estas funciones se las puede ignorar para evaluar la función de
partición en el órden más bajo, i.e.
Z µ ¶N
1 1 V
QN = d3N r [1] =
N !λ3N N! λ3
es decir la función de partición que ya conociamos con el contaje correcto de
Boltzman!!!!
Hemos aprendido tres cosas:
a) de donde viene el contaje correcto de Boltzman
b) Que el tamaño de las celdas del espacio de fases ”clásico” debe ser h3
c) Que el tratamiento clásico será bueno toda vez que podamos considerar
nλ3 << 1
Por otro lado en el lı́mite clásico tenemos que
1 N
< r1 , r2 , ...., rn |ρ̂|r1 , r2 , ....rN >' ( )
V
es decir el producto de n factores (1/V ) , es decir que no hay correlaciones. Sin
embargo hay que notar que aún para partı́culas no interactuantes encontramos
correlaciones cuando hacemos la descripción cuántica. Por ejemplo
1 £ ¡ 2
¢¤
< r1 , r2 | exp − (βH) |r1 , r2 >= 6
1 ± exp − 2πr12 /λ2
2λ
que nos da para
Z Z
1 £ ¡ 2
¢¤
Q2 = 1 ± exp − 2πr12 /λ2 d3 r1 d3 r2 =
2λ6
· Z ∞ ¸
· µ 3 ¶¸ µ ¶2
V2 1 ¡ 2 2
¢ 2 V2 1 λ 1 V
= 1± exp − 2πr /λ 4πr dr = 6 1 ± 3/2 '
2λ6 V 0 2λ 2 V 2 λ3
de tal forma que
1 £ ¡ 2
¢¤
< r1 , r2 |ρ̂|r1 , r2 >= 1 ± exp − 2πr12 /λ2
V2
y por lo tanto para r12 comparable con λ la probabilidad de encontrar un par de
bosones es mayor que el resultado clásico y para los fermiones es menor!! (notar
que cuando r → 0 nos da cero para los elementos de matriz de la densidad).
46
6.4 Tratamiento cuántico de un gas ideal.
Vamos a considerar un sitema de N partı́culas indistinguibles que no interactuan
entre sı́ y que están en un volumen V. El número que nos interesa es el número de
microestados Ω(E, N, V ) accesibles al sistema una vez que hemos dado V, N, E.
En el contaje tenemos que tener en cuenta la indistinguibilidad.
Como para un V grande el número de estados es muy grande, dividimos
el espectro de energı́a en grupos de niveles que llamaremos las celdas con en-
ergı́a εi y consideramos que dentro de cada una hay gi niveles (g1 >> 1) .
Vamos a considerar que hemos P dado el número
P de partı́culas en cada celda
{ni } que deben satisfacer i ni = N ; i ni εi = E y será como siempre
P0
Ω(E, N, V ) = {ni } W ( {ni }) donde W ( {ni }) es el número de microestados
asociados con la partición {ni } y la suma primada es sobre los estados que
satisfacen las dos condiciones. Es W ( {ni }) =i w(i) donde w(i) es el número
de distintos microestados dentro de la celda i y el producto corre sobre todas
las celdas ocupadas. w(i) es el número de formas en que ni partı́culas iguales
e indistinguibles pueden ser acomodadas en los gi niveles. Para el caso de los
bosones (Bose-Einstein) es igual que el contaje que hicimos para el caso de N
(gi ) osciladores armónicos con M (ni ) cuantos, es decir que tendremos
µ ¶ µ ¶
gi + ni − 1 gi + ni − 1 (gi + ni − 1)!
wBE (i) = = = ⇒
ni gi − 1 ni !(gi − 1)!
(gi + ni − 1)!
WBE ({ni }) = i
ni !(gi − 1)!
Por completitud hacemos el caso clásico, donde las partı́culas son distinguibles,
n
el número de formas de colocarlas en las gi niveles es (gi ) i y además el número
1
de formas de distribuir los ni es N !i n!i . Debemos tener en cuenta el contaje
correcto de Boltzman con lo que obtenemos
gini
WM B ({ni }) =i
ni !
De ahora en más la receta es unı́voca. Es
0
X
S(N, E, V ) = k ln Ω(N, E, V ) = k ln W ({ni }) ' k ln [W ({n∗i })]
{ni }
47
donde n∗k corresponde a la distribución más probable. como siempre la maxi-
mización de los términos que contribuyen a Ω es hecha llevando las condiciones
auxiliares con multiplicadores de Lagrange, i.e.
" #
X X
δ ln W {ni } − α δni + β εi δni = 0
i i
donde a = −1 para bosones, +1 para fermiones y cero para MB. (en este caso
el segundo término hay que evaluarlo tomando el lı́mite correctamente). La
ecuación de las variaciones nos da entonces
X · gi ¸
gi n∗ 1
ln( − a) − α − βεi δni = 0 ⇒ n∗i = ⇒ i =
i
ni exp [α + βεi ] + a gi exp [α + βεi ] + a
Notemos que este último puede ser interpretado como el número de partı́culas
por nivel!! Veamos ahora que nos ha quedado para la entropı́a. Es
X· gi gi n∗
¸
S/k ' n∗i ln( ∗ − a) − ln(1 − a i ) =
i
ni a g1
X gi
= n∗i (α + βεi ) + ln {1 + a exp − (α + βεi )}
i
a
1X
= αN + βE + gi ln {1 + a exp − (α + βεi )}
a i
1X µN E G − (E − T S) PV
gi ln {1 + a exp − (α + βεi )} = S/k + − = =
a i kT kT kT kT
1
En el caso del gasPde MB es a gi ln {1 + a exp − (α + βεi )} = gi exp − (α + βεi )
1
y por lo tanto a i gi ln {1 + a exp − (α + βεi )} = N de tal forma que sacamos
la ecuación de estado de los gases ideales.Por otro lado reconocemos que la suma
que tenemos es en realidad la gran función de partición.
48
P
i ni = N.Podemos entonces reescribir la función de partición como
0
" #
X X
QN = g ({ni }) exp − β ni εi
{ni } i
49
donde la doble suma sobre N y los set {ni} es equivalente a una suma sobre los
ni sin restricciones, i.e.
X
Q (z, V, T ) = (z exp −βε0 )n0 (z exp −βε1 )n1 ......
n0 ,n1 ,...
P
Estas sumas (i.e. sumas del tipo ni (z exp −βεi )ni quedarán determinadas por
los valores posibles que tomen los ni . En el caso de FD sólo pueden valer cero
y uno, mientras que en caso de BE pueden tomar todos los valores posibles lo
cual genera una serie geométrica. Obtenemos entonces
Y
Q F D (z, V, T ) = (1 + z exp −βεi )
i
Y 1
Q BE (z, V, T ) = con z ∗ exp [−βεi ] < 1
i
(1 − z exp −βεi )
Esto nos permite escribir para las ecuaciones del número de partı́culas y energı́a
media (que usabamos para sacar la fugacidad y generar la ecuación de estado o
escribir E en términos de N, V, T )
· ¸ X · ¸ X
∂q 1 ∂q εi
< N >= z = −1 exp(βε ) + 1
; < E >= − = −1 exp(βε ) + 1
∂z V,T i
z i ∂β V,z i
z i
50
Es particularmente ilustrativo graficar estos números de ocupación como
función de [(εi − µ)/kT ]. Notemos que si [(εi − µ)/kT ] >> 1 las tres descrip-
ciones nos dan básicamente el mismo resultado (i.e. vale MB). Como sabemos
que a altas temperaturas el tratamiento clásico funciona bien esto nos informa
que µ debe ser negativo y grande de tal forma que la fugacidad deberá ser mucho
menor que uno. Era N = zV /λ3 ⇒ nλ3 << 1 que es la condición que nos ha
aparecido recurrentemente para poder hacer la descripción de MB.
Vamos a escribir las dos ecuaciones pasando de las sumas sobre los niveles a
integrales sobre el momento. Esto significa que deberemos eliminar z usando
PV 1X
= ln Q = ln [1 + az exp(−βεi ) ]
kT a i
X 1
N = con z = exp (µ/kT )
i
z −1 exp [βεi ] + a
Queremos pasar de las sumas a integrales, para tener expresiones mas mane-
jables dado que las energı́as son casi continuas. Para el caso de los fermiones
cuando algún εi sea cero las funciones se comportan decentemente de tal forma
que no hay ningun problema, pero para los bosones (a = −1) tendremos que ser
más cuidadosos porque puede haber divergencias. Esto lo miraremos con mas
cuidado cuando escribamos las ecuaciones separadamente. Por ahora queremos
ver los factores que van en las integrales. Vimos antes que para pasar de las
sumas a integrales sobre la energı́a hay que usar la densidad de estados, i.e.
X Z Z
dΣ(E)
f (Ei ) = f (E)dΣ(E) = f (E)dE
i
dE
51
q
β
Si introduzco una variable adimensional x = 2m p podemos escribir las inte-
grales como
Z ∞
P 4 £ ¤
= 3
√ ln 1 + za exp(−x2 ) x2 dx
kT aλ π 0
Z ∞
1 4 x2
= √ dx
v λ3 π 0 z −1 exp [x2 ] + a
Para los bosones vemos que si z → 1 el término que tenemos en la suma diverge
pero sin embargo la integral es bien comportada (porque tiene un p2 ). Conviene
aislar ese término de la suma porque como sabemos el producto de cero por
infinito debe ser tratado cuidadosamente. Aislamos la contribución en ese punto
y transformamamos el resto en una integral. El término de la suma con energı́a
cero nos da una contribución fácilmente escribı́ble em ambas ecuaciones. Será
Z ∞
P 4 £ ¤ 1
= − 3√ ln 1 − z exp(−x2 ) x2 dx − ln(1 − z)
kT λ π 0 V
Z ∞
1 4 x2 1 z
= √ dx +
v λ3 π 0 z −1 exp [x2 ] + a V 1−z
Las integrales que contienen al logaritmo conviene integrarlas por partes, i.e.
defino ξ = x2
Z ∞ Z ∞
4 2
√ x2 ln(1 + az exp −x2 )dx = √ ξ 1/2 ln(1 + az exp −ξ)dξ =
π 0 π 0
Z ∞
4 ξ 3/2
√ −1
dξ
3 π 0 z exp ξ + a
de tal forma que las dos ecuaciones pueden escribirse, en términos de estas
integrales, para los fermiones
P f5/2 (z)
=
kT λ3
1 f3/2 (z)
=
v λ3
52
y para los bosones
P g5/2 (z) 1
= 3
− ln(1 − z)
kT λ V
1 g3/2 (z) 1 z
= +
v λ3 V 1−z
h i
z ∂
Notemos que 1−z =< n0 > . Dado que la energı́a es E = − ∂β ln Q
V,z
podremos escribir
µ3 f5/2 (z) ¶
1 2 kT λ3 para los fermiones
E= g5/2 (z)
V 3
2 kT λ3 para los bosones
3
y en ambs casos será E = 2PV relación que también vale para un gas de
Boltzmann.
7 Gas de Fermi
Conviene, para no tener problemas matemáticos comenzar estudiando las fun-
ciones fν . Hay dos regı́menes donde se la puede estudiar bien, cuando z es
pequeño (i.e.¡¡1) y cuando es grande (i.e. ln z = ξ > 1)
53
(el Γ(υ) lo metemos al final). Defino
Z ∞
xν−1
Fν (ξ) = Γ(υ)fν (z) = dx
0 exp(x − ξ) + 1
−1
El comportamiento de la integral está dominado por la función [exp(x − ξ) + 1] .
Si x << ξ la función vale básicamente uno, si x >> ξ es básicamente
ν
cero. Si
la reemplazo por una función escalon θ(ξ − x) obtendre Fν (ξ) ' ξν ⇒ fν (z) '
ξν
Γ(ν+1) . Para tener una mejor aproximación uso una forma alternativa de la
integral
Z ξ · ¸ Z ∞
ν−1 1 xν−1
Fν (ξ) = x 1− dx + dx
0 exp(ξ − x) + 1 ξ exp(x − ξ) + 1
Reemplazo en cada una de las integrales x = ξ − η1 y x = ξ + η2 obteniendo
Z ξ ν−1 Z ∞ ν−1
ξν (ξ − η1 ) (ξ + η2 )
Fν (ξ) = − dη1 + dx
ν 0 exp η1 + 1 0 exp η2 + 1
Dado que ξ >> 1 mientras que las integrales son significativas para η de órden
1 podemos reemplazar el lı́mite superior de la primera integral por ∞ con lo que
obtenemos (puedo llamar igual a la variable de integración en ambas integrales)
Z ∞ ν−1 ν−1
ξν (ξ + η2 ) − (ξ − η1 )
Fν (ξ) = + dx =
ν 0 exp η2 + 1
µ
X ν−1 ¶ · Z ∞ ¸
ξν ν−1−j ηj
+ ξ dη
ν j 0 exp η + 1
jodd
π2
Los valores de la ζ que nos harán falta para los órdenes más bajos son ζ(2) = 6 ;
4
π6
ζ(4) = π90 ; ζ(4) = 945
2n
(2π)
En general uno tiene que ζ(2n) = 2∗(2n)! |B2n | donde los Bn son los números
de Bernoulli que para valores pares valen: 1,1/6-1/30,1/42,-1/30 para 2n =
0, 2, 4, 6, 8. Podemos entonces escribir
µ ¶
ξν X 1 ζ(j + 1)
fν (ξ) = 1 + 2ν (ν − 1).....(ν − j) 1 − j
Γ(ν) 2 ξ j+1
jodd
½ ¾
ξν π2 7π 4
= 1 + ν(ν − 1) 2 + ν(ν − 1)(ν − 2)(ν − 3) + ..
Γ(ν) 6ξ 360ξ 4
54
Por el mismo procedimiento uno puede derivar el siguiente resultado asintótico
para cualquier función bien comportada φ(x)
Z ∞ Z ξ µ ¶ µ ¶
φ(x) π 2 dφ 7π 4 d3 φ
dx = φ(x)dx + + +
0 exp(x − ξ) + 1 0 6 dx ξ 360 dx2 ξ
µ ¶
31π 6 d5 φ
+ .....
15120 dx3 ξ
Ahora vamos a estudiar en general las ecuaciones que tenemos, i.e. (llamo g a
una degeneración que puede aparecer relacionada por ejemplo con el spin)
µ ¶ " #µ ¶
1 ∂E 3 f5/2 (z) 3 1 df5/2 (z) f5/2 df3/2 (z) ∂z
= + T − 2 =
Nk ∂T V,N 2 f3/2 (z) 2 f3/2 (z) dz f3/2 (z) dz ∂T v
" #
3 f5/2 (z) 9z f3/2 (z) 1 f5/2 f1/2
= − − 2 =
2 f3/2 (z) 4 f1/2 (z) z zf3/2 (z)
3 f5/2 (z) 9 f3/2 (z) 9 f5/2 (z) 15 f5/2 (z) 9 f3/2 (z)
= − + = −
2 f3/2 (z) 4 f1/2 (z) 4 f3/2 (z) 4 f3/2 (z) 4 f1/2 (z)
7.1 Aplicaciones
Ahora tenemos que estudiar los distintos lı́mites fı́sicos. Si la densidad del gas
3
es muy pequeña o la temperatura muy alta esto corresponde a λv << 1 de
55
tal forma que f3/2 (z) << 1 lo cual implica que z << 1 y en ese caso podemos
reemplazar f3/2 (z) = z. Se dice que el gas es no-degenerado y obtenemos las
expresiones ya conocidas, i.e.
3 3
P = N kT /V ; E = kT ; CV = N k;
½ µ 3¶ 2 ¾ ½2 µ 3 ¶¾
nλ 5 nλ
A = N kT ln − 1 ; S = Nk − ln
g 2 g
Si z es pequeño pero no tan pequeño que podamos despreciar las potencias
superiores tenemos que invertir la ecuación
λ3 z2 z3
= f3/2 (z) = z − 3/2 + 3/2 + ...
gv 2 3
3
³ 3 ´2 ³ 3 ´3
para lo cual escribı́mos z = λgv + b1 λgv + b2 λgv + ... y determinamos los
λ3
coeficientes bi de tal forma que sea válida la ecuación para v i.e. llamemos
3
ρ = λgv la ecuación nos queda (hasta tercer órden)
1 ¡ ¢2 1 ¡ ¢3
ρ = ρ + b1 ρ2 + b2 ρ3 − 3/2 ρ + b1 ρ2 + b2 ρ3 + 3/2 ρ + b1 ρ2 + b2 ρ3
· ¸2 · 3¸
1 1 1
' ρ + ρ2 b1 − 3/2 + ρ3 b2 − 2b1 3/2 + 3/2 + O(ρ4 ) ⇒
2 2 3
1 1 1
b1 = b2 = − 3/2
23/2 4 3
Será entonces
1 1 µ ¶ µ ¶
PV 1− 25/2
z + 35/2
z2 1√ 2√ 1 ¡ ¢
= 1 1 =1+ 2 z+ − 3+ z2 + O z3
N kT 1− 23/2
z+ 33/2
z2 8 27 16
¡ √ ¢ ¡ ¡ ¢ 2¢
Si ahora lo reescribo en términos de ρ me da 1+ 18 2 ρ 1 + 23/2 1
ρ + 14 − 33/2
1
ρ +
2
¡ 2√ 1
¢¡ 1
¡1 1
¢ 2 ¢2 ¡1√ ¢ ¡1 2
√ ¢ 2
ρ − 27 3 + 16 1 + 23/2 ρ + 4 − 33/2 ρ = 1 + 8 2 ρ + 8 − 27 3 ρ +
¡ ¢
O ρ3
Este tipo de expansión es lo que se llama expansión del virial, i.e uno escribe
finalmente
X∞ µ 3 ¶k
PV λ 1 1 2
= cl con c0 = 1; c1 = √ ; c2 = − √ ; ...........
N kT gv 4 2 8 9 3
k=0
56
3
es hacer las cuentas en forma numerica. Si λgv >> 1 podemos volver a hacer
cálculos asintóticos. En este caso se dice que el sistema es degenerado. Si
λ3
gv → ∞ decimos que es completamente degenerado. En este lı́mite (que en la
práctica uno lo obtiene cuando T → 0) la ocupación de los niveles es la función
escalón µ ¶
1 1 si ε < µ0
< nε >= =
exp [ε − µ] /kT + 1 0 si ε − µ0
donde µ0 es el potencial quı́mico para temperatura cero (llamado el nivel o la
energı́a de de Fermi). Para T = 0 los niveles están u ocupados o desocupados.
Se debe satisfacer la condición
Z EF µ ¶1/3
gV 2 dp 4πgV 3 3h3
a(ε)dε = N donde a(ε) = 3 4πp ⇒N = p o pF =
0 h dε 3h3 F 4πgv
½ ¾
8 5/2 5π 2 1 7π 4 1
f5/2 (ξ) = √ ξ 1+ − + ....
15 π 8 ξ2 128 ∗ 3 ξ 4
½ ¾
4 3/2 π2 1 7π 4 1
f3/2 (ξ) = √ ξ 1+ + + ....
3 π 8 ξ2 128 ∗ 5 ξ 4
½ ¾
2 1/2 π2 1 7π 4 1
f1/2 (ξ) = √ ξ 1− − + ....
π 24 ξ 2 128 ∗ 3 ξ 4
3
³ 2 ´3/2
Notemos que si hacemos el cociente de λgv = mkT
2π~ 1
gv con la energı́a de
³ 2 ´2/3 2
Fermi EF = 6πg n ~
2m a la potencia 3/2 obtenemos
µ ¶3/2 µ ¶3/2
2π~2 1 2m g 4
∗ = √ β 3/2
mkT gv ~2 6π 2 n 3 π
57
de tal forma que la ecuación nos queda
½ ¾
3/2 ξ π2 1 7π 4 1
EF = ( )3/2 1 + + + ....
β 8 ξ2 128 ∗ 5 ξ 4
1 1 2 2 1
¡ ¢
Dado que n 2 7π 4
o2/3 = 1− 12 π x + 720 π 4 x4 +O x6 será entonces
1+ π8 x2 + 128∗5 x4
µ ¶2 µ ¶4
1 kT 1 4 kT
µ = EF (1 − π 2 + π + ..) ⇒
12 µ 720 µ
" µ ¶2 µ ¶4 #
1 2 kT 19 4 kT
µ = EF 1 − π − π + ....
12 µ0 720 µ0
58
En forma similar podemos escribir para el potencial de Helmholtz y la entropı́a
A
= µ − Pv
N " # " #
µ ¶2 µ ¶4 µ ¶2 µ ¶4
1 2 kT 19 4 kT 2 5 2 kT 11 4 kT
= EF 1 − π − π + .... − EF 1 + π − π + .....
12 µ0 720 µ0 5 12 µ0 144 µ0
" µ ¶2 µ ¶4 #
3 5 2 kT 3 4 kT
= EF 1 − π + π + ......
5 12 µ0 720 µ0
S E−A π 2 kT π 2 kT 3
= = ( )− ( )
kN N kT 2 µ0 20 µ0
es decir va a cero linealmente cuando T va a cero.
59
7.3 Comportamiento magnético de un gas ieal de Fermi
Queremos estudiar el comportamiento magnético de un gas de Fermi ideal en
equilibrio en presencia de un campo B. El problema está en estimar cuanto
se alı́nean los momentos magnéticos de los componentes del gas (que definen
su momento magnético M ) como función de B y T y a partir de allı́ calcular
la susceptibilidad χ(T ). Una primera aproximación es usar estadı́stica clásica y
hacer una descripción tipo Langevin pero tener en cuenta uno de los aspectos de
la MC, i.e la existencia de un momento angular. Esto nos dará una relación mas
complicada que la que obtuvimos en Langevin en¢términos de los posibles valores
¡ ge
del momento magnético realcionando µ = mc l donde el l lo cuantificamos.
g es el llamado factor de Lande que depende del origen del momento angular.
Para el spin de un electrón valı́a 2, pero en general, si uno tiene spin y momento
angular orbital uno encontraba que
3 S(S + 1) − L(L + 1)
g= +
2 2J(J+!)
Se suele definir la función de Brillouin BJ (x) a partir de < µz >= gµB JBJ (x)
Para x >> 1 (bajas temperaturas y altos campos) esta función vale uno con
lo que obtenemos saturación magnética. Por otro lado a altas temperaturas y/o
( x << 1) bajos campos es BJ (x) ' 13 (1 + 1/J)x de tal forma que < µz >=
g 2 µ2 J(J+1)
gµB J 13 (1+1/J)x = B
3kT H ⇒ la ley de Curie (χ ∝ 1/T ) pero sin embargo
la constante de Curie es
N0 g 2 µ2B J(J + 1) N0 µ2
CJ = (en Langevin nos daba CJ = )
3k 3k
Si el problema lo tratamos usando la estadı́stica de Fermi (cosa que es por ejem-
plo necesaria para los electrones en un metal) los resultados son distintos espe-
cialmente a bajas temperaturas. Este tratamientos se llama el paramagnetismo
de Pauli. Existe otro efecto asociado con la cuantificación de las orbitas en
presencia de un campo magnético (es en realidad con la cuantificación de la en-
ergı́a cinética) que genera diamagnetismo (llamado de Landau). En general hay
60
que considerar ambos efectos acoplados. Si la interacción spin órbita se puede
despreciar, el efecto total es la suma de los dos efectos que se pueden calcular
inependientemente. Esto es lo que vamos a hacer.
como comparación antes habı́amos obtenido con g=2, J=1/2 en el lı́mite de alta
temperaturas χ∞ = nµ2 /kT.
Queremos obtener una expresión válida para todo T . Sea n± p el número
de partı́culas de momento p y spin ±. Será entonces la energı́a
X ·µ p2 ¶ µ 2
p
¶ ¸
+
En = − µ.B np + + µ.B n− p =
p
2m 2m
X p2 ¡ ¢
= n+ − + −
p + np − µ.B(N − N )
p
2m
P0
y la función de partición estará dada por QN = {np } exp(−βEn ) donde los np
P ¡ + ¢
deben ser sólo 1 o 0 y satisfacen p np + n− p = Ṅ . La forma de evaluar la
función de partición es fijar un N (y por lo tanto un N − ) y sumar sobre todos
+
los n+ −
p y np que nos den esos N
±
y después sumamos sobre todos los valores
+
de N desde cero hasta N . i.e.
0
XN X 0 µ 2¶ 000
X µ 2¶
¡ ¢ p p
QN = exp βµ.B(2N + − N ) exp − β n+p exp − β n−
p
+
+
2m −
2m
N =0 {np } {np }
61
P ±
donde las sumas satisfacen la restricción que np = N ± . Definimos una
función auxiliar que es la función de partición para un sistema de N partı́culas
sin spin en un campo magnético (pero fermiones, i.e. no puedo poner mas de
una en cada nivel). Será entonces
0
X
0 µ 2¶
p
Q0 (N ) = exp − β np = exp [−βA0 (N )]
2m
{n+
p}
como es habitual el log de la suma se remplaza por el log del término más
grande donde se lo evalua para < N + > . El término más grande de la suma
corresponde a
· ¸ · ¸
∂A0 (N + ) ∂A0 (N − N + )
2µ.B − − =0⇒
∂N + N + =<N + > ∂N + N + =<N + >
y por lo tanto la ecuación que nos relaciona los portenciales quı́micos será
µ ¶ µ ¶
1+r 1−r
µ0 ( N ) − µ0 ( N ) = 2µ.B
2 2
Para B=0 será r = 0 y para pequeños B será r pequeño por lo que podemos
hacer una expansión de Taylor de tal forma que
µ ¶
∂µ0 (xN )
r = 2µB
∂x x=1/2
M µN r 2nµ2
χ= = =³ ´
VB VB ∂µ0 (xN )
∂x
x=1/2
62
Para T → 0 el potencial quı́mico del sistema ficticio es
µ ¶2/3 µ ¶ µ ¶2/3
3xN h2 ∂µ0 (xN ) 24/3 3N h2
µ0 (xN ) = ⇒ =
4πV 2m ∂x x=1/2 3 4πV 2m
con lo que obtenemos el mismo valor que habı́amos sacado antes para la sus-
ceptibilidad, i.e.
2nµ2 3
χ0 = 4 = nµ2 /EF
3
2
Para temperaturas bajas usamos la dependencia del µ0 con la temperatura pero
también debemos ir a órden mas alto en r. El resultado final que uno obtiene
es " µ ¶2 #
π 2 kT
χ = χ0 1 − + ...
12 EF
P g 1 1 g 1 z
= 3 g5/2 (z) − ln(1 − z); = 3 g3/2 (z) −
kT λ V v λ V 1−z
P g 1 g 1 z
= 3 g5/2 (z);= 3 g3/2 (z) −
kT λ v λ V 1−z
1
R∞ xν−1
Estudiaremos ahora las funciones gν (z) = Γ(ν) 0 z −1 exp x+−1
dx
63
Para z pequeño puedo desarrollar en serie
Z ∞ X X zl
1 l z2 z3
gν (z) = xν−1 (zepx(x)) dx = ν
=z+ ν + ν y satisfacen la relación
Γ(ν) 0 l 2 3 + ...
l=1 l=1
∂
z [gν (z)] = gν−1 El desarrollo en serie sólo converge si ν > 1
∂z
Esto nos como valor particular que gν (1) = ζ(ν) si ν > 1̇ . Valores que nos
resultaran útiles son
g3/2 (1) = 2.612; g5/2 (1) = 1.341; g7/2 (1) = 1.127
Para estudiar en detalle que es lo que pasa cuando z → 1 convienen in-
troducir z = exp(−α) y mirar el lı́mite α → 0, En ese caso uno obtiene
R ∞ xν−1
gν (z) ' Γ(ν)1
0 α+x
dx = Γ(1−ν)
α1−ν que es la parte divergente de la integral,
el resto se puede expandir en serie y se obtiene
Γ(1 − ν) X (−)l
gν (exp [−α]) = + ζ(ν − l)αl
α1−ν l!
l=0
Las que de algúna forma aparecen en nuestras cuentas tienen como expresiones
en serie
X µ ¶l−1
PV λ3
= al
N kT v
l
³ ´
1 2 1
y resulta a1 = 1; a2 = − 4√ 2
; a3 = − √
9 3
− 8 y para el calor especı́fico
µ ¶ µ ¶ µ ¶l−1
CV 1 ∂E 1 ∂P V 3 X 5 − 3l λ3
= = = al
Nk Nk ∂T N,V Nk ∂T N,V 2 2 v
l=1
Cuando la temperatura del sistema es baja estas expresiones no son mas útiles
y debemos trabajar con las ecuaciones originales. Notemos que la ecuación de
64
1/v puede ser reescritas en términos del número de partı́culas en los estados
excitados como
3/2
(2πmkT )
Ne = V g3/2 (z)
h3
Entre 0 < z < 1 la función g3/2 crece monótonamente y está acotada en z = 1
(es g3/2 (1) = 2.612) y por lo tanto el número total de partı́culas que podemos
tener en los estados excitados esta acotada por
3/2
(2πmkT )
Nmax = 2.612 ∗ V
h3
y las partı́culas restantes deberán ir al estado fundamental. El valor de z es
z
determinado a partir de este número de partı́culas (N0 ) vı́a N0 = 1−z ⇒z=
1 − 1/N0 . Vemos entonces que hay dos formas de que aparezca el fenomeno. A
temperatura constante se haga N > Nmax o a un N dado que la temperatura
se haga menor que una llamada temperatura crı́tica
· ¸2/3
h2 N
T < Tcrit =
2πmk 2.612V
3
λ
Es conveniente también definir un volumen crı́tico vc = g3/2 (1)
A temperaturas mayores que la temperatura crı́tica el sistema es lo que
uno llama normal. Por abajo de esta temperatura se lo puede considerar como
compuesto por ”dos fases”
a) una normal, constiuı́da por Ne partı́culas (= N (T /Tc )3/2 = N v/vc ) dis-
tribuı́das sobre los estados excitados
b) una fase ”condensada” consistente en N0 (= N − Ne = N (1 − v/vc ))
partı́culas que se encuentran en el estado fundamental (ε = 0). también importa
conocer ¡el comportamiento
¢ de z con T, pero es mas simple mirar la variación
con ρ = nλ3 que va como T 3/2 . Cuando 0 ≤ ρ ≤ 1./2.612 (que corresponde a
0 ≤ T ≤ Tc es z ' 1
Para ρ > 1./2.612, z debe determinarse de ρ = g3/2 (z) usando por ejemplo
la expansión en serie que teniamos. Si ρ >> 1 la g3/2 (z) ' z y nos da la ecuación
clásica i.e. ρ = ż
65
En las relaciones que siguen la lı́nea de arriba corresponde a v > vc (o T > Tc )
y la de abajo a v < vc (o T < Tc )
E 3 3 kT v 3 kT v
= Pv = 3
g5/2 (z) g5/2 (1)
N 2 2 λ 2 λ3
A v v
− = 3 g5/2 (z) − ln z 3 g5/2 (1)
N kT λ λ
G
= ln z0
N kT
S 5 v 5 v
= g5/2 (z) − ln z 3 g5/2 (1)
Nk 2 λ3 2λ
CV 15 g5/2 (z) 9 g3/2 (z) 15 g5/2 (1)
= −
Nk 4 g3/2 (z) 4 g1/2 (z) 4 g3/2 (1)
Es interesante notar que la presión cuando T < Tc es constante i.e. P0 (T ) =
kT
λ3 g5/2 (1) y si calculamos su variación con la temperatura obtenemos (recordar
Clayperon-Clausius)
· ¸
dP0 5 kg5/2 (1) 1 5 g5/2 (1)
= = kT
dT 2 λ3 T vc 2 g3/2 (1)
Cuando las dos fases coexisten la fase normal tiene un volumen vc y la fase
condensada un volumen v = 0, de tal forma que si vemos esta ecuación como
una ecuación de Clayperon el calor latente será
5 g5/2 (1)
L= kT
2 g3/2 (1)
66
m=4GeV) obtenemos para Tc = 3, 13 o K que se le parece bastante. Sin em-
bargo las interacciones son muy importantes para poder hacer una descripción
más precisa (la transición experimental no es de primer órden). En los últimos
años han aparecido un gran cantidad de sistemas formados por una pequeña
cantidad de átomos o moléculas (del órden de 103 ) que a muy bajas temperat-
uras presentan este tipo de comportamiento. Lo que ha sido particularmente
dificil, desde el punto de vista experimental es armar esos sistemas (que en gen-
eral se consiguen por confinamiento magnético) y a posteriori llevarlos abajas
temperaturas (que se ha conseguido por bombeo óptico)
67
los k, i.e. (el factor 2 de adelante viene de incluir las dos polarizaciones)
Z ∞ 4 Z ∞
4πV ~ω V (kT ) x3
E = 2 3 k 2 dk = . 2 dx
(2π) 0 exp [β~ω] − 1 π (~c)3 0 exp(x) − 1
Z ∞ 4 2 4
V (kT ) π (kT )
= u(x)dx = g4 (1)Γ(4) = V
0 π 2 (~c)3 15 (~c)3
Se puede hacer la cuenta de cuantas partı́culas salen por un agujero por unidad
2 )4
de área del mismo y se encuentra que es 14 VE < v >= 4c VE = c π60 (kT (~c)3
= σT 4 .
Fue un gran triunfo poder calcular σ (la cte. de Stefan-Boltzmann que era un
dato medido con precisión) en términos de ~ y ver que coincidia. Si hubiésemos
hecho la cuenta clásicamente nos hubiese dado < εω >= kT (que es el lı́mite
de la función correcta cuando β~ω << 1 ) y por lo tanto habrı́amos obtenido
)4 2
para u(x) = πV2 (kT
(~c)3
x es decir coincide con la densidad de energı́a en las zona
de bajas energı́a (largas longitudes de ondas) pero produce un ”desastre” (la
integral diverge) en las zona de altas frecuencias (o bajas longitudes de onda),
es la llamada catástrofe ultravioleta.
La zona ultravioleta habia sido fitteada experimentalmente por Wien usando
x3 exp(−x) que corresponde correctamente a esa región. La diferencia es la
integral sobre todas las energı́as que en la aproximación de Wien en lugar de
2
dar Γ(4)ζ(4) = π15 ' 6.49 da 6.
Calculemos ahora la función de partición. como las partı́culas son relativistas
será ahora a(ε)dε = 2 hV3 4πp2 dp = (hc)8πV 2
3 ε dε y obtenemos entonces para la gran
función de partición
X Z ∞
PV 8πV ε3
ln Q (V, T ) = =− ln(1 − exp(−βε)) = 3 β dε
kT ε 3 (hc) 0 exp(βε) − 1
Z
8πV 5 ∞ x3
= 3β dx ⇒
3 (hc) 0 exp(x) − 1
Z ∞
V 4 x3 1
PV = 3 β dx = E !!!!
2
3π (~c) 0 exp(x) − 1 3
68
estos modos corresponde a una onda de sonido de la forma ε exp i(k.r − ωt)
con una relación de dispersión del tipo |k| = ωc donde c es la velocidad del
sonido. El vector ε puede tener tres direcciones independientes (existen mo-
dos longitudinales). Si el sistema que estamos considerando tiene N átomos
(o moléculas) hay 3N modos normales que tienen las frecuencias que salen al
calcular los modos normales. Hay dos modelos simples
a) Modelo de Einstein: considera que todos los modos de vibración
n tienen la o
misma frecuencia ω. En este caso la energı́a del sistema será E = 3N ~ω
2 + ~ω
exp[β~ω]−1
es decir es similar al cuerpo negro. Incluir o no la energı́a del punto cero sólo
cambia la energı́a en una constante y por lo tanto será irrelevante. El calor
especı́fico de este sistema será
µ ¶ · ¸2
∂E ~ω dβ
CV = =− exp [β~ω]
∂T V exp [β~ω] − 1 dT
2 exp [β~ω] x2 exp x
= 3N kT (β~ω) 2 = 3N k ⇒
(exp [β~ω] − 1) (exp x − 1)2
x → 0 es CV = 3N K es decir el valor clásico x → ∞ es CV = 0 es decir nos da el ter
La función que interesa aislar aquı́ es la llamada función de Debey que se define
como
Z x µ
3 t3 3
D(x) = 3 dt = x << 1 nos da D(x) = 1 − x + .. x >> 1 nos da D
x 0 exp t − 1 8
Es conveniente expresar los resultados en términos de la temperatura de
1/3
Debey kTD = ~ωD = [6nπ] c. Podemos expresar la energı́a en términos de
69
λ = (T /TD ) [notar que λ = 1/x]como
µ ¶
3 π2
E/N = 3kT D(λ) = 3kT (1 − λ + ....) si x¡¡13kT ( 3 + O(exp −1/λ) si x¿¿1
8 5λ
Podemos calcular en forma simple el calor especı́fico. será
· ¸
CV dD(λ) 3λ
= 3D(λ) + 3T = 3 4D(λ) −
Nk dT exp λ − 1
. Esta expresión podemos expandirla en serie de potencias si λ es chico o
evaluarla para λ grande, y nos da
à · ¸ µ
Cv 12 x 1 1 π2 T
= 3 4 − 3 − x − 3(1 − ) − x2 + ... = 3(1 − x2 + ..) si λ >> 112 λ3 + ......... ' 464.4
Nk 8 2 20 20 5 T
Esta última expresión permite ”medir” las temperaturas de Debey a partir del
comportamiento de los calores especı́ficos de los sólidos a bajas temperaturas.
Uno también puede calcularlo a partir del conocimiento de las caracterı́sticas
elásticas (que nos permiten calcular las velocidades de las ondas de sonido).
En la tabla muestro algúno valores de la TD inferidas de las dos formas para
distintos
materiales.
Cristal P b Ag Zn Cu Al C N aCl KCl M gO
TD de CV 88 215 308 345 398 1850 308 233 85
TD de elasticas 73 214 305 332 402 ? 320 240 950
Es interesante mirar las diferencias entre las predicciones que dan los mod-
elos de Einstein y de Debey. El modelo de Einstein tiene la caracterı́stica que
fue el primer modelo que consiguió explicar que el calor especı́fico en los sólidos
fuese a cero cuando T → 0.
El modelo de Debey también funciona para lı́quidos donde sólo hay ondas
longitudinales (i.e. hay que sacar el factor 3 para el contaje lo cual hace que
por ejemplo el calor especı́fico o la energı́a sea 1/3 de lo que es para sólidos.
En realidad el único lı́quido a bajas temperaturas donde este comportamiento
es observable con detalle es el He4 y el acuerdo es notable (el cociente entre
las dos temperaturas del Debey es del órden de 0.99). El He3 es un sistema de
fermiones y el calor especı́fico va lineal en T.
Si las velocidades longitudinales y transversales son distintas uno debe usar
que
Z ωD ,L Z ωD ,T
V 2 V
3 ω dω = N ; ω 2 dω = 2N
0
2
2π cL 0 π c3T
2
9 Gases reales
Vamos a considerar el tratamiento clásico (en el canónico) de un gas en que las
N partı́culas se encuentran interactuando con el hamiltoniano
X p2 X
i
H= + Vij (|ri −rj |)
i
2m i<j
70
El origen de i < j es para evitar el doble contaje de las interacciones y la
suposición que sólo depende de las distancias relativas es para simplificar el
problema.
En este caso la función de partición se puede escribir como
Z X p2 X
1
QN (V, T ) = d3N pd3N qexp − β i
+ Vij (|ri −rj |) =
N !h3N i
2m i<j
r
Z X
1 2π~2
= 3N
d q exp − β
3N
Vij (|ri −rj |) con λ =
N !λ i<j
mkT
1
= ZN (V, T )
N !λ3N
La gran función de partición se podra escribir como siempre en términos de
los QN , i.e. X
Q (z, V, T ) = z N QN (V, T )
N
El problema que tenemos es la evaluación de la integral sobre el espacio de con-
figuración. Vamos a suponer que el potencial tiene las caracterı́sticas de los po-
tenciales de interacción intermoleculares, i.e. un carozo duro y una cola atractiva
de corto rango, por ejemplo potenciales tipo el de Morse o el de Lennard-Jones.
Como siempre que uno va a hacer aproximaciones es conveniente buscar un
parámetro de expansión que sea pequeño. Para eso uno introduce una función
auxiliar
fij (r) = −1 + exp [−βVij (r)]
Esta función tiene la caracterı́stica que es distinta de cero sólo en la zona de
interacción y dentro de esta es una función suave.
Podremos entonces escribir
X Y Y
exp − β Vij (|ri −rj |) = exp − β [Vij (|ri −rj |)] = (1 + fij )
i<j i<j i<j
X X
=1+ fij + fij fkl + ....
i<j i<j,i<k
k<l
71
Veamos que pasa con la ecuación de estado si retenemos el órden más ³ bajo´en
¡ ∂A ¢
el canónico. Sabemos que A = −kT ln QN y que P = − ∂V T = kT ∂ ln∂VQN
T
donde podemos escribir para
Z
VN 1 3N
Y VN
QN = d r (1 + f ij ) = X(V, T ) ⇒
N !λ3N V N i<j
N !λ3N
µ ¶ µ ¶ µ ¶
∂ ln V ∂ ln X kT N ∂ ln X
P = kT N + kT = + +kT ⇒
∂V T ∂V T V ∂V T
µ ¶ µ · ¸¶
Pv ∂ ln X ∂ 1
=1+v =1+v ln X
kT ∂V T ∂v N T
Ahora bien si retengo sólo el primer término hay N (N − 1)/2 términos iguales
de tal forma que obtenemos
· Z ¸1/N
1 N 2
ln X ' ln 1 + 4πf (r)r dr
N 2v
72
representados por N cı́rculos numerados de 1 a N con un número de uniones
entre ellos (que representan los fij ). Si llamo a los distintos pares como α, β, .....λ
el gráfico estar asociado con una integral
Z
fα fβ .....fλ d3 r1 ....d3 rN
Un gráfico que tiene el mismo número de uniones pero que sean labeleados
distinto, i,.e. α0 , β 0 , .....λ0 será considerdo un gráfico distinto. Ahora bien, dada
la correspondencia uno a uno Q entre los distintos gráficos de N partı́culas y los
términos en la expansión de i<j (1 + fij ) podemos afirmar que será ZN =
suma de todos los gráficos distintos de N partı́culas. En vista de la posibilidad
de factorizar los gráficos es conveniente introducir el concepto de clusters de
órden l, en el cual los l cı́rculos están todos unidos de algúna forma al menos en
cadena y con posible uniones extras entre ellos. Es evidente que un cluster no
puede ser descompuesto en gráficos más simples. Para l más grande que 1 y 2
es evidente que hay una variedad de clusters, por ejemplo para l = 3 tenemos
cuatro gráficos
de los cuales los primeros tres son iguales en valor. Dada la gran diversidad
de formas en que puede aparecer los clusters de órden l vamos a definir las
llamadas integrales de los cluster de órden l, bl por la expresión
1
bl = ∗ (la suma de todos los posibles l-clusters)
l!λ3l−3 V
Las magnitudes con dimensiones de longitud han sido introducidas para que los
bl sean adimensionales y en el lı́mite de V → ∞ nos van a dar una contribución
finita (todas las integrales sobre coordenadas relativas nos darán expresiones
acotadas y finalmente hay una de las integrales que es sobre la coordenada del
centro de masa del cluster que se cancela con el factor 1/V ). El l! vamos a ver
después para que sirve, lo mismo que porque hemos elegido como forma de sacar
dimensiones de longitud a λ
Veamos las integrales asociadas con los clusters más simples
Z
1
b1 = 4πr2 dr = 1
V
Z Z Z
1 3 3 2π
b2 = 3 f12 (r)d r1 d r2 = 3 f (r)r2 dr
2λ V λ
1
b3 = 6 ∗ (suma de los cuatro clusters)
6λ V Z
1
= 6 (f12 f13 + f12 f23 + f13 f23 + f12 f13 f23 )d3 r1 d3 r2 d3 r3
6λ V
· Z Z ¸
1 3 3 3 3
= 6 3V f12 f13 d r12 d r23 + V f12 f13 f23 d r12 d r13
6λ V
Z
1
= 2b22 + 6 f12 f13 f23 d3 r12 d3 r13
6λ
73
y ası́ podrı́amos construir los órdenes siguientes. Podemos ahora evaluar las
distintas contribuciones a ZN . Un gráfico de órden N está constituido
P por m1
1-clusters, m2 2-clusters, m3 3-clusters, etc de tal froma que l ml l = N Sin
embargo un set {mi } no denota un gráfico sino una colección dePellos cuya
0
suma podremos representaar por S({mi }) de tal forma que ZN = S({mi })
donde la suma primada se refiere a que los {mi } esten asociados con N. Nuestro
problema entonces es ser capaces de evaluar S({mi }). Tenemos que ser cuida-
dosos porque que hay muchos gráficos asociados con el set {mi }. Escribamos un
diagrama de órden N relacionado con {mi }como
Este diagrama tiene exactamente N cı́rculos que deben ser etiquetados por
los números 1,2,...N en un órden arbitrario pero definido. Si sumamos toda las
posiblidades lo que obtenemos es
donde cada paréntesis contiene todos los diagramas de los l-clusters. Si uno
expande el multinomio cada término de S seguirá siendo un gráfico de órden N.
La suma sobre P corresponde a las numeraciones distintas de los cı́rculos de 1 a
N. Cada término de la suma no depende de como los haya numerado sino que
me va a ir dando cuantas veces aparece el diagrama.
Para ver cuanto vale la suma tenemos que notar las siguientes cosas:
1.- hay ml l-clusters y una permutación de estos ml objetos no nos da un
nuevo diagrama
2.- En la suma sobre los l-clusters una permutación de los l-objetos no lleva
a un nuevo diagrama (ver por ejemplo los cuatro
P diagrams de un 3-cluster)
Por lo tanto el número de términos en la P es
N!
[(1!)m1 (2!)m2 ....] [m1 !m2 !...]
y por lo tanto
(V λ3l−3 bl )ml N 1 V
S({ml }) = N !N
l=1 = N !λ3N
l=1 ( bl )ml ⇒
ml ! m l ! λ3
X 1 V
N
QN (V, T ) = l=1 ( bl )ml
ml ! λ3
{ml }
74
es
∞
X ∞
X · ¸
1 z l V ml
Q (z, V, T ) = .. ... l=1 ( bl ) ⇒
m1 =0 mk =0
ml ! λ3
∞
X
V
ln Q (z, V, T ) = bl z l
λ3
l=1
3
Para encontrar la relación entre los al y los bl uso la expresión para λv en
P∞
términos de la l=1 lbl z l y expreso también PkTv en términos de los bl , i.e.
∞
Ã∞ !l−1 P∞
X X l
l l=1 bl z
al (T ) lbl z = P∞ l
l=1 l=1 l=1 lbl z
lo cual nos da
a1 = b1 = 1
a2 = −b2
a3 = 4b22 − 2b3
a4 = −20b32 + 18b2 b3 − 3b4
Es interesante notar que los coeficientes del virial son determinados por los
llamados diagramas irreducibles de órden l. Por ejemplo
75
Z
1
a3 = 4b22 − 2b3 = − 6 f12 f13 f23 d3 r12 d3 r13
3λ
cada coeficiente del virial implica evaluar unas pocas integrales (que para po-
tenciales realistas pueden ser muy complicadas)
2π
R
Es a2 = −b2 = [1 − exp −βu(r)] r2 dr h¡ ¢
λ3
σ 6
¡ σ ¢12 i
Podrı́amos hacer la cuenta con un Lennard-Jones que tiene u(r) = 4ε r − r
(tiene un mı́nimo de profundidad -ε a un r0 = 21/6 σ)
Es más fácil reemplazarlo por un potencial con hard core, i.e.
r0 6
u(r) = +∞ si r < r0 −u0 ( ) si r > r0
r
Será entonces
"Z Z #
2π r0 ∞ h r i6
2 0 2
a2 = 3 r dr + (1 − exp(−βu0 )r dr
λ 0 r0 r
£ ¤6 R
si β es chico será 1-exp...' −u0 β rr0 ⇒ = − u30 βr03 y por lo tanto a2 =
2π 3
3λ3 r0 [1 − βu0 ]
La ecuación de estado nos queda entonces
Pv λ3 2π 3 B2 (T )
= 1 + a2 =1+ r0 [1 − βu0 ] = 1 +
kT v 3v v
Notar que puedo reescribirlo como
2π 3 kT 2π 3 kT 1
(P + r u0 ) = (1 + r )'
v2 0 v 3v 0 v (1 − 2π 3
3v r0 )
lo cual nos da una ecuación del tipo de van der Walls i.e.
µ ¶
2π 3 2π 3
(P + 2 r0 u0 ) v − r = kT
v 3 0
donde podemos reconocer los coeficientes de Van der Walls como a = 2πr03 u0 y
¡ ¢
4π r0 3
b = 2π 3
3 r0 = 4 ∗ 3 2 = 4v0
76
10 Singularidades y transiciones de fases
Las transiciones de fases implican la aparición
¡ ¢ de ceros o singularidades en
funciones termodinámicas (por ejemplo en ∂V ∂P T en la transición lı́quido gas).
Una pregunta que aparece es como es posible que aparezcan estas singularidades
derivadas de la función de partición que es una función analı́tica (es la suma de
exponenciales que son las funciones analı́ticas por excelencia) de sus argumentos
y que además no puede tener ceros (por ser la suma de funciones que nunca son
negativas). La respuesta esta en que un cuerpo macroscópico se puede describir
en el ”lı́mite termodinámico” (i.e. V → ∞ pero a densidad finita lo cual implica
que también N → ∞) y una suma infinita de funciones P analı́ticas puede tener
comportamientos no analı́ticos (por ejemplo la n exp(−β~ωn) )
Consideremos un sistema de N moléculas intereactuando con un potencial
del tipo de los potenciales reales de interacción, i.e. con un hard core y una parte
atractiva en el largo rango. Por lo tanto un volumen V puede contener al máximo
un número finito de moléculas M (V ) y será QN (V ) = 0 para N > M (V ) lo
cual nos deja a la gran función de partición como un polinomio en z del tipo
Q (z, V ) = 1 + zQ1 + ....... + z M QM
Dado que es un polinomio son todos los coeficientes positivos no hay ceros sobre
el eje real. La forma paramétrica de la ecuación de estado es como siempre
P 1 1 1 ∂ ∂P
= ln Q (z, V ) ; = ln Q (z, V ) = βz
kT V v V ∂z ∂z
Para cualquier valor finito de V las variables P y v son analı́ticas en una región
del plano complejo que incluye todo el eje real y P será también entonces una
función analı́tica de v en una región que incluye todo el eje real de v. De la
ecuación que define a P vemos que P > 0 y que
∂P ∂P ∂z 1
= = ¡ ¢ ≤0
∂v ∂z ∂v vz ∂v
∂z
∂ ∂ ∂ 1
porque sabemos que < N 2 > − < N >2 = z ∂z z ∂z ln Q (z, V ) = V z ∂z (v) =
− Vv2z ∂v
⇒
∂z ¡ ¢
∂v v 2 < N 2 > − < N >2
=− ≤0
∂z z V
Para que aparezcan singularidades debemos tomar el lı́mite temodinámico, i.e.
V → ∞, i.e.
P 1 1 1 ∂
= lim ln Q (z, V ) ; = lim ln Q (z, V )
kT V →∞ V v V →∞ V ∂z
En la segunda ecuación existen problemas con el órden de las operaciones lim y
∂
∂z . Para poder alterarlas necesitamos que exista convergencia uniforme.
Yang y Lee encontraron que las transiciones de fases están controladas por
como es que se mueven los ceros de Q (z, V ) en el plano complejo. Ellos pudieron
demostrar dos teoremas
77
[height=16.5cm, width=15.2cm,angle=-90]transiciones.ps
Figure 1: Real part of the gap ∆ for the isotones N=50, Z=z+50. The imaginary
part of the gap is, in absolute value, less than 4 × 10−8 MeV in all cases.
tenemos dos regiones R1 y R2 donde todo esto vale pero en z0 puede ser ∂P
∂z
discontinua.
Hay un ejemplo de Huang que ilustra este tipo de comportamientos. Consi-
dermos
Q(z, V ) = (1 + z)V (1 + z αV ) ⇒
ln Q(z, V ) = V ln(1 + z) + ln(1 + z αV )
∂ Vz αV
ln Q(z, V ) = + z αV −1
∂z 1+z (1 + z αV )
1
será βP = ln(1 +hz) + V ln(1 + z αV ) →iV →∞ ln(1 +hz) + α ln z i
1 z z αV
v = limV →∞ 1+z + (1+zααV ) z αV −1 = limV →∞ 1+z
z
+ αz (1+z αV )
78
10.1 Modelo de Ising
Sabemos que por abajo de la temperatura de Curie existe comportamiento
ferromagético, es decir que el sistema presenta una magnetización permanente.
El aspecto tipo de la magnetización está en el dibujo.
79
y por lo tanto la función de partición la podemos escribir como
" Ã !#
XX X X HX
QI = .... exp −β −ε sk sk+1 − (sk + sk+1 )
s s s
2
1 2 N k k
i.e.
Será entonces
· q ¸
1 2
AI (H, T ) = −ε − kT ln cosh (βH) + sinh (βH) + exp (−4βε)
N
80
De la forma habitual obtenemos la magnetización ,i.e.
· ¸
1 1 ∂ ln QI
MI (H, T ) =
N βN ∂H T
· · q ¸¸
1 ∂
= cosh (βH) + sinh2 (βH) + exp (−4βε)
β ∂H T
sinh (βH)
= q → 0 si H → 0
2
sinh (βH) + exp (−4βε)
Notar que si ε = 0 nos da el reultado clásico del paramagnetismo, i.e tan h(βH)
Es interesante mirar esta función para H 6= 0 para ver como varı́a como
función de la temperatura. El gráfico ilustra ese comportamiento
2N ε exp [−4βε]
+· q ¸q y si H → 0
2
cosh (βH) + sinh (βH) + exp (−4βε) sinh2 (βH) + exp (−4βε)
81
· ¸
exp [−2βε] −1 + exp [−2βε]
E(0, T ) = −N ε + 2N ε = Nε
1 + exp [−2βε] 1 + exp [−2βε]
= −N ε tanh [βε]
2
[βε]
C0 (T ) = Nk
sinh2 [βε]
que se ilustra en la figura.
82
lo cual nos permite escribir la función de partición como
h ³γ ´i X X
QN = exp N β ε−H exp [−2β (γε − H) N+ ] ´g(N+ , N++ ) exp [4βN++ ]
2
N+ ´N++
La suma primada sobre N++ ser refiere a que el N++ debe ser compatible con
el valor de N+ . Con todo esto lo único que hemos hecho a sido focalizar que
el problema es calcular la función g(N+ , N++ ) para lo cual lo que se hace es
realizar ciertas aproximaciones que nos dan aproximantes al problema que esta-
mos estudiando. Hay varios sistemas bidimensionales (lattice gas y aleaciones
binarias ) que se puede demostrar son equivalentes al Ising en dos dimensiones
(del cual por otro lado existe una solución analı́tica cuyos resultados discutire-
mos mas adelante). Para tener una idea de como se hace veremos en algún
detalle el lattice gas.
Lattice gas Se tiene una red fija de N sitios donde colocamos Na átomos
(se puede colocar como máximo uno en cada sitio y naturalmente Na < N ).
Cuando dos átomos son vecinos próximos existe una energı́a de interacción −ε0
y es todo el hamiltoniano. Si llamamos Naa al número de átomos próximos
E = −ε0 Naa y por lo tanto las funciones de partición y de gran partición serán
a compatibles
1 X X
QNa = exp [βε0 Naa ] = g(Na , Naa ) exp [βε0 Naa ]
Na !
Naa
a
X
donde se refiere a que Na y Naa sean compatibles
∞
X
Q (z, N, T ) = z Na QNa = exp [βN PG ]
Na =0
vemos que podemos reescribir las funciones de partición del lattice gas en
términos de la función e partición del Ising si hacemos el reconocimiento
Na ↔ N+
Naa ↔ N++
ε0 ↔ 4ε
z ↔ exp [2β (H − εγ)]
· ¸
AI γε
PG ↔ − + −H
N 2
· ¸
1 1 MI
↔ +1
v 2 N
83
da información global sobre la red, es decir información que tiene que ve con el
largo rango. Esto hace conveniente definir dos parámetros, llamados de corto y
largo rango vı́a
N+ (L + 1)
= con − 1 ≤ L ≤ 1, L parámetro de largo rango
N 2
N++ (σ + 1)
γN
= con − 1 ≤ σ ≤ 1, σparámetro de corto rango
2
2
84
· ¸
(1 + L) (1 + L) (1 − L) (1 − L)
= −N ln − ln
2 2 2 2
lo cual nos permite escribir para el término más importante de la función de
partición
(1 + L̄) ¡ ¢ £ ¡ ¢¤
ln = 2β γεL̄ + H o sea L̄ = tanh β γεL̄ + H
(1 − L̄)
lo cual nos da para la función de partición y la energı́a de Helmholtz
µ ¶
1 γε 2 1 1 − L̄2
ln QBW = −β L̄ − ln
N 2 2 4
µ ¶
ABW γε 2 kT 1 − L̄2
= L̄ + ln
N 2 2 4
£ ¤
En ausencia de campo magnético obtenemos que L̄ = tanh βγεL̄ que podemos
resolver gráficamente. Vemos que hay dos tipos de soluciones dependiendo que
βγε sea mayor o menor que uno. Si βγε < 1 la unica solución es L̄ = 0 y si
βγε > 1 existen dos soluciones con L̄ = ±L0 (en este caso la solución con L̄ = 0
corresponde a un mı́nimo). Si ε > 0 existe una temperatura crı́tica definida por
la condición γε = kTc . Dado que L̄ es la magnetización por partı́cula vemos
que por abajo de Tc existe ferromagnetismo. Tc es la temperatura de Curie y
la aparición de los dos signos es debida a que en ausencia de un campo externo
al sistema le da lo mismo orientarse para arriba o para abajo. En general
debemos resolver la ecuación trascendente pero si T = 0 o T = Tc (1 − x)
con x pequeño£ podemos ¤ encontrar soluciones aproximadas. Para T → 0 es
L0 = 1 − 2 exp −2 TTc . Para temperaturas próximas a Tc la ecuación que nos
queda es
· ¸ · ¸ Ã !
γεL̄ L̄ 1 1 ¡ ¢
L̄ = tanh = tanh ' L+ − 3 L3 +O L5
kTc (1 − x) (1 − x) 1−x 3 (1 − x)
r ³ ´
√ T
cuya solución nos da entonces L0 = 3x = 3 1− Tc . Es bueno tener
una idea aproximada de como se comporta la magnetización.
85
los resultados para T < Tc y abajo para T < Tc
µ ¶
ABW γε 2 kT 1 − L̄20
= 0 L̄ + ln
N 2 0 2 4
MBW
= 0L0
N
EBW εγ 2
= 0− L
N 2 0
CBW εγ dL20
= 0−
Nk 2 dT
3
En particular para Tc es CBW /N k = 2 En el dibujo está mostrado que es lo
que se obtiene
γ µ ¶
1X γ n n
[{z exp(2βε)} exp(−βεγ) + {z exp(−2βε)} exp(βεγ)] =
q n=0 n
1 γ γ
[1 + z exp(2βε)] exp(−βεγ) + [1 + z exp(−2βε)] exp(βεγ) =
q
86
1 γ γ
[exp(−βε) + z exp(βε)] + [exp(βε) + z exp (−βε)] = 1
q
Surge de la definición de P (1, n) que
Xγ
1+L N+ 1 γ
= = P (1, n) = [exp(−βε) + z exp (βε)]
2 N n=0
q
γ
1+σ N++ 1X z γ−1
= 1 = nP (1, n) = exp(βε) [exp(−βε) + z exp (βε)]
2 2 γN γ n=0
q
87
Notemos algúnas caracterı́sticas notables
1.- z = 1 es siempre solución
2.- Si z es solución también lo es 1/z
3.- Cambiar z ↔ 1/z cambia L̄ ↔ −L̄
Se puede calcular fácilmente la pendiente al origen del lado derecho de la
ecuación que es
(γ − 1) (exp [4βε] − 1)
c=
(1 + exp [2βε])2
que nos da la temperatura crı́tica (hacién la exoresión igual a 1) lo que nos da,
dándolo vuelta
2ε
kTc = h i
γ
ln γ−2
1
Por lo tanto para T > Tc tenemos z = 1, L̄ = 0, σ̄ = 2(1+exp[−2βε]) . Para T < Tc
tenemos z > 1, L̄ > 0 y por lo tanto hay magnetización pemanente. El calor
especı́fico nos dará
· ¸
CI (0, T ) 1 d εγ dσ̄ dL̄
= EI (0, T ) = − −
Nk N k dT N k dT dT
lo cual no se cancela cuando T > Tc sino que nos da
CI (0, T ) 2ε2 γ exp [2βε]
= 2 (1 + exp [2βε])2
Nk (kT )
Si se hace la cuenta con cariño sale el resultado del gráfico.
88
pudiendo escribir la función de partición como
XX X
QI = ........ exp [−βEI ({µ1 , µ2 , ..., µn })]
µ1 µ2 µn
y por lo tanto
1 1 1 1 1
ln λmax ≤ 2 QI = QI ≤ ln λmax + ln 2
n n N n n
por lo que en el lı́mite de n → ∞ la función de partición por sitio queda dada
por n1 ln λmax .
La obtención de los autovalores de la matriz P es complicada pero se llega
finalmente a que todos sus autovalores son positivos y que uno puede escribir la
matriz P de la forma
P = (2 sinh [2βε])n/2 V
donde el autovalor más grande de la matriz V se puede escribir como
· ¸ Z π ½ µ q ¶¾
1 1 2 cosh2 [2βε] 1 1 2 sin2 φ
ln λV
max = ln + dφ ln 1 + 1 − κ
n 2 sinh [2βε] 2π 0 2
donde
2 sinh [2βε]
κ=
cosh2 [2βε]
lo cual nos permite escribir la función de partición como
Z π ½ µ q ¶¾
1 1 1 2 2
QI = ln (cosh [2βε]) + dφ ln 1 + 1 − κ sin φ = −βaI (0, T )
N 2π 0 2
89
La energı́a interna por spin es
Z π q
∂βaI (0, T ) κ dκ sin2 φ
eI (0, T ) = = −2ε tanh [2βε]+ dφ con ∆ = 1 − κ2 sin2 φ
∂β 2π dβ 0 ∆(1 + ∆)
usando que
Z π Z π
sin2 φ (∆ − 1) sin2 φ π 1 dφ
=− 2 ⇒ dφ =− 2 + 2 p
∆(1 + ∆) κ ∆ 0 ∆(1 + ∆) κ κ 0 1 − κ2 sin2 φ
Tenemos que evaluar
· ¸
1 dκ 1 4ε 8ε sinh2 [2βε]
= − = 2ε [coth [2βε] − 2 tanh [2βε]]
κ dβ κ cosh [2βε] cosh3 [2βε]
= −2ε coth [2βε] (2 tanh2 [2βε] − 1)
de tal forma que
1 dκ
−2ε tanh [2βε] − = −ε coth [2βε]
2κ dβ
El término que contiene la integral nos queda por otro lado
Z Z
1 1 dκ π dφ 1 1 dκ π/2 dφ
p = p
2π κ dβ 0 2 2
1 − κ sin φ π κ dβ 0 1 − κ2 sin2 φ
Z π/2
2 1 dφ
= −2ε coth [2βε] (2 tanh [2βε] − 1) p
π 0 1 − κ2 sin2 φ
½ ¾
2 0
= −ε coth [2βε] ∗ κ K1 (κ)
π
90
Cerca de Tc podemos expresar el calor especı́fico en términos de |T − Tc | de
la forma
µ ¶2 · µ ¶ ¸
1 2 2ε T kTc π
CI (0, T ) ' − ln |1 − | + ln − (1 + )
k π kTc Tc 2ε 4
(1 + z 2 )1/4 (1 − 6z 2 + z 4 )1/8
mI (0, T ) = √
1 − z2
√
La transición de fase corresponde a z = 2 − 1 cuando se anula el denominador.
11 Grupo de renormalización
11.1 Ising en una dimensión
Voy a ilustrar la idea general de este método empezando nuevamente con el Ising
de una dimensión. Este sistema fue el que originó el método de renormalización
(en transiciones de fase) por lo que es ilustrativo su estudio. La función de
partición se puede escribir como (llamo para simplificar K = βε)
X
QI (K, N ) = exp K [s1 s2 + s2 s3 + ....]
s1 ,s2 ,..sN
91
De conseguir una relación de este tipo tendrı́amos que
X N/2
QI (K, N ) = f (K) exp (K 0 s1 s3 ) f (K) exp (K 0 s3 s5 ) ..... = [f (K)] Q(K 0 , N/2)
s1 ,s3 ,..sN
ln QI = N g(K)
K = cosh−1 [exp(2K 0 )]
1 1
g(K) = g(K 0 ) + ln 2 + K 0 /2 (recordar que f (K) = 2exp(2K0))
2 2
Es importante notar que por la forma como están relacionados es siempre
K > K 0 . Uno puede tener una estimación de cuanto vale g(0). En este caso
Q(0, N ) = 2N , y por lo tanto g(0) = ln 2. De igual forma para K grande
g(K, N ) = 2 exp(N K) ⇒ g(K) = K. Esto nos permte empezar con un valor
de K pequeño obteniendo uno mas grande y si se vuelve a reintroducir ese valor
sigue aumentando hasta llegar a infinito, o empezar desde infinito usando la otra
ecuación y venir bajando hasta llegar a cero. (lo podemos hacer porque tenemos
estimaciones de lo que vale la función g(K) en esos dos puntos iniciales). Es
interesante mirar la tabla que esta en Chandler de como se mueven las raı́ces y
compararlas con los valores exactos que uno obtiene calculando explı́citamente
la función de partición.
92
renormalización
K exacto
group
.01 ln 2 .0693197
.100334 .689147 .698172
.327447 .745814 .745827
.636247 .883204 .883210
.972710 1.106299 1.106302
1.316710 1.386078 1.386080
1.662637 1.697968 1.697968
2.009049 2.026876 2.026877
2.355582 2.364536 2.364537
Estos dos puntos a donde uno va a parar en forma ineludible son llamados
puntos fijos de la transformación. Cuando removemos grados de libertad con-
sideramos como si el problema fuese idéntico con una escala de longitud más
larga. En el caso unidimensional la remoción de grado de libertad nos lleva a
una constante de acoplamiento más débil. Esto es entendible porque no existe
órden de largo rango (excepto a T = 0 ⇒ K = ∞). Notemos que para K = 0 o
infinito no tenemos formas de tener ideas de escalas, cambiando la escala el sis-
tema parece ser el mismo (i.e. o completamente desordenado o completametne
ordenado). La invariancia de escala es la caracterı́stica central que uno explota
con los puntos fijos del grupo de renormalización.
93
De la mismo forma como hicimos en el caso unidimensional nos gustarı́a encon-
trar una transformación de Kadanoff que transforme esta forma que viene de
la sumas parciales en algo que tenga el mismo aspecto que la originaria. Esto
implica imponer
para todos lo valores de los cuatro s0 s. Esto claramente no es posible, tengo dos
grados de libertad (f (k) y K 0 ) y tres ecuaciones. Notar que el exponente del
lado derecho se puede factorizar como (s1 + s3 ) ∗ (s2 + s4 ) de tal forma que será
distinto de cero sólo si ambas sumas son distintas de cero, lo cual nos da una
ecuación
exp(4K) + exp(−4K) = f (K) exp(4K 0 )
Tenemos tres posibilidades, que algúna de las dos sumas sean cero, que las dos
sean cero o que una sea igual a mas dos y la otra a menos dos. Estos tres casos
nos dan tres ecuaciones diferentes que son incompatibles, i.e
las cuales no tienen solución decente. Tengo que permitirme más grados de
libertad. Puedo elegir por ejemplo que la exponencial del lado derecho tenga la
forma
1
K1 [s1 s2 + s1 s4 + s2 s3 + s3 s4 ] + K2 (s1 s3 + s2 s4 ) + K3 s1 s3 s2 s4
2
Tengo entonces que pedir que las ecuaciones sean válidas para todos los posibles
espines
lo cual nos da P
s1 s2 s3 s4 si (s1 + s3 )(s2 + s4 ) s1 s3 + s2 s4 s1 s2 s3 s4
+ + + + 4 4 2 1
+ + + − 2 0 0 −1
+ + − + 2 0 0 −1
+ + − − 0 0 −2 1
+ − + + 2 0 0 −1
+ − + − 0 −4 2 1
+ − − + 0 0 −2 1
+ − − − −2 0 0 −1
− − − − −4 4 2 1
− − − + −2 0 0 −1
− − + − −2 0 0 −1
− − + + 0 0 −2 1
− + − − −2 0 0 −1
− + − + 0 −4 2 1
£ − + + − 0 ¤ 0 −2 1
− + + + 2 0 0 −1
Vemos que nos quedan entonces cuatro ecuaciones (y tenemos cuatro nuevos
parámetros). Es
94
exp(4K) + exp(−4K) = f (K) exp(2K1 + 2K2 + K3 )
exp(2K) + exp(−2K) = f (K) exp(−K3 )
2 = f (K) exp(−2K2 + K3 )
2 = f (K) exp(−2K1 + 2K2 + K3 )
Notar que cada par de los nuevos vecinos próximos aparece dos veces (por
ejemplo en los que escribı́ explı́citamente el par 2-3) y los segundos vecinos(1-3
y 2-4) aparecen sólo una vez y los conjuntos de cuatro espines aparecen también
una vez, es decir podemos escribir en general
X X N/2
X X X X
Q(K, N ) = exp K si sj = [f (K)] exp K1 si sj + K2 sl sm + K3 sp s
N espines <ij> N/2 espines <ij> s.vec
N/2 1
Q(K, N ) = [f (K)] Q(K1 , N/2) y K1 = ln cosh(4K)
4
95
y la ecuación en K1 tiene como únicos puntos fijos cero e infinito, es decir no
hay transición de fase. Tenemos que incluir de algúna forma a K2 , es decir
introducir una nueva constante de interacción efectiva tal que
X X X
K1 si sj + K2 sl sm ' K 0 (K1 , K2 ) si sj
<ij> s.vec <ij>
y si usamos los resultados que habı́amos obtenido antes esto nos a para K 0 =
3
8 ln cosh(4K) que tiene un punto fijo no trivı́al (Kc = 0.507)
Sin embargo este punto fijo es no estable por que si K < Kc nos sale que
K 0 < K y para K > Kc sale K 0 > K. Para simplificar el tratamiento es
conveniente tener las ecuaciones que nos dan K en términos de K 0 ( y g(K) en
términos de g(K 0 )). Estas ecuaciones son
1 1 1 n 1/4
o
K= cosh−1 (exp [8K 0 /3]) y g(K) = g(K 0 )+ ln 2 exp [2K 0 /3] [cosh(4K 0 /3)]
4 2 2
El calor especı́fico podemos escribirlo como
d2
C= g(K)
dK 2
que se puede ver diverge si K → Kc de acuerdo a una ley de potencias i.e.
C ∝ |T − Tc |−α con α ' .131
Notemos que los resultados que hemos obtenido con esta aproximación sim-
ple son bastante razonables. Por un lado para la temperatura crı́tica obtuvimos
ε
kTc = 0.507 y el resultado de Onsager es 0.44069. Por otro lado el calor es-
pecı́fico diverge muy lentamente (α ' .131) y el resultado de Onsager es α ' 0
(es decir una divergencia logarı́tmica)
96
12 Transiciones de fase, universalidad y scaling
Ahora queremos estudiar esta ecuación en la vecindad del punto crı́tico para lo
cual introduzco tres nuevas variables vı́a Ps = 1 + π; vs = 1 + ψ; Ts = 1 + t.
Si t > 0 estaremos por arriba de la transición de fase, si es negativo estamos
en al zona de coexistencia. Si hago el reemplazo en términos de estas nuevas
variables la ecuación que nos queda es
π(2 + 7ψ + 8ψ 2 + 3ψ 3 ) + 3ψ 3 = 8t(1 + 2ψ + ψ 2 )
Para t < 0, mirando las isotermas de Van der Walls vemos que de las tres
soluciones hay un que es practicamente nula y el módulo de las otras dos es
básicamente el mismo. Esto nos fuerza a cancelar el término independiente, i.e.
tenemos que π ' 4t con lo que la ecuación para determinar las dos no nulas nos
queda p
ψ 2 + 8tψ + 4t = 0 ⇒ (recordar que t < 0) ψ = ±2 |t|
Podemos ahora
³ ´evaluar la compresibilidad en la zona de t < 0. Lo que queremos
evaluar es ∂ψ∂π lo cual podemos hacer usando la ecuación de mas arriba. A t
t
fijo será
£ ¤
dπ(2 + 7ψ + 8ψ 2 + 3ψ 3 ) = dψ −π(7 + 16ψ + 9ψ 2 ) − 9ψ 2 + 8t(2 + 2ψ)
97
√
usando que π ' O(t) y ψ ' O( t) y reteniendo los términos del órden más bajo
(lineales en t) y nos queda
µ ¶
∂ψ 2
'−
∂π t=0 7π + 9ψ 2 − 16t
Si t > 0 nos acercamos por la isocora que tiene ψ ' 0 ⇒
µ ¶
∂ψ 2 1
'− '−
∂π t=0+ 7π − 16t 6t
Si t < 0 nos acercamos por la isocora que tiene ψ 2 ' 4|t| que nos da
µ ¶
∂ψ 1
'−
∂π t=0− 12|t|
Es decir el exponente crı́tico es -1
Para los calores especı́ficos del gas de Van der Walls se obtiene haciendo
cuentas similares
µ ¶
9 28
CV = (CV )ideal + N k(1 + t) (t < 0) 0 (t > 0)
2 25
es decir que presenta un salto finito en la transición de fase, pero no hay ningún
tipo de divergencias..
Las ecuaciones que dan la relación entre π y ψ; entre ψ y t , la dependencia
con t de la compresibilidad y del calor especı́fico ilustran el comportamiento
crı́tico de un gas de Van der Walls.
98
transición de fase de la siguiente forma (uso las variables del caso magnético
pero si no hay simplemente que hacer un diccionario)
m ∼ (T − Tc )β (cuando H → 0, T . Tc )
µ ¶
∂m
χ0 ∼ ∼ (T − Tc )−γ si T 3 Tc (T − Tc )−γ´ si T . Tc
∂H T,H→0
En el caso de la transición lı́quido gas el papel
³ de´la susceptibilidad es jugado
∂ρ
por la compresibilidad isotérmica, i.e κT = ρ1 ∂P .Otro exponente crı́tico es
T
definido usando la temperatura crı́tica
mT =Tc ∼ H 1/δ (T = Tc , H → 0)
Para el caso de la transición lı́quido gas nos da una idea de lo chata que es la
presión como función del volumen, i.e.
(P − Pc )Tc ∼ |ρ − ρc |δ (T = Tc , P → Pc )
Por último están los exponentes que caracterizan a los calores especı́ficos
CV ∼ (T − Tc )−α si T 3 Tc (T − Tc )−α´ si T . Tc
¡ ¢
Cuando la potencia es muy pequeña, se suele usar f (t) ∼ |t|−λ − 1 /λ (con
|t—¡¡1).Siλ > 0 esta función tiene una divergencia del tipo habitual par t=0,
pero si λ → 0 nos da f (t) ∼ ln(1/|t|). En cualquier caso la derivada se comporta
como f´(t) ∼ |t|−λ+1 .
Los resultados que hemos obtenido para el gas de Van der Walls ( o para
el Ising de dos dimensiones) tienen la carateristica interesante que nos dan los
mismos exponentes crı́ticos
1
β= ; γ = γ 0 = 1; δ = 3; α = α´= 0
2
Esto nos sugiere fuertemente que debe haber una explicación simple.
99
El valor que tiene m se saca de minimizar ψ0 (t, m) (respecto de m), i.e
s
3 r(t)
r(t)m0 + 2s(t)m0 = 0 ⇒ m0 = ± −
2s(t)
100
Exponentes Sistemas gases-lı́quidos Aleaciones
Ferroelectricos He4 Landau
crı́ticos magnéticos reales binarias
α, α 0 − .2 .1 − .2 − − −.026 0
β .3 − .36 .32−, 35 .305 ± .005 .33 − .34 − 1/2
γ 1.2 − 1.4 1.2 − 1.3 1.24 ± .015 1.0 ± .2 − 1
γ´ 1.0 − 1.2 1.1 − 1.2 1.23 ± .025 1.23 ± .02 − 1
δ 4.2 − 4.8 4.6 − 5.0 − − − 3
La teorı́a de Landau nos da los mismo que lo que obtuvimos para Van der
Walls o la descripción en campo medio del Ising (Bethe -Peierls). Los números
para los distintos fenómenos medidos son muy parecidos entre sı́ pero son distin-
tos de la teorı́a de Landau. Hay que hacer algo mejor. Aparecen naturalmente
algúnas dudas
1.- ¿Los coeficientes son independientes o están relacionados entre sı́?
2.- ¿De qué caracterı́sticas del sistema dependen?
3.- ¿Existe algúna forma de evaluarlos a partir de prı̀meros principios?
12.4 Scaling
Una idea que nos permite avanzar es tratar de utilizar el concepto que en los
sistemas ordenados la longitud de correlación se hace infinita. Hay que mirar
con un poco de cuidado la dependencia de la función de correlación con la
dimensión. La función de correlación se define como
Γ(r) = < m(r)m(0) > − < m(0) >2
= < m(r)m(0) > si t > 0
Se ve que Γ(k) =< |m̃(k)|2 > y para estimar este valor de expectación uno
supone que las fluctuaciones en m son isotrópicas y eso nos permite calcular la
energı́a libre como
Z Z
3
£ 2 2
¤ d3 k £ 2 ¤
G(r) = d r c1 ∇ m + c2 m = 3
c1 k + c2 |m̃(k)|2
(2π)
donde c1 y c2 son funciones de la temperatura. Esto nos £permite encontrar
¤ la
contribución de cada modo a la energı́a libre, i.e G(k) = c1 k 2 + c2 |m̃(k)|2 y
esto deberá ser kT por equipartición de tal forma que obtenemos para
kT
< |m̃(k)|2 >=
[c1 k 2 + c2 ]
101
La anti-transformada de Fourier nos da entonces para
exp [−r/ξ] p
Γ(r) = con ξ = c1 /c2
r
El exponente de r en el denominador en general depende de la dimensión y
de como sea la dependencia de c1 y c2 con t. Notar que en el modelo de
Landau y similares c2 es aproximadamente constante y c1 ∼ t lo cual nos da
que ξ ∼ |t|−1/2 .. La función de correlación en dimensión d se puede escribir
como (hago c1 = c´a2 )
µ ¶ d−2
a2 2
2−α = νd (de G)
β = −ν(2 − d − η)/2 (de M)
γ = ν(2 − η) (de χ)
βδ = ν(2 + d − η) (de H)
102
Recordar la definición de los exponentes:
m ∼ tβ ; χ0 ∼ t−γ ; Cm ∼ t−α ; H ∼ mδ
con lo cual vemos que sólo dos de los exponentes crı́ticos son independientes.
Otra formas de implementar la hipotesis del ”escaleo” es notar que en ausen-
cia de campo magnético la función de correlación cerca de t = 0 tiene el aspecto
El motivo por el que metemos Hξ y es porque uno sabe que el efecto del campo
magnético es magnificado por la longitud de correlación, cuando esta se haga
grande el campo va a ser mas efectivo en orientar al sistema. Esto significa
que aparecerá H|t|−νy = H|t|−∆ Esta ley la podrı́amos haber derivado de la
dependencia de la susceptibilidad con la función de correlación. Es
Z Z
1 3 1
χ= d rΓ(r) = dd r|x|−p F ± (x/ξ) = cte ∗ ξ d−p ∼ |t|−ν(2−η) ∼ |t|−γ
kT kT
Podemos ahora mirar el caso H 6= 0 en cuyo caso nos quedará
Z
1
χ= dd r|x|−p R ± (x/ξ, Hξ y ) = cte ∗ ξ d−p K ± (Hξ y ) ∼ |t|−γ K ± (Hξ
y
)
kT
y si la integro respecto de H nos da (escaleando nuevamente)
M ∼ |t|∆−γ M ± (H/|t|
∆
)
que nos da entonces que ∆ − γ = β. Si uno integra una vez más respecto de
H se obtiene la energı́a libre y el exponente será 2∆ − γ y por lo tanto en los
calores especı́ficos tendremos 2∆ − γ − 2 = −α = 2β + γ − 2
Podemos estudiar las otras variables termodinámicas relevantes y obtener
las cuatro relaciones que habı́amos sacado por argumentos de dimensionalidad.
La hipótesis de escaleo esta basada en la suposición que ξ es la única lon-
gitud caracterı́stica para sistema cerca de t = 0. Por otro lado sabemos que
experimentalmente la longitud de correlación se va a infinito en t = 0 lo cual
implica que el sistema se queda sin ninguna longitud caracterı́stica y es por lo
tanto invariante frente a transformaciones de escala, lo cual implica que las fun-
ciones termodinámicas deben ser funciones homogeneas. Por ejemplo la función
de correlación nos queda
103
La energı́a libre g tiene dimensión d y por lo tanto será una función homogénea
de grado d, es decir
h
g(h, t) = td/Dt g( , 1)
tDh /Dt
que tiene el aspecto que habı́amos presupuesto. Notar que podemos expresar
todos los exponentes crı́ticos en términos de estas dos variables de una forma
simple y por supuesto se satisfacen las cuatro relaciones entre los exponentes
crı́ticos.
d
α = 2−
Dt
Dh
δ =
d − Dh
d − Dh
β =
Dt
2Dh − d
γ =
Dt
η = 2 + d − 2Dh
1
ν =
Dt
104