Transformada de Legendre

En matemáticas 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:

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

La transformada de Legendre es su propia inversa, y está relacionada con 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.

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:

Donde ${displaystyle f(x),}$ es la función original y ${displaystyle {mathcal {L}}:C^{(2)}(D,mathbb {R} ) o C^{(2)}(D,mathbb {R} )}$ es el operador transformada de Legendre. Una función ${displaystyle 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:

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

La estrategia tras el uso de las transformadas de Legendre es cambiar la dependencia de una función de una variable independiente a otra función (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)

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

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:

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.

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.

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

Las dos funciones resultan ser negativas solo 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.

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 q_j y las velocidades generalizadas dq_j /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:

con lo cual estamos en las 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:

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 ${displaystyle {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:

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.

La función exponencial e^x tiene a  x ln x − x  como transformada de Legendre, dado que las primeras derivadas respectivas e^x 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

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

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

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

de x₀ a x₁, haciendo uso del teorema fundamental del cálculo en el lado izquierdo y sustituyendo

en el lado derecho para encontrar

donde g′(y₀) = x₀, g′(y₁) = x₁. Usando integración por partes la última integral se simplifica como

Por tanto,

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

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

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

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

y

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 x₀, permitiendo eliminar x₀ de la primera, dejando el término b' de la tangente como función de su pendiente 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,

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

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

Eliminando m de estas dos ecuaciones obtenemos

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

Para una función real diferenciable sobre un subconjunto abierto U de Rⁿ, 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

donde

es el producto escalar sobre Rⁿ.

De forma alternativa, si X es un espacio vectorial real e Y es un espacio dual, entonces para cada punto ${displaystyle xin X}$ e ${displaystyle yin Y}$, existe una identificación natural de los espacios cotangentes T*X_x con Y y T*Y_y 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.

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

La transformada de Legendre tiene las siguientes propiedades de escala:

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.

Sea A una transformación lineal de Rⁿ en R^m. Para cualquier función convexa f sobre Rⁿ, tenemos

donde A* es el adjunto de A definido por

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

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

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

Sean f₁, …, f_m funciones convexas propias sobre Rⁿ. Entonces

---