Transformada de Legendre

1 Motivacin
En ciertos problemas matemticos o fsicos es deseable
expresar una cierta magnitud f (como la energa interna)
como funcin diferente g en que los argumentos sean
precisamente las derivadas de la funcin respecto a las
antiguas variables. Si designamos al nuevo argumento
y se tiene que la relacin con el viejo argumento es y =
df/dx.
La transformacin de Legendre permite la construccin
anterior, mediante el teorema de la funcin implcita,
de una nueva funcin g que satisface los requisitos
anteriores:

g(y) := (Lf )(y) = x(y)y f (x(y))

Donde f (x) es la funcin original y L : C (2) (D, R)
C (2) (D, R) es el operador transformada de Legendre.
Una funcin f (x) admite transformada de Legendre, si
existe su derivada segunda y no se anula nunca:
En esas condiciones el Teorema de la Funcin Implcita
aplicado a la funcin:

Interpretacin geomtrica de la Transformada de Legendre.

En matemticas se dice que dos funciones diferenciables

f y g son una transformada de Legendre si cada una de
sus primeras derivadas son funcin inversa de la otra:
F : R3
F (x, y)
1

R
df
= y dx

garantiza que existe la funcin diferenciable, x(y).

Df = (Dg)

Se dice entonces de f y g que estn relacionadas por 1.1 Aplicaciones a los potenciales termodiuna transformada de Legendre. Son unvocas hasta una
nmicos
constante aditiva que normalmente se ja mediante el requisito adicional de que
La estrategia tras el uso de las transformadas de Legendre es desplazar la dependencia de una funcin de una
variable independiente a otra (la derivada de la funcin
original con respecto a su variable independiente) tomanf (x) + g(y) = x y.
do la diferencia entre la funcin original y su producto.
Se usan para realizar transformaciones entre los diversos
potenciales termodinmicos.
La transformada de Legendre es su propia inversa, y est
relacionada a la integracin por partes. Dicha transforma- Por ejemplo, mientras las energa interna es una funcin
da se puede generalizar a la transformada de Legendre- explcita de las variables extensivas, entropa, volumen
Fenchel. Una transformada de Legendre da como resulta- (y composicin qumica)
do una nueva funcin, en la que se sustituye una o ms variables independientes con la derivada de la funcin original respecto a esa variable. Reciben su nombre debido
U = U (S, V, {Ni })
a Adrien-Marie Legendre.
1

2 EJEMPLOS

la entalpa es otra funcin de estado que puede cons- 1.3 Aplicaciones en mecnica clsica
truirse como la transformada de Legendre de la energa
En mecnica clsica se usa una transformada de Legendre
interna U con respecto a PV
para derivar la formulacin hamiltoniana partiendo de la
formulacin lagrangiana, y viceversa.
H = U + P V = H(S, P, {Ni })
(
)
U
P =
V S
se convierte en funcin de la entropa y la cantidad intensiva, presin, como variables naturales, y es til cuando
la P (externa) es constante. La transformacin estar
denida siempre que sea posible invertir el volumen en
funcin de la presin y la entropa, cosa que requiere que:

