3.

Teora de Landau

Analicemos las similitudes entre el comportamiento de los modelos de Van der Waals y
de Curie-Weiss en el entorno del punto crtico. En dicha region, la ecuacion de estado
de Van der Waals puede desarrollarse en terminos de variables reducidas como (ver
problema 1, Gua 1)
3
= 4t 6t 3 + O( 4 , t 2 )
2

(140)

donde (p pc )/pc , (v vc )/vc y t (T Tc )/Tc . La construccion de

Maxwell nos da que g = l t y = 4t, de manera que el parametro de

orden = (g l )/2 = g y su parametro conjugado B = 4t. As, el parametro
de orden es solucion (en las cercanas del punto crtico) de la Ec.(140), la cual debe
complementarse con la construccion de Maxwell. Notemos que definiendo una funcion

3
(P, T, ) = f0 (P, T ) + A ( 4t) + 3t + 4
8

(141)

donde f0 (P, T ) es una funcion analtica de P y T , A es alguna constante que fija las
unidades correctas y el parametro se deja variar de forma independiente, la Ec(140)
puede obtenerse minimizando la funcion respecto de , para valores dados de P y
T . De esta manera, el valor de equilibrio de queda determinado enteramente por el
problema varaicional, incluyendo la construccion de Maxwell.
Por otra parte, hemos visto que la solucion del modelo de Curie-Weiss puede obtenerse minimizando una funcion del parametro de orden (en este caso, la magnetizacion)
de la forma

(B, T, ) = ln 2 cosh
+ B

1 2

2c

En las cercanas del punto crtico T Tc , B 1, tenemos que || 1 y podemos

desarrollar

ln 2 cosh
+ B
c

1
= ln 2 +
2

+ B
c

126

12

+ B
c

El analisis de las soluciones de la ecuacion de Curie-Weiss nos muestra que = m

B 1/ para T Tc con = 3, de donde B 3 . Desarrollando entonces la ecuacion
anterior hasta O( 4 ) tenemos que

1
1

1 3 4

B
(B, T, ) = ln 2 +
1
2 +
4

2c
c
12 c
c

(142)

La comparacion entre las Ecs.(141) y (142) nos muestra que ambas presentan exactamente el mismo tipo de desarrollo asint
otico en el entorno del punto crtico, lo cual
determina que presenten los mismos exponentes crticos. Esta semejanza en la estructura del desarrollo asintotico de estas ecuaciones llevo a L. Landau a sugerir que el
mismo tipo de consideraciones podran aplicarse a todo tipo de transiciones de fase. La
teora resultante se conoce como Teora Fenomenol
ogica de Landau. Esta postula que,
una vez identificado el parametro de orden (concepto que fue introducido tambien por
Landau) toda transicion de fase puede ser descripta en base a un principio variacional
asociado con una funcion del parametro de orden y de los parametros {Ki } del sistema
L(, {Ki }). Esta funcion se conoce como funcional de Landau y el estado de equilibrio del sistema viene dado por el mnimo absoluto de dicha funcional con respecto al
parametro de orden. La energa libre del sistema viene dada entonces por
f ([K]) = min L(, [K])

La funcional de Landau debe ser consistente con las simetras del sistema y se asume
que la misma es una funci
on analtica de y de [K], con lo cual admite un desarrollo
en serie de potencias de ;
L(, [K]) =

an ([K]) n

n=0

La singularidad en la energa libre es por lo tanto un resultado solo del principio variacional y de las simetras del sistema. En la fase desordenada el valor del parametro de
orden que minimiza L tiene que ser = 0, mientras que en la fase ordenada, cerca del
punto crtico, tiene que ser peque
no, pero no nulo. As, para un sistema homogeneo,
podemos truncar el desarrollo en serie en alg
un orden finito, suficientemente cerca del
127

punto crtico. Para una transicion de segundo orden, en base a los resultados vistos
anteriormente, podemos suponer suficiente conservar hasta el orden O( 4 ) para que
toda la fsica importante cerca de la criticalidad se manifieste. Bajo esta suposicion,
tenemos que el mnimo de estara determinado por
L
= a1 + 2a2 + 3a3 2 + 4a4 3 = 0

(143)

Los coeficientes del desarrollo pueden determinarse parcialmente usando las simetras
del sistema. Si el campo conjugado al parametro de orden es B = 0 (campo magnetico
o 4t en el caso de Van der Waals), tenemos que = 0 para T > Tc . Dado que
los coeficientes se asumen funciones analticas de todos sus parametros tenemos que
a1 (T, B = 0) = 0. Por otra parte, supongamos que el Hamiltoniano del sistema es tal
que para B = 0 la distribucion de probabilidad para es par en un sistema finito (como
ocurre en un sistema con simetra Z2 ). Esta simetra debe reflejarse en la funcional L;
de hecho puede verse que P exp(L). Asi, a campo nulo, todos los coeficientes de
ndice impar deben anularse a3 = a5 = a7 = = 0. Entonces, a campo nulo
L(, [K]) = a0 ([K], T ) + a2 ([K], T ) 2 + a4 ([K], T ) 4
Notemos que el requerimiento de analiticidad para L no permite la presencia de terminos
del tipo ||. Ademas el coeficiente a4 tiene que ser positivo; de otra manera, L podra
ser minimizada haciendo || , mientras que queremos que pase de cero a un
valor finito al atravesar el punto crtico.
a0 ([K], T ) es simplemente la energa libre en la fase de altas temperaturas, la cual
puede asumirse una funcion suave de todos sus parametros. Esta representa los grados
de libertad que no se encuentran descriptos por el parametro de orden (por ejemplo,
los grados de libertad asociados a la energa cinetica de las partculas); dado que no
interviene para nada en la descripcion de las propiedades crticas, en general la vamos
a considerar nula (tambien podemos redefinir L L a0 ).
Consideremos ahora a4 como funcion de T . Dado que es analtica, podemos desarrollarla en serie de Taylor en trono de Tc :
128

