Transformada de Legendre

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Interpretación geométrica de la Transformada de Legendre.

En matemática se dice que dos funciones diferenciables f y g son una transformada de Legendre si cada una de sus primeras derivadas son función inversa de la otra:

Df = \left( Dg \right)^{-1}

Se dice entonces de f y g que están relacionadas por una transformada de Legendre. Son unívocas hasta una constante aditiva que normalmente se fija mediante el requisito adicional de que

f(x) + g(y) = x\,y.

La transformada de Legendre es su propia inversa, y está relacionada a la integración por partes. Dicha transformada se puede generalizar a la transformada de Legendre-Fenchel. Una transformada de Legendre da como resultado una nueva función, en la que se sustituye una o más variables independientes con la derivada de la función original respecto a esa variable. Reciben su nombre debido a Adrien-Marie Legendre.

Motivación[editar]

En ciertos problemas matemáticos o físicos es deseable expresar una cierta magnitud f (como la energía interna) como función diferente g en que los argumentos sean precisamente las derivadas de la función respecto a las antiguas variables. Si designamos al nuevo argumento y se tiene que la relación con el viejo argumento es y = df/dx.
La transformación de Legendre permite la construcción anterior, mediante el teorema de la función implícita, de una nueva función g que satisface los requisitos anteriores:

g(y):=(\mathcal{L}f)(y) = x(y)y - f(x(y))


Donde f(x) \, es la función original y \mathcal{L}:C^{(2)}(D,\mathbb{R}) \to C^{(2)}(D,\mathbb{R}) es el operador transformada de Legendre. Una función f(x) \, admite transformada de Legendre, si existe su derivada segunda y no se anula nunca:
En esas condiciones el Teorema de la Función Implícita aplicado a la función:


\begin{array}{lcr}
  F:\mathbb{R}^3 & \to & \mathbb{R} \\
  F(x,y) & = & y-\frac{df}{dx}     
\end{array}


garantiza que existe la función diferenciable, x(y).

Aplicaciones a los potenciales termodinámicos[editar]

La estrategia tras el uso de las transformadas de Legendre es desplazar la dependencia de una función de una variable independiente a otra (la derivada de la función original con respecto a su variable independiente) tomando la diferencia entre la función original y su producto. Se usan para realizar transformaciones entre los diversos potenciales termodinámicos.

Por ejemplo, mientras las energía interna es una función explícita de las variables extensivas, entropía, volumen (y composición química)

 U = U(S,V,\{N_i\})\,

la entalpía es otra función de estado que puede construirse como la transformada de Legendre de la energía interna U con respecto a −PV

 H = U + PV \, = H(S,P,\{N_i\})\,
 P =\, -\left( \frac{\partial U}{\partial V}\right)_S\,

se convierte en función de la entropía y la cantidad intensiva, presión, como variables naturales, y es útil cuando la P (externa) es constante. La transformación estará definida siempre que sea posible "invertir" el volumen en función de la presión y la entropía, cosa que requiere que:

 0 \neq \left( \frac{\partial^2 U}{\partial V^2} \right)_S = \left( \frac{\partial P}{\partial V}\right)_S = -\frac{1}{\beta_sV}

Donde βs es la compresibilidad adiabática.

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

Aplicaciones a la electrotecnia[editar]