(
0 =

2U
V 2

(
=

P
V

)
=
S

1
s V

Donde s es la compresibilidad adiabtica.

Las energas libres (Helmholtz y Gibbs se obtienen mediante sucesivas transformadas de Legendre, eliminando
TS (de U y H, respectivamente), cambiando la dependencia de la entropa S a su variable conjugada intensiva
temperatura T, y es til cuando sta es constante.

1.2

Aplicaciones a la electrotecnia

Otro ejemplo de la fsica: considere un condensador de

placas plano-paralelas cuyas placas puedan aproximarse o
alejarse una de otra, intercambiando trabajo con fuerzas
mecnicas externas que mantienen la separacin de las
placas (anlogo a un gas en un cilindro con un pistn.
Queremos que la fuerza atractiva f entre las placas sea
funcin de la separacin variable x (Los dos vectores espaciales apuntan en sentidos opuestos). Si las cargas de
las placas se mantienen constantes mientras se mueven, la
fuerza es el gradiente negativo de la energa electrosttica.
U (Q, x) = 21 QV .
Sin embargo, si se mantiene constante el voltaje entre las
placas V conectando una batera, que es una reserva de
carga a diferencia de potencial constante, la fuerza se convierte en el gradiente negativo de la transformada de Legendre
U QV = 12 QV .

Eso es posible, puesto que la funcin lagrangiana o

lagrangiano que aparece en la formulacin lagrangiana es
un funcin explcita de las coordenadas posicionales qj y
las velocidades generalizadas dqj /dt (y tiempo). Por su
parte la funcin de Hamilton o hamiltoniano que aparece
en la formulacin hamiltoniana es funcin explcita de
las coordenadas posicionales y los momentos. El punto
importante es que los momentos pueden ser obtenidos
como derivadas del lagrangiano:

pj =

L(qi , qi )
qj

con lo cual estamos en la condiciones para construir

el hamiltoniano a partir del lagrangiano (siempre y
cuando adems se cumpla la condicin requerida por el
teorema de la funcin implcita). En esas condiciones
el hamiltoniano viene dado como transformacin de
Legendre del lagrangiano:

H (qj , pj , t) =

qi pi L(qj , qj , t) =

qi ((qi , pi ))pi L(qj , qj (qi , pi )

La transformacin anterior es posible que el lagrangiano

en cada punto del espacio de conguracin sea una forma
bilineal cuadrtica no-degenerada de las velocidades
puesto que en ese caso, la condicin de existencia de la inversa qj = qj (pj , qj ) est automticamente
garantizada por el teorema de la funcin implcita ya que:

2L
= ajj = 0
qj2
Cada una de las dos formulaciones de la mecnica clsica tiene su propio campo de aplicacin, tanto en los
fundamentos tericos del tema como en la prctica, dependiendo de la sencillez de cmputo de un problema
en particular. Las coordenadas no tienen necesariamente que ser rectilneas o cartesinas, sino tambin ngulos,
etc. Una opcin ptima tomara ventaja de las simetras
fsicas reales.

Las dos funciones resultan ser negativas slo por la

linealidad de la capacitancia. Por supuesto, para una car- 2 Ejemplos
ga, voltaje y distancia dadas, la fuerza esttica debe ser
la misma mediante cualquier clculo ya que las placas no La funcin exponencial ex tiene a x ln x x como transforpueden saber qu se mantendr constante mientras se mada de Legendre, dado que las primeras derivadas resmueven.
pectivas ex y ln x son inversa una de la otra. Este ejemplo

3
muestra que los dominios respectivos de una funcin y su
transformada de Legendre no tienen por qu coincidir.

4 Interpretacin geomtrica

Para una funcin estrictamente convexa, se puede interpretar la transformada de Legendre como una correspondencia entre la grca de la funcin y la familia de
u(x) = 12 xt A x
tangentes de la grca. (Para una funcin de una variable, las tangentes estn bien denidas en todos los puntos
donde A es una matriz simtrica invertible de n por n,
excepto para un conjunto numerable de ellos, dado que
tiene por transformada de Legendre a
una funcin convexa es diferenciable en todos sus puntos
excepto en una cantidad numerable de ellos.)
De forma similar, la forma cuadrtica

v(y) =

1
2

y t A1 y

La ecuacin de una lnea con pendiente m y punto b de

corte del eje de las ordenadas la da

Transformada de Legendre en
una dimensin

y = mx + b

Para que esta lnea sea tangente a la grca de una funcin

En una dimensin, se puede encontrar la transformada de f en el punto (x0 , f(x0 )) se precisa que
Legendre de una funcin f : R R con primera derivada
invertible usando la frmula
f (x0 ) = mx0 + b
g(y) = y x f (x), x = f 1 (y)
Se puede ver esto como la integracin de ambos lados de
la condicin denitoria restringida a una dimensin

m = f (x0 )

f (x) = g 1 (x)

f es estrictamente montona ya que es la derivada de una

funcin estrictamente convexa, y la segunda funcin se
de x0 a x1 , haciendo uso del teorema fundamental del
puede resolver para x0 , permitiendo eliminar x0 de la priclculo en el lado izquierdo y sustituyendo
mera, dejando el trmino b' de la tangente como funcin
de su pendiente m:
y = g 1 (x)
en el lado derecho para encontrar

f (x1 ) f (x0 ) =

y1

y g (y) dy

y0

donde g(y0 ) = x0 , g(y1 ) = x1 . Usando integracin por

partes la ltima integral se simplica como
y1 g (y1 )y0 g (y0 )

y1

y0

Por tanto,

(
)
b = f f 1 (m) m f 1 (m) = f (m)
Aqu f* denota la transformada de Legendre de f.
La familia de tangentes de la grca de f la da por tanto,
parametrizada por m,

y = mx f (m)
g (y) dy = y1 x1 y0 x0 g(y1 )+g(y
0 ) de forma explcita, viene dada por las soluciones
o, escrito
de la ecuacin

f (x1 ) + g(y1 ) y1 x1 = f (x0 ) + g(y0 ) y0 x0

F (x, y, m) = y + f (m) mx = 0

Dado que el lado izquierdo de esta ecuacin slo depen- La grca de la funcin original se puede reconstruir parde de x1 y el derecho slo de x0 , tienen que evaluar a la tiendo de esta familia de lneas como la envolvente de esta
familia exigiendo que
misma constante.
f (x) + g(y) y x = C, x = g (y) = f 1 (y)

F (x, y, m)
= f (m) x = 0
m

Resolviendo para g y escogiendo que C sea cero obteneEliminando m de estas dos ecuaciones obtenemos
mos la frmula mencionada anteriormente.

f (x) = g(a x) f (p) = g

MS PROPIEDADES
(p)

a
Se sigue de aqu que si una funcin es homognea de grado r entonces su imagen bajo la transformada de LegenIdenticando y con f(x) y reconociendo el lado derecho dre es una funcin homognea de grado s, donde 1/r + 1/s
de la ecuacin anterior como la transformada de Legendre = 1.
de f*, encontramos que
(
)
y = x f 1 (x) f f 1 (x)

6.2 Comportamiento ante traslacin

f (x) = f (x)

Transformada de Legendre en
ms de una dimensin

f (x) = g(x) + b f (p) = g (p) b

f (x) = g(x + y) f (p) = g (p) p y

Para una funcin real diferenciable sobre un subconjunto 6.3 Comportamiento ante inversin
abierto U de Rn , el conjugado de Legendre del par (U, f)
se dene como el par (V, g), donde V es la imagen de U
( )
segn la funcin gradiente Df, y g es la funcin sobre V
1
1

f
(x)
=
g
(x)

f
(p)
=
p

g
dada por la frmula
p
1

g(y) = y, x f (x) , x = (Df )

(y)

donde

u, v =

6.4 Comportamiento ante transformaciones lineales

Sea A una transformacin lineal de Rn en Rm . Para cualquier funcin convexa f sobre Rn , tenemos

uk vk

k=1

(Af ) = f A

es el producto escalar sobre Rn .

De forma alternativa, si X es un espacio vectorial real e
Y es un espacio dual, entonces para cada punto x X e
y Y , existe una identicacin natural de los espacios
cotangentes T*Xx con Y y T*Yy con X. Si f es una funcin real diferenciable sobre X, entonces f es una seccin del brado cotangente T*X y como tal, podemos
construir una correspondencia de X sobre Y. De forma
similar, si g es una funcin real diferenciable sobre Y, g
dene una correspondencia de Y sobre X. Si ambas correspondencias son inversas de la otra, decimos que tenemos una transformada de Legendre.

donde A* es el adjunto de A denido por

Ax, y = x, A y
Una funcin convexa cerrada f es simtrica con respecto
a un conjunto dado G de transformaciones lineales ortogonales,

f (Ax) = f (x), x, A G
si y slo si f* es simtrica con respecto a G.

Ms propiedades

6.5 Convolucin inmal

En lo que sigue, la transformada de Legendre de una fun- La convolucin inmal de dos funciones f y g se dene
cin f se denota como f*.
como

6.1

Propiedades de escalado

(f inf g) (x) = inf {f (x y) + g(y) | y Rn }

La transformada de Legendre tiene las siguientes propie- Sean f 1 , , f funciones convexas propias sobre Rn . Endades de escala:
tonces
f (x) = a g(x) f (p) = a g

(p)
a

(f1 inf inf fm ) = f1 + + fm

Referencias
Alberty, R.A. (2001). Use of Legendre transforms
in chemical thermodynamics. Pure Appl. Chem. 73
(8). pp. 13491380 .
Arnol'd, Vladimir Igorevich (1989). Mathematical
Methods of Classical Mechanics (second edition).
Springer. ISBN 0-387-96890-3.
Rockafellar, Ralph Tyrell (1996). Convex Analysis.
Princeton University Press. ISBN 0-691-01586-4.

8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Transformada de Legendre Fuente: https://es.wikipedia.org/wiki/Transformada_de_Legendre?oldid=83424269 Colaboradores: Meruelo, Heimy, Drini2, Geromega, Davius, AnthonnyAG, VolkovBot, Urdangaray, Matdrodes, Muro Bot, PaintBot, Loveless, Drinibot, PipepBot, Alexbot, Juan Mayordomo, SpBot, MystBot, Xqbot, Rubinbot, BenzolBot, D'ohBot, Jerowiki, ZroBot, WikitanvirBot, KLBot2,
Acratta, Elvisor, Jarould y Annimos: 8

8.2

Imgenes

Archivo:LegendreTransform1.png Fuente: https://upload.wikimedia.org/wikipedia/commons/5/57/LegendreTransform1.png Licencia:

Public domain Colaboradores: Trabajo propio Artista original: User:PAR

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0