Transformadas de Legendre
Para simplificar, consideremos el caso matemtico en el que una funcin Y depende slo de
una variable independiente X, a travs de
Y = Y(X )
Geomtricamente, la relacin fundamental se representa por una curva en el diagrama Y vs X, y la
derivada
P=
Y
X
es la pendiente de esa curva.
X
Si queremos considerar P como variable independiente
en lugar de X, podramos hacer una simple sustitucin
combinando las dos ecuaciones anteriores, obteniendo
Por ejemplo
y = x2 + 3
dy
P=
= 2x
dx
Y = Y ( P)
P2
y=
+3
4
X
Pero este cambio no mantiene la informacin de la ecuacin original, pues a partir de Y = Y(P) no puedo reconstruir
la curva Y=Y(X). De hecho, cualquier curva de la figura inferior satisface la relacin Y=Y(P)
Desde el punto de vista matemtico, la relacin Y=Y(P) es una ecuacin diferencial de primer
orden, y su integracin de una funcin Y=Y(X) en la que queda indeterminada una constante
de integracin
La solucin del problema viene aportada por la dualidad entre la geometra convencional del
punto y la geometra de Pluecker de las lneas. El concepto esencial en la geometra de lneas es
que una curva dada puede representarse igualmente bien como una familia de lneas tangentes
o como lugar geomtrico de los puntos que satisfacen la relacin Y=Y(X).
Por tanto, cualquier ecuacin que permita
construir la familia de lneas tangentes determina
la curva tan satisfactoriamente como la relacin
Y=Y(X), manteniendo toda su informacin.
Del mismo modo, que cualquier punto del plano
est descrito por dos nmeros X e Y, cualquier
Fig.5.5 Callen
recta del plano puede describirse por dos nmeros, P y , donde P es la pendiente de la recta
y es la ordenada en el origen.
Por tanto, al igual que una relacin Y=Y(X) selecciona un conjunto de puntos (X,Y), una relacin =(P) selecciona un conjunto de todas las
rectas posibles (P,).
Una transformada de Legendre lo que nos permite es:
Y=Y(X)
=(P)
As, la relacin =(P) es completamente equivalente a la relacin original Y=Y(X)
Veamos cmo podemos determinar =(P) a partir de Y=Y(X). El procedimiento matemtico
se conoce como transformada de Legendre.
Consideremos la lnea tangente que pasa por el punto
(X,Y) y que tiene una pendiente P. Si la ordenada es
tendremos
P=
(X,Y)
(0,)
o sea
Y
X 0
= Y PX
Si se conoce la ecuacin
X
por derivacin encontramos
(1)
(2)
Y = Y(X )
(3)
P = P( X )
(4)
Entonces, eliminando* X e Y entre las ecuaciones (2), (3) y (4) obtendremos la relacin deseada
= (P)
Por ejemplo:
y = x2 + 3
P=
dy
= 2x
dx
(3)
(4)
P2
y=
+3
4
P2
P
P2
= Y PX =
+3 P =
+3
4
2
4
* Esta eliminacin es posible si P depende de X; es decir, si d2Y/dX2 0