Otro ejemplo de la física: considere un condensador de placas plano-paralelas cuyas placas puedan aproximarse o alejarse una de otra, intercambiando trabajo con fuerzas mecánicas externas que mantienen la separación de las placas (análogo a un gas en un cilindro con un pistón. Queremos que la fuerza atractiva f entre las placas sea función de la separación 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 energía electrostática.

 U (Q, \mathbf{x} ) = \begin{matrix} \frac{1}{2} \end{matrix} QV \,.

Sin embargo, si se mantiene constante el voltaje entre las placas V conectando una batería, 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 = -\begin{matrix} \frac{1}{2} \end{matrix} QV \,.

Las dos funciones resultan ser negativas sólo por la linealidad de la capacitancia. Por supuesto, para una carga, voltaje y distancia dadas, la fuerza estática debe ser la misma mediante cualquier cálculo ya que las placas no pueden "saber" qué se mantendrá constante mientras se mueven.

Aplicaciones en mecánica clásica[editar]

En mecánica clásica se usa una transformada de Legendre para derivar la formulación hamiltoniana partiendo de la formulación lagrangiana, y viceversa.

Eso es posible, puesto que la función lagrangiana o lagrangiano que aparece en la formulación lagrangiana es un función explícita de las coordenadas posicionales qj y las velocidades generalizadas dqj /dt (y tiempo). Por su parte la función de Hamilton o hamiltoniano que aparece en la formulación hamiltoniana es función explícita de las coordenadas posicionales y los momentos. El punto importante es que los momentos pueden ser obtenidos como derivadas del lagrangiano:

p_j=\frac{\partial L(q_i,\dot{q}_i)}{\partial \dot{q}_j}


con lo cual estamos en la condiciones para construir el hamiltoniano a partir del lagrangiano (siempre y cuando además se cumpla la condición requerida por el teorema de la función implícita). En esas condiciones el hamiltoniano viene dado como transformación de Legendre del lagrangiano:

H\left(q_j,p_j,t\right) = \sum_i \dot{q}_i p_i - L(q_j,\dot{q}_j,t)
= \sum_i \dot{q}_i((q_i,p_i)) p_i - L(q_j,\dot{q}_j(q_i,p_i),t)


La transformación anterior es posible que el lagrangiano en cada punto del espacio de configuración sea una forma bilineal cuadrática no-degenerada de las velocidades puesto que en ese caso, la condición de existencia de la inversa \dot{q}_j = \dot{q}_j(p_j,q_j) está automáticamente garantizada por el teorema de la función implícita ya que:

\frac{\partial^2 L}{\partial {\dot{q}_j}^2} = a_{jj} \neq 0


Cada una de las dos formulaciones de la mecánica clásica tiene su propio campo de aplicación, tanto en los fundamentos teóricos del tema como en la práctica, dependiendo de la sencillez de cómputo de un problema en particular. Las coordenadas no tienen necesariamente que ser rectilíneas o cartesinas, sino también ángulos, etc. Una opción óptima tomaría ventaja de las simetrías físicas reales.

Ejemplos[editar]

La función exponencial ex tiene a  x ln x − x  como transformada de Legendre, dado que las primeras derivadas respectivas ex y ln x son inversa una de la otra. Este ejemplo muestra que los dominios respectivos de una función y su transformada de Legendre no tienen por qué coincidir.

De forma similar, la forma cuadrática

 u(x) = \begin{matrix} \frac{1}{2} \end{matrix} \, x^t \, A \, x

donde A es una matriz simétrica invertible de n por n, tiene por transformada de Legendre a

 v(y) = \begin{matrix} \frac{1}{2} \end{matrix} \, y^t \, A^{-1} \, y

Transformada de Legendre en una dimensión[editar]

En una dimensión, se puede encontrar la transformada de Legendre de una función f : R → R con primera derivada invertible usando la fórmula

 g(y) = y \, x - f(x), \, x = f^{\prime-1}(y)

Se puede ver esto como la integración de ambos lados de la condición definitoria restringida a una dimensión

 f^\prime(x) = g^{\prime-1}(x)

de x0 a x1, haciendo uso del teorema fundamental del cálculo en el lado izquierdo y sustituyendo

 y = g^{\prime-1}(x)

en el lado derecho para encontrar

 f(x_1) - f(x_0) = \int_{y_0}^{y_1} y \, g^{\prime\prime}(y) \, dy

donde g′(y0) = x0, g′(y1) = x1. Usando integración por partes la última integral se simplifica como

 y_1 \, g^\prime(y_1) - y_0 \, g^\prime(y_0) - \int_{y_0}^{y_1} g^\prime(y) \, dy
= y_1 \, x_1 - y_0 \, x_0 - g(y_1) + g(y_0)

Por tanto,

 f(x_1) + g(y_1) - y_1 \, x_1 = f(x_0) + g(y_0) - y_0 \, x_0

Dado que el lado izquierdo de esta ecuación sólo depende de x1 y el derecho sólo de x0, tienen que evaluar a la misma constante.

 f(x) + g(y) - y \, x = C,\, x = g^\prime(y) = f^{\prime-1}(y)

Resolviendo para g y escogiendo que C sea cero obtenemos la fórmula mencionada anteriormente.

Interpretación geométrica[editar]

Para una función estrictamente convexa, se puede interpretar la transformada de Legendre como una correspondencia entre la gráfica de la función y la familia de tangentes de la gráfica. (Para una función de una variable, las tangentes están bien definidas en todos los puntos excepto para un conjunto numerable de ellos, dado que una función convexa es diferenciable en todos sus puntos excepto en una cantidad numerable de ellos.)

La ecuación de una línea con pendiente m y punto b de corte del eje de las ordenadas la da

y = mx + b\,

Para que esta línea sea tangente a la gráfica de una función f en el punto (x0, f(x0)) se precisa que

f\left(x_0\right) = m x_0 + b

y

m = f^{\prime}\left(x_0\right)

f es estrictamente monótona ya que es la derivada de una función estrictamente convexa, y la segunda función se puede resolver para x0, permitiendo eliminar x0 de la primera, dejando el término b' de la tangente como función de su pendiente m:


b = f\left(f^{\prime-1}\left(m\right)\right) - m \cdot f^{\prime-1}\left(m\right) = -f^\star(m)

Aquí f* denota la transformada de Legendre de f.

La familia de tangentes de la gráfica de f la da por tanto, parametrizada por m,

y = mx - f^\star(m)

o, escrito de forma explícita, viene dada por las soluciones de la ecuación

F(x,y,m) = y + f^\star(m) - mx = 0

La gráfica de la función original se puede reconstruir partiendo de esta familia de líneas como la envolvente de esta familia exigiendo que

{\partial F(x,y,m)\over\partial m} = f^{\star\prime}(m) - x = 0

Eliminando m de estas dos ecuaciones obtenemos

y = x \cdot f^{\star\prime-1}(x) - f^\star\left(f^{\star\prime-1}(x)\right)

Identificando y con f(x) y reconociendo el lado derecho de la ecuación anterior como la transformada de Legendre de f*, encontramos que

f(x) = f^{\star\star}(x)

Transformada de Legendre en más de una dimensión[editar]

Para una función real diferenciable sobre un subconjunto abierto U de Rn, el conjugado de Legendre del par (U, f) se define como el par (V, g), donde V es la imagen de U según la función gradiente Df, y g es la función sobre V dada por la fórmula


g(y) = \left\langle y, x \right\rangle - f\left(x\right), \,
x = \left(Df\right)^{-1}(y)

donde

\left\langle u,v\right\rangle = \sum_{k=1}^{n}u_{k} \cdot v_{k}

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 \in X e y \in Y, existe una identificación natural de los espacios cotangentes T*Xx con Y y T*Yy con X. Si f es una función real diferenciable sobre X, entonces ∇f es una sección del fibrado cotangente T*X y como tal, podemos construir una correspondencia de X sobre Y. De forma similar, si g es una función real diferenciable sobre Y, ∇g define una correspondencia de Y sobre X. Si ambas correspondencias son inversas de la otra, decimos que tenemos una transformada de Legendre.

Más propiedades[editar]

En lo que sigue, la transformada de Legendre de una función f se denota como f*.

Propiedades de escalado[editar]

La transformada de Legendre tiene las siguientes propiedades de escala:


f(x) = a \cdot g(x)
\Rightarrow
f^\star(p) = a \cdot g^\star\left(\frac{p}{a}\right)

f(x) = g(a \cdot x)
\Rightarrow
f^\star(p) = g^\star\left(\frac{p}{a}\right)

Se sigue de aquí que si una función es homogénea de grado r entonces su imagen bajo la transformada de Legendre es una función homogénea de grado s, donde 1/r + 1/s = 1.

Comportamiento ante traslación[editar]


f(x) = g(x) + b
\Rightarrow
f^\star(p) = g^\star(p) - b

f(x) = g(x + y)
\Rightarrow
f^\star(p) = g^\star(p) - p \cdot y

Comportamiento ante inversión[editar]


f(x) = g^{-1}(x)
\Rightarrow
f^\star(p) = - p \cdot g^\star\left(\frac{1}{p}\right)

Comportamiento ante transformaciones lineales[editar]

Sea A una transformación lineal de Rn en Rm. Para cualquier función convexa f sobre Rn, tenemos

 \left(A f\right)^\star = f^\star A^\star


donde A* es el adjunto de A definido por

 \left \langle Ax, y^\star \right \rangle = \left \langle x, A^\star y^\star \right \rangle

Una función convexa cerrada f es simétrica con respecto a un conjunto dado G de transformaciones lineales ortogonales,

f\left(A x\right) = f(x), \; \forall x, \; \forall A \in G

si y sólo si f* es simétrica con respecto a G.

Convolución infimal[editar]

La convolución infimal de dos funciones f y g se define como

 \left(f \star_\inf  g\right)(x) = \inf \left \{ f(x-y) + g(y) \, | \, y \in \mathbb{R}^n \right \}

Sean f1, …, fm funciones convexas propias sobre Rn. Entonces

 \left( f_1 \star_\inf \cdots \star_\inf f_m \right)^\star = f_1^\star + \cdots + f_m^\star

Referencias[editar]

  • Alberty, R.A. (2001). «Use of Legendre transforms in chemical thermodynamics». Pure Appl. Chem. 73 (8). pp. 1349–1380 [1]. 
  • 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.