a4 = a04 + (T Tc )a14 +
En el regimen asintotico cerca del punto crtico es suficiente con conservar el termino
de orden cero a04 y considerar a4 como una constante positiva; la dependencia en la
temperatura de los terminos de orden superior solo daran una contribuci
on de segundo
orden a las propiedades crticas.
En forma semejante podemos desarrollar a2 :
a2 = a02 +

(T Tc ) 1
a2 + O((T Tc )2 )
Tc

Con las consideraciones anteriores tenemos que la Ec.(143) tiene la forma

2(a2 (T ) + 2a4 2 ) = 0
la cual tiene como soluciones

=0

a2 (T )
2a4

Ahora bien, para a4 > 0, L() presenta dos posibles formas, de acuerdo al signo de
a2 (T ), tal como se muestra en la Fig.31. Para a2 (T ) > 0 L() presenta un mnimo
absoluto en = 0, consistente con un estado desordenado, mientras que para a2 (T ) < 0
p

L() presenta dos mnimos simetricos en 0 = a2 (T )/2a4 (ver Fig.31). Dado que
para T > Tc , = 0, tenemos que a02 = 0 y a12 > 0. Los terminos superiores en el
desarrollo de a2 (T ) dan una contribuci
on de segundo orden al comportamiento crtico.

Consideremos ahora el caso B 6= 0. El coeficiente de menor orden en el desarrollo

de L puede escribirse como a1 = cB + O(B 2 ). De la termodinamica sabemos que la
contribucion a la energa libre para campos peque
nos es B (Bm en el caso de
sistemas magneticos o P v en el caso de fluidos) de donde se asume que c = 1. As,
arribamos a la expresion general para la funcional de Landau, en el caso de transiciones
de segundo orden y en la region crtica,
129

0
0

(a)

(b)

Figura 31: Funcional de Landau para B = 0. (a) T > Tc . (b) T < Tc .

1
1
L = at 2 + b 4 B
2
4

(144)

donde t (T Tc )/Tc es la temperatura reducida y los coeficientes a > 0 y b > 0

son fenomenologicos y en principio pueden ser obtenidos de una teora microscopica
apropiada.
Tenemos entonces el siguiente comportamiento asint
otico para el parametro de orden en equilibrio

0 =

para t > 0
at
b

(145)

para t < 0

de donde el exponente crtico = 1/2. Notemos que la teora de Landau tampoco nos
da el valor de Tc ; este tiene que ser determinado a partir de una teora microscopica.
Para B = 0 y t > 0, L = 0, o bien f (T ) a0 (T ) = 0. Para t < 0 tenemos
L(0 ) =

130

1 a 2 t2
2 b

El calor especfico puede ser calculado entonces como

C = T

2L
T 2

para T > Tc

para T < Tc

a2

bTc

Vemos que C presenta una discontinuidad en Tc y por lo tanto el exponente crtico

= 0dis .
Consideremos ahora el caso B 6= 0. Derivando la Ec.(155) obtenemos la ecuacion
de estado
at + b 3 = B

(146)

En la isoterma crtica t = 0 tenemos B 3 y por lo tanto = 3. Derivando la

ecuacion anterior respecto de B obtenemos
(B) =

(B)
1
=
B
at + 3b 2 (B)

donde (B) es solucion de la Ec.(146). Para B = 0 y t > 0 tenemos que = 0 y por lo

tanto = (at)1 . Para t < 0, 2 = at/b y = (2at)1 .
Hasta ahora hemos asumido siempre que el exponente crtico asociado con cantidades divergentes es el mismo a ambos lados de la singularidad. De hecho es as, como
veremos mas delante. Sin embargo, este hecho es no trivial y por esto se suelen distinguir los exponentes y 0 a izquierda y derecha de la singularidad respectivamente
(t < 0 y t > 0). Vemos aqui que la teora de Landau predice correctamente que = 0 ,
y ademas = 1.
Hasta aqui hemos considerado las teoras de campo medio solamente en sistemas con
parametro de orden escalar. Sin embargo, todo el analisis anterior puede generalizarse
para un parametro de orden vectorial de dimension D. Puede verse entonces, que la
funcional de Landau mas general compatible con las simetras de un sistema homogeneo,
isotropico, con una transicion de segundo orden, del tipo descripto por el modelo n
vectorial, tiene la forma
1
~
L = at|~ |2 + b|~ |4 B.~
2
131

(147)

y la condicion extremal viene dada por

~ L = 0
Los exponentes crticos en este caso son claramente los mismos que en el anterior.
Esta universalidad de los exponentes crticos respecto de la dimension del parametro
de orden es otra de las predicciones incorrectas de las teoras de campo medio.
3.5.1

Transiciones de primer orden y puntos tricrticos en la Teora de

Landau

En la descripcion anterior hemos asumido que el coeficiente de orden cuarto en el desarrollo de L es positivo. Es posible que este coeficiente sea negativo? Efectivamente, la
adicion de otros parametros microscopicos en el Hamiltoniano (por ejemplo, el termino
cuadratico proporcional a D en el modelo BEG) pueden ocasionar este efecto. En este
caso, las consideraciones de estabilidad nos dicen que el siguiente termino en el desarrollo en serie de potencias tiene que ser positivo. Para un sistema con simetra ante
inversion del campo externo (Z2 u O(n)) la funcional de Landau es par en y por lo
tanto el siguiente termino es de orden sexto proporcional a a6 . Llamemos de manera
generica x a los otros parametros. Podemos entonces escribir:
1
1
1
L = a2 (T, x) 2 + a4 (T, x) 4 + a6 (T, x) 6
2
4
6
donde a6 (T, x) > 0 T, x. La condicion extremal
L
= a2 + a4 3 + a6 5 = (a2 + a4 2 + a6 4 ) = 0

nos da como soluciones = 0 o

q
1
=
a4 a24 4a2 a6
2a6

Para a4 > 0 y a2 > 0 solo tenemos una solucion real = 0, mientras que para a4 > 0
2 que son m
nimos de L, mientras que
y a2 < 0, tenemos otras dos soluciones reales +

= 0 se vuelve maximo, recuperando al caso anterior.

132

En el caso a4 < 0 podemos tener cinco soluciones reales de la condicion extremal

para L, cuando a2 > 0; si a4 < 0 y a2 < 0, solo tenemos tres soluciones reales: = 0,
2 . Para a < 0
que tiene que ser un maximo por simetra y dos mnimos simetricos +
4

y a2 > 0 tendremos cinco soluciones reales si a24 a2 a6 > 0. Si analizamos la derivada

segunda
2L
= a2 + 3a4 2 + 5a6 4
2

2 L
= a2

2 =0
vemos que para a2 > 0 la solucion = 0 es siempre un mnimo. Dado que L es continua,
2 tienen que ser m
2 m
por simetra las soluciones +
nimos y las soluciones
aximos, tal

como se muestra en la Fig.32. Estos mnimos pueden ser locales (en cuyo caso = 0
es absoluto, como se muestra en la Fig.32) o absolutos. Al variar los parametros T y x
podemos pasar de una a otra situacion, lo cual corresponde a una transicion de primer
orden, ya que el parametro de orden cambia de manera discontinua cuando las energas
2 6= 0 se igualan. Ahora bien, debemos
libres correspondientes a los estados = 0 y +

tener cuidado ya que el presente desarrollo solo vale para || 1; para valores grandes
del parametro de orden a
un podemos tener una transicion de primer orden, pero en
ese caso no podemos truncar el desarrollo en serie de potencias ya que |+ | puede no
ser peque
no y debemos considerar la funcional de Landau completa. Las soluciones
de equilibrio para el parametro de orden tomaran valores peque
nos cuando |a2 | 1 y
|a4 | 1. En esta situacion es posible que para una combinaci
on particular de valores
se cumpla que a2 (Tt , xt ) = 0 y a4 (Tt , xt ) = 0. Los valores (Tt , xt ), soluciones de las
ecuaciones anteriores, definen un punto tricrtico (PTC). Ahora bien, para a4 > 0 la
condicion a2 (T, x) = 0 define una lnea de puntos crticos o lnea crtica o de segundo
orden Tc = Tc (x). El punto tricrtico corresponde por lo tanto a el punto terminal de
la linea crtica (Landau lo llamo punto crtico de la lnea de segundo orden). En el
entorno del PTC (donde vale el desarrollo hasta orden 6) para a4 < 0 tendremos una
lnea de primer orden definida por la condicion
133

Figura 32: Funcional de Landau para a4 < 0 y a2 > 0.

L(+ ) = L(0) = 0
lo cual nos da la ecuacion
s

a4 (T, x) =

a2 (T, x)a6 (T, x)

3

El diagrama de fases esquematico en el espacio (a2 , a4 ) se muestra en la Fig.33; en

la misma se muestran las diferentes formas que adopta la funcional de Landau en las
diferentes regiones de este diagrama. Al pasar al espacio (T, x) este diagrama toma la
forma que se muestra en la Fig.34. Es facil ver (queda como ejercicio para el lector) que
las lineas de primer y segundo orden tienen siempre la misma pendiente en el punto
tricrtico.

En las cercanas del PTC podemos desarrollar

a2 (T, x) = at + b
a4 (T, x) = ct + d
134

a4

linea critica o
de segundo orden

PTC

a2

linea de primer orden

Figura 33: Diagrama de fases en el entorno de un punto tricrtico en el espacio (a2 , a4 )

seg
un la teora de Landau. En cada region se muestran las formas caractersticas de la
funcional de Landau.

135

T
Tc(x)
PTC

Tt

fase desordenada

=0

fase ordenada

xt

Figura 34: Diagrama de fases esquematico de un sistema con un punto tricrtico en el

espacio (T, x).
donde los coeficientes a, b, c, d son todos positivos y t (T Tt )/Tt , (x xt )/xt
(hemos asumido que la fase ordenada ocurre para x < xt ). Podemos analizar el comportamiento asintotico de la magnetizacion en el entorno del PTC aproxim
adonos por
la linea a4 = 0, con lo cual = (c/d)t. As
a2 = (a bc/d)t = a0 t

A campo no nulo la funcional de Landau tiene entonces la forma

1
1
L = a0 t 2 + a6 6 B
2
6
donde a6 se asume constante en el entorno del PTC. La ecuacion de estado entonces es
a0 t + a6 5 = B
Para B = 0 tenemos entonces
136

a0
a6

1/4

para t > 0
(t)1/4 para t < 0

(148)

de donde t = 1/4. Mediante un analisis semejante puede verse que t = 1/2, t =

t0 = 1 y t = 5. Nuevamente podemos verificar que los exponentes tricrticos clasicos
satisfacen las igualdades de Rushbrooke y Griffiths.
Vamos a remarcar que en todo lo expuesto solo hemos considerado potencias pares
en el desarrollo de L. Esto se basa en la simetra de inversi
on ante el campo externo del
Hamiltoniano. Si esta simetra no esta presente, debemos considerar tambien potencias
impares. En particular, un termino c
ubico en el desarrollo de L puede dar lugar tambien
a una transicion de primer orden. Esto ocurre precisamente para el modelo de Potts
con q 3. Si desarrollameos la Ec.(133) hasta orden 4 obtenemos:
F (m)
kB
kB T
kB T 2
=
(T K z) m2
(q 2) m3 +
(q 3q + 3) m4 +
q1
2
6
12
de manera que para q > 2 el desarrolo presenta un termino c
ubico. Consideremos
entonces de manera generica un desarrollo de Landau del tipo
L() =

1
1
1
at 2 c 3 + b 4 +
2
3
4

donde a, b, c > 0 y t = (T Tc0 )/Tc0 ; Tc0 es la temperatura a la cual ocurre la transicion

de segundo orden en ausencia de termino c
ubico. La condicion estremal nos da:

L
= at c + b 2 = 0

de donde = 0 o bien
c
=

2b

c
2b

at
b

Tendremos entonces una segunda solucion real positiva si

t < t =

c2
4ab

Dado que t > 0, esto ocurre a una temperatura T > Tc0 , esto es, antes de que ocurra
la transicion de segundo orden. Podemos ver lo que ocurre esquematicamente en la
137

-0.2

-0.1

0.0

0.1

0 < t < tc

t = tc

t < t*

0.2

0.3 -0.2

-0.1

0.0

0.1

0.2

0.3 -0.2

-0.1

0.0

0.1

0.2

0.3

Figura 35: Funcional de Landau en presencia de un termino c

ubico.
Fig.35. En t = t aparece un segundo mnimo para + > 0. En t = tc > 0 este mnimo
toma la misma energa libre que la solucion con = 0 desarrollandoes por lo tanto
una transicion de primer orden. Es de notar que + (tc ) no tiene porque ser peque
no y
por lo tanto el desarrollo de Landau no es valido en este caso (a menos que por alg
un
motivo el coeficiente c se anule simult
anemente con el de segundo orden, en cuyo caso
podemos tener comportamiento tricrtico).

Finalmente vamos a mencionar que la prediccion de una transicion de primer orden

en una teora de campo medio puede ser incorrecta. Las fluctuaciones que se desprecian
en estas teoras pueden cambiar el orden de la transicion. Un ejemplo de esto es el
modelo de Potts de 3 estados, para el cual la teora de campo medio predice una
transicion de primer orden, mientras que la solucion exacta del modelo solo presenta
transicion de primer orden para q 4. La recproca tambien es cierta. En cierto
tipo de transicion superconductor-metal normal la teora de campo medio predice una
transicion continua, mientras que la transicion real es de primer orden. En este caso
se dice que la transcion de priemr orden es inducida por fluctuaciones.

138

3.6

La Teora de Landau-Ginzburg

En todo lo expuesto hasta aqui acerca de las teoras de campo medio no hemos mencionado para nada los exponentes crticos y . Esto se debe a que en las teoras
de campo medio las fluctuaciones son despreciadas completamente. Esto se puede ver
claramente a partir del principio variacional, en el cual toda la termodinamica se obtiene
a partir de un Hamiltoniano de partculas independientes, con lo cual hSi Sj i = hSi i hSj i
y la funcion de correlacion conectada resulta identicamente nula. No obstante, si pensamos las teoras de campo medio como una aproximaci
on de modelos con interacciones de corto alcance, podemos considerar como son las fluctuaciones en torno de
esta solucion aproximada. En terminos de la Teora de Landau, esto puede analizarse
si permitimos un parametro de orden no homogeneo, esto es, un parametro de orden que
vara en distintos punto del espacio = (~r). En un sistema uniforme es constante en
el equilibrio. Un parametro de orden con variaciones espaciales puede obtenerse como
resultado de la aplicacion de un campo externo inhomogeneo B(~r). Para considerar un
parametro de orden inhomogeneo tenemos que generalizar la Teora de Landau. Esto
puede realizarse como sigue.
Pensemos por simplicidad en un sistema de spines. Hemos visto ya que en el entorno
del punto crtico la longitud de correlacion crece. De esta manera, esperamos que en
parches de tama
no del orden de los spines apunten mayoritariamente en la misma
direccion, con lo cual dentro de dichas regiones la magnetizacion sera aproximadamente
constante. Esto sugiere que, si dividimos el sistema en bloques de dimension lineal
1 (T ) tendremos una magnetizacion bastante bien definida m (~r) en cada bloque
centrado en ~r y podremos asignar un valor a la funcional de Landau en dicho bloque.
La magnetizacion local se define entonces como
m (~r) =

1 X
Si
N i~r

donde N = d /ad es el n
umero de spines en el bloque (a es el parametro de red) .
Dado que cerca del punto crtico a, si elegimos 1 < , tendremos que a 1 ;
as, habra un n
umero grande spines en cada bloque (O(d /ad )). Dividir el sistema en
139

bloques de esta forma se suele denominar coarse graining (aproximaci

on de grano
grueso). Por construccion, el parametro de orden local obtenido de esta manera no
va a presentar fluctuaciones grandes en la escala del espaciado de red a y va a variar
suvamente en el espacio para escalas mucho mayores que 1 , sin componentes de
Fourier mayores que . Por supuesto que esta aproximaci
on solo tendra sentido si los
resultados obtenidos no dependen de la eleccion de , al menos dentro de cierto rango
de escalas. En la practica se asume que esto es as, y la consistencia de la aproximaci
on
se verifica a posteriori de acuerdo a las predicciones que se derivan de la misma. En lo
que sigue vamos entonces a omitir el subndice .
Como debemos construir entonces la funcional de Landau en esta aproximaci
on?
Una posibilidad sera
L=

L(m(~r))

~
r

donde L() es la funcional de un sistema homogeneo. No obstante, rapidamente nos

damos cuenta de que esta eleccion es incorrecta, ya que la minimizacion de L se obtiene
minimizando la funcional en cada bloque de manera independiente; de esta manera,
podemos obtener bloques adyacentes con magnetizaciones opuestas. Pero es obviamente desfavorable energeticamente tener grandes diferencias entre los valores de la
magnetizacion en bloques adyacentes: las paredes de dominio siempre aumentan la
energa. Necesitamos entonces agregar un termino que penalize (esto es, aumente el
valor de L) dichas situaciones. La expresion analtica mas simple de este tipo es
XX c
~
r

m(~r) m(~r + ~)
1

!2

donde ~ es un vector de magnitud 1 que apunta de ~r al centro de un bloque adyacente.

La constante c > 0 es en principio dependiente de la temperatura. Dado que asumimos
que m(~r) vara suavemente en el espacio (a escalas mucho mayores que 1 ) podemos
tomar una aproximacion continua (siempre cerca del punto crtico)

L=

d~r

1
1
c
atm(~r)2 + bm(~r)4 B(~r)m(~r) + (m(~r))2
2
4
2
140

(149)

donde a, b > 0 y t es la temperatura reducida. Esta expresion es ahora una autentica

funcional del parametro de orden m(~r). Una funcional F es una relacion que asigna un
n
umero a un funcion f (~x) definida en un cierto dominio y la designaremos genericamente
como F [f (~x)]. La funcional anterior L[(~r)], para un parametro de orden generico (~r)
se conoce como Funcional de Landau-Ginzburg o Hamiltoniano efectivo de LandauGinzburg, por motivos que quedaran claros en breve.
La aplicacion de la Teora de Landau requiere entonces encontrar la funcion completa (~r) que minimiza la funcional de Landau, esto es, encontrar la funcion particular
(~r) tal que, ante variaciones peque
nas (~r) (~r) + (~r), la variaci
on
L = L[(~r) + (~r)] L[(~r)] = 0.
Para esto necesitamos entonces introducir el concepto de derivada funcional. Tomemos
por simplicidad una funcional F [f (x)] de una funcion de una variable. Estamos interesados en ver que le sucede a F si producimos un cambio peque
no a f (x) en el entorno
de un punto determinado x0 . Sea (, x) una familia parametrica de funciones de x
que satisfacen
Z

(, x)dx = 1

lim (, x) = 0 x 6= 0

En otras palabras, para 0 las funciones (, x) tienden a una delta de Dirac (x).
La derivada funcional de F [f ] puede ser definida entonces como
F [f (x) + (, x x0 )] F [f (x)]
F [f (x)]
= lim lim
0 0
f (x0 )

(150)

Notemos que la derivada funcional de F [f ] se define con respecto a f evaluada en un

punto particular x0 . El lado derecho de la definicion nos mide el ritmo de cambio de F
cuando f sufre variaciones en torno de x0 , para luego tomar el lmite de este cambio
cuando la perturbacion en f se torna completamente localizada e infinitesimal. La
derivada funcional es una funcional de f y una funcion de x0 . En la practica podemos
simplificar la expresion anterior tomando a priori el lmite 0 y usar directamente
la delta de Dirac:
141

F [f (x)]
F [f (x) + (x x0 )] F [f (x)]
= lim
0
f (x0 )

(151)

Solo en las raras (en fsica) situaciones en las cuales el significado de F [f (x)+(xx0 )]
no es inmediato se necesita utilizar el procedimiento de lmite completo. Podemos ahora
escribir una expresion para el cambio en F resultante de un cambio arbitrario (pero
peque
no) en f (x), el cual ya no es localizado. Si f (x) cambia a f (x) + f (x) entonces
el cambio en F es
Z

F =

dx0

F [f (x)]
f (x0 ) + O((f )2 )
f (x0 )

(152)

Para entender esto podemos pensar a F [f (x)] como el lmite de una funcion de un
n
umero discreto de variables como sigue. Supongamos por simplicidad que la funcional
esta definida para funciones f (x) en un cierto intervalo finito. Dividamos este intervalo
en subintervalos de largo x, cuyos centros estan en las posiciones x , = 1, . . .. Sea
f f (x ).Tenemos entonces que
F [f (x)] = lim F (f1 , f2 , . . .)
x0

donde F es ahora una funci

on de las variables f (el ejemplo mas simple es la integral
de F en un intervalo; la suma de Riemann que aproxima F es una funcion de los valores
de f en la particion). Supongamos ahora una variaci
on f (x) f (x)+f (x). Tomando
f f (x ) tenemos que
F ({f + f }) = F ({f }) +

X F

f +

1 X 2 F
f f +
2 , f f

donde
F (f1 , . . . , f + , . . .) F (f1 , . . . , f , . . .)
F
= lim
f 0

Tenemos entonces que

F [f (x) + f (x)] = lim F {f + f }
x0

142

1 F
f +
x0
x f

X
1
1
2 F
(x)2
f f +
+ lim
2 x0 ,
(x)2 f f

F [f (x) + f (x)] = F [f (x)] + lim

Consideremos entonces el doble lmite

F (f1 , . . . , f + , . . .) F (f1 , . . . , f , . . .)
x0 0
x
lim lim

Tomando x = y
= (, 0)
de la definicion (150) tenemos que
F (f1 , . . . , f + , . . .) F (f1 , . . . , f , . . .)
F [f (x)]
=
x0 0
x
f (x )
lim lim

Donde el lmite 0 se toma manteniendo x fijo.Obtenemos entonces el desarrollo

de Taylor generalizado
Z

F [f (x)]
f (x0 ) +
f (x0 )
Z
Z
1
2 F [f (x)]
f (x0 )f (y0 ) +
+
dx0 dy0
2
f (x0 )f (y0 )

F [f (x) + f (x)] = F [f (x)] +

dx0

(153)

Tomemos por ejemplo

F [f (x)] =

Z b
a

g(f (x))dx

donde g(x) es una funcion suave determinada fija. De la definicion

F [f (x)]
f (x0 )

Rb

= lim

= lim

Rb

g(f (x) + (x x0 ))dx

a [g(f (x))

Rb
a

g(f (x))dx

+ g 0 (f (x))(x x0 ) + O(2 )dx]

= g 0 (f (x0 ))
143

Rb
a

g(f (x))dx

Analicemos ahora un cambio f (x) f (x) + f (x), con |f (x)| 1 x:

= F [f (x) + f (x)] F [f (x)]

=
=

Z b

a
Z b
a

Z b

[g(f (x)) + g (f (x))f (x) + O((f (x)) )dx]

g 0 (f (x)) f (x)dx + O((f (x))2 ) =

Z b
F [f ]
a

f (x)

g(f (x))dx

f (x)dx + O((f )2 )

Al igual que la derivada funcional, una funcion f (x1 ) puede ser considerada una funcional de f y una funcion del punto particular x1 en la cual esta evaluada. De la
definicion tenemos que
f (x1 )
= (x0 x1 )
f (x0 )
Supongamos ahora que F es una funcional de una funcion g(y), la cual es a su vez una
funcional de una funcion f . Supongamos que f (x) cambia a f (x) + f (x), donde f (x)
es peque
no. Esto va a producir un cambio de g(y) a g(y) + g(y) y de F a F + F . De
la Ec.(152) tenemos que
Z

F [g] =

dy

F [g]
g(y)
g(y)

dz

g(y)
f (z)
f (z)

g(y) =

Combinando estas dos ecuaciones e invirtiendo el orden de integraci

on tenemos
Z

F =

dz

F [g] g(y)
f (z)
dy
g(y) f (z)

de donde obtenemos la regla de la cadena para la diferenciacion funcional:

F
=
f (z)

dy

F g(y)
g(y) f (z)

Para una funcional de una funcion vectorial (~r) el lector puede verificar los siguientes
resultados

(~r)

d~r 0

2
1
(~r 0 ) = 2 (~r)
2

144


exp
h(~r)

d~r 0 h(~r 0 )(~r 0 ) = (~r) exp

d~r 0 h(~r 0 )(~r 0 )

Retomemos ahora nuestro problema variacional. El parametro de orden (~r) que

minimiza la funcional de Landau Ginzburg se obtiene de la condicion
L[]
=0
(~r)
Usando los resultados anteriores esto nos lleva a la ecuacion diferencial
c2 (~r) + at(~r) + b(~r)3 B(~r) = 0

(154)

Para un sistema uniforme tendremos que = cte y recuperamos el resultado de la

teora de Landau. En presencia de un campo no uniforme la solucion de equilibrio
seg
un la Teora de Landau vendr
a dada por la solucion de la ecuacion anterior.
Ahora bien, la funcional de Landau-Ginzburg admite una interpretaci
on bastante
interesante si analizamos con un poco mas de detalle el proceso de coarse graining.
Pensemos nuevamente en el sistema de spines y sea H({Si }) el Hamiltoniano correspondiente. La funcion particion puede escribirse como
Z = Tr{Si } eH({Si }) = Tr(~r) Tr0{Si } eH({Si })
La traza Tr0{Si } indica una traza parcial sobre todas las configuraciones de spines compatibles con un dado valor dado del parametro de orden (~r), mientras que la traza
Tr(~r) indica una suma sobre todos las diferentes configuraciones del parametro de
orden. La cantidad
Tr0{Si } eH({Si })
resulta entonces una funcional de (~r) que puede expresarse como
Tr0{Si } eH({Si }) = eF [(~r)]
y por lo tanto
145

Z = Tr(~r) eF [(~r)]
En la aproximacion continua que estamos considerando, donde (~r) se asume un funcion
de variacion suave, la suma anterior suele expresarse a veces como
Z

Z=
donde la notacion

D(~r)eF [(~r)]

D(~r) indica una integral funcional, la cual conceptualmente sig-

nifica una suma sobre todas las posibles funciones de variaci

on suave (~r). La evaluaci
on
de una integral de este tipo requiere de una serie de tecnicas matematicas propias. Sin
embargo, a los fines del presente curso nos basta con esta definicion conceptual y no
vamos a entrar en los detalles de ese tipo de calculo. Notemos que eF [(~r)] resulta
entonces proporcional a la probabilidad de encontrar una configuracion (~r), con lo
cual F [(~r)] admite la interpretaci
on de un Hamiltoniano efectivo, al nivel de la aproximacion semi-macroscopica coarse-grained. La traza parcial utilizada para su calculo,
por otra parte, involucra en cada bloque la suma sobre un n
umero finito de grados de
libertad. Podemos entonces asumir F [(~r)] como una funcion analtica tanto de (~r)
como de los parametros microscopicos del sistema, admitiendo por lo tanto un desarrollo
en serie de potencias del parametro (~r) y de sus derivadas espaciales. En el entorno
del punto crtico seran por lo tanto aplicables exactamente las mismas consideraciones
utilizadas para derivar la funcional de Landau-Ginzburg, de donde F [(~r)] = L[(~r)].
As, tenemos que
Z

N f [K]

=Z=

D(~r)eL[(~r)]

Es importante notar que, a

un en ausencia de campo externo (esto es, para un sistema
homogeneo) el resultado anterior no es el mismo que el de la teora de Landau. La
funcional de Landau-Ginzburg nos da un modelo fenomenologico, continuo, en el cual
s estan presentes las fluctuaciones. La Teora de Landau surge de despreciar las fluctuaciones en torno del valor del parametro de orden 0 que minimiza el Hamiltoniano
146

efectivo L[(~r)], esto es, de asumir que la u

nica contribuci
on importante a la funcion
particion es
eN f [K] = Z eL[0 ] = eN L(0 )
donde 0 (~r) es solucion de la Ec.(154).
En presencia de un campo externo inhomogeneo B(~r) la energa libre y todos los
valores medios derivados seran funcionales del campo B(~r). Utilizando los resultados
presentados anteriormente para derivadas funcionales es facil ver que

h(~r)i =

1
Z

D (~r) eL[] =

1 ln Z
B(~r)

(155)

Podemos definir ademas la susceptibilidad generalizada

(~r, ~r 0 )

h(~r)i
B(~r 0 ) B(~r)=0

que nos mide la respuesta del parametro de orden en ~r a un campo debil B(~r), ya que
Z

d~r 0 (~r, ~r 0 )B(~r 0 )

h(~r)i =

Es facil ver (queda como ejercicio para el lector) que

(~r, ~r 0 ) =

(~r)(~r 0 ) h(~r)i (~r 0 )

= Cc(2) (~r, ~r 0 )

(156)
(2)

donde para un sistema con invariancia traslacional (~r, ~r 0 ) = (~r ~r 0 ) y Cc (~r, ~r 0 ) =

(2)

Cc (~r ~r 0 ). Es facil verificar que la susceptibilidad isotermica, con respecto a un

campo uniforme B, satisface
1 h(~r)i
1
T =
=
N B
N

(~r)d~r =
N

Cc(2) (~r)d~r

(157)

Podemos ahora analizar las correlaciones entre fluctuaciones en torno de la solucion

de la Teora de Landau. En esta aproximaci
on tenemos de la Ec.(155) que h(~r)i =
0 (~r), donde 0 (~r) es solucion de la Ec.(154). Derivando la Ec.(154) con respecto a
B(~r 0 ) tenemos que
147

c2 + at + 3b0 (~r)2

h (~
0 r )i

B(~r 0 )

(~r ~r 0 ) = 0

o bien, a campo nulo

c2 + at + 3b02 Cc(2) (~r, ~r 0 ) = (~r ~r 0 )

Asumiendo la invariancia traslacional podemos escribir la ecuacion anterior como

2 + 2 Cc(2) (~r) =

kB T
(~r)
c

donde

3b02

at +
c

!1/2

c 1/2
at
=
1/2

2at

para T > Tc

(158)

para T < Tc

donde hemos usado la Ec.(145). Haciendo el cambio de variables

~ = ~r/ tenemos que

2~ + 1 C(~
) = g(~
)

(2)

~ y
donde C(~
) = Cc ()
g=

kB T 2d
c

Dado que (~
) tiene simetra esferica, podemos escribir el Laplaciano en coordenadas
polares en d dimensiones:

d1

+ 1 C() = g()
d1

(159)

La Ec.(159) es una ecuacion diferencial lineal, la cual puede ser resuelta en terminos
de las funciones de Bessel esfericas modificadas de tercer tipo Kn ():

C() =

kB T 2d
(2)d/2 (d2)/2 K(d2)/2 ()
c

para

d2

Las funciones de Bessel Kn tiene los siguientes comportamientos asint

oticos
148

(160)

1/2

Kn ()

Kn ()

(n)
2

para

para

K0 () ln

para

Para T 6= Tc , de la Ec.(158) tenemos que es finita y para T Tc . Para

T 6= Tc y r ( 1) tenemos que
Cc(2) (r)

er/
r(d2)/2

(d3)/2

de donde efectivvamente es la longitud de correlacion. De la Ec.(158) vemos entonces

que = 1/2. Para T Tc la longitud de correlacion diverge y debemos entonces
considerar el comportamiento asint
otico de las funciones de Bessel para 0. Reemplazando en las expresiones anteriores tenemos entonces que
Cc(2) (r)

1
rd2

de donde el exponente crtico de correlacion resulta = 0. Esto completa el conjunto

de los exponentes crticos en las teoras de campo medio.
Finalmente, podemos usar los resultados anteriores para estudiar la consistencia de
las teoras de campo medio. Dado que estas se basan en despreciar las fluctuaciones del
parametro de orden, tenemos que estimar estas fluctuaciones. De la Ec.(157) vemos
que la funcion de correlacion nos da justamente esas fluctuaciones
Cc(2) (r) = h((~r) h(~r)i)((0) h(0)i)i
Podemos entonces analizar la importancia relativa de estas fluctuaciones estudiando la
cantidad

(2)

r
V 0 Cc (r)d~
E= R
2
V0

(~r) d~r

149

donde V 0 es una region de dimension lineal de orden (V 0 = d ), ya que sabemos

que para regiones de mayor tama
no las fluctuaciones se descorrelacionan. Si E 1
la teora de campo medio es una aproximaci
on razonable y es auto-consistente, ya
que para hacer este calculo estamos suponiendo que las fluctuaciones son despreciables
frente al campo medio y el resultado de este caculo no viola la premisa. Por otra parte,
si E > 1 la teora se vuelve inconsistente, ya que la prediccion viola la premisa bajo la
cual fue obtenida. Esto se conoce como criterio de Ginzburg. Para T < Tc , escribiendo
(T ) = (1)|t|1/2 ((1) nos da una estimacion de la longitud de correlacion lejos de
Tc ), el denominador es simplemente
a d |t|
a
= (1)d |t|1d/2
b
b
Para el numerador podemos usar la Ec.(157)
Z
V0

Cc(2) (r)d~r kB T T

kB Tc
2a|t|

ya que la funcion de correlacion decae a cero rapidamente para distancias mayores que
. De esta manera
E=

bkB Tc
kB
1
1
=
2
d
d
2d/2
(4d)/2
2a (1) |t|
2C (1) |t|

donde C es la discontinuidad en el calor especfico en la transicion. La condicion de

consistencia E 1 requiere entonces que
|t|(4d)/2

kB
(4d)/2
tLG
2C (1)d

donde tLG es la temperatura reducida que marca el comienzo de la regi

on crtica. Para
|t| < tLG las fluctuaciones dominan la termodinamica y las predicciones de la teora
de Landau son incorrectas. Lo mas notable de este resultado es su dependencia con
la dimension espacial d. Para d > 4 el criterio de Ginzburg siempre se satisface para
|t| 0. Para d < 4 la teora falla cuando nos aproximamos del punto crtico. El caso
marginal d = 4 requiere de un analisis mas detallado. Puede verse, sin embargo, que
la teora de Landau adquiere correcciones logaritmicas. Por ejemplo, la susceptibilidad
para d = 4 se comporta como
150

1
T | ln t|1/3
t
A todos los efectos practicos, se considera d = 4 la dimension crtica superior para
sistemas con las simetras aqui consideradas, esto es, con un desarrollo en potencias
pares de la funcional de Landau hasta orden cuatro (por ejemplo, el modelo de Ising).
Para sistemas con otras simetras, con exponentes de campo medio , y podemos
generalizar el analisis anterior como
Z
V0

Cc(2) (r)d~r kB T T |t|

Z
V

0 (~r)2 d~r d t2 |t|2d

Suprimiendo los factores de orden uno, el criterio de Ginzburg nos da:

|t| |t|2d

para

t0

Para que esto se cumpla es necesario que

d>

2 +
dc

Por ejemplo, para un punto tricrtico puede verse que = 1/2 y vimos que = 1/4,
= 1, con lo cual la dimension crtica superior resulta dc = 3.

151