# Legendre-Transformation

Die Legendre-Transformation (nach Adrien-Marie Legendre) gehört zu den Berührungstransformationen und dient als wichtiges mathematisches Verfahren zur Variablentransformation.
Eine Verallgemeinerung der Legendre-Transformation auf allgemeine Räume und nicht-konvexe Funktionen ist die Legendre-Fenchel-Transformation (auch Konvex-Konjugierte genannt).

## Definition
### In einer Variablen

Sei $f\colon D\subseteq \mathbb {R} \to \mathbb {R}$ eine streng konvexe Funktion einer reellen Variablen. Die Legendre-Transformierte $f^{*}\colon D^{*}\to \mathbb {R}$ ist dann definiert als
    $f^{*}(u)=\sup _{x\in D}(ux-f(x)),\quad u\in D^{*}:=\left\{u\in \mathbb {R} :\sup _{x\in D}(ux-f(x))<\infty \right\}$
Dabei ist mit $\sup$ das Supremum gemeint.
Für eine differenzierbare streng konvexe Funktion $f\colon D\subseteq \mathbb {R} \to \mathbb {R}$ mit invertierbarer erster Ableitung lässt sich das Supremum mit Mitteln aus der elementaren Analysis auswerten. Die Funktion $x\mapsto ux-f(x)$ nimmt wegen der strengen Konkavität von $ux-f(x)$ an der (eindeutigen) Stelle, an der die Ableitung $0$ ist, ein absolutes Maximum an. Daraus folgt, dass an der Stelle $x(u)=(f')^{-1}(u)$ das Supremum in $f^{*}$ angenommen wird. Somit gilt:
    $f^{*}(u)=ux(u)-f(x(u))=u\,(f')^{-1}(u)-f((f')^{-1}(u))$

### In mehreren Variablen

Ähnlich wie in einer Dimension kann die Legendre-Transformation auch in höheren Dimensionen definiert werden. Sei $X\subset \mathbb {R} ^{n}$ konvex und $f\colon X\to \mathbb {R}$ eine streng konvexe Funktion. Dann ist die Legendre-Transformierte $f^{*}\colon D^{*}\to \mathbb {R}$ mit Definitionsmenge $D^{*}:=\left\{u\in \mathbb {R} ^{n}:\sup _{x\in X}(\langle u,x\rangle -f(x))<\infty \right\}$ und Standardskalarprodukt $\langle \cdot ,\cdot \rangle$ definiert als
    $f^{*}(u)=\sup _{x\in X}(\langle u,x\rangle -f(x)),\quad u\in D^{*}$

## Geometrische Bedeutung

Geometrisch lässt sich der Sachverhalt wie in der Abbildung veranschaulichen: Die Kurve (rot) kann, statt die Punktmenge anzugeben, aus der sie besteht, auch durch die Menge aller Tangenten charakterisiert werden, die sie einhüllen. Genau das passiert bei der Legendre-Transformation. Die Transformierte $f^{*}(u)=ux(u)-f(x(u))$ ordnet der Steigung $u$ einer jeden Tangente deren negativen y-Achsenabschnitt zu. Es ist also eine Beschreibung derselben Kurve – nur über einen anderen Parameter, nämlich $u$ statt $x$.

## Beispiele

* Gegeben sei die Funktion $f(x)=x^{2}+1$. Dann gilt $u=f'(x)=2x$, also
       $x(u)=(f')^{-1}(u)={\frac {u}{2}}$.
    Als Legendre-Transformierte $f^{*}$ von $f$ ergibt sich damit
       $f^{*}(u)=ux(u)-f(x(u))={\frac {u^{2}}{2}}-\left({\frac {u^{2}}{4}}+1\right)={\frac {u^{2}}{4}}-1$.
* Für die Exponentialfunktion $f(x)=e^{x}$ gilt $u=f'(x)=e^{x}$, also
       $x(u)=(f')^{-1}(u)=\ln(u)$.
    Als Legendre-Transformierte $f^{*}$ von $f$ ergibt sich damit
       $f^{*}(u)=ux(u)-f(x(u))=u\ln(u)-u$
    für $u>0$.
* Gegeben sei eine symmetrische und positiv definite Matrix $A\in \mathbb {R} ^{n\times n}$. Dann ist die durch $A$ definierte quadratische Form $f\colon \mathbb {R} ^{n}\to \mathbb {R}$ mit $f(x)=\langle x,Ax\rangle$ eine konvexe Funktion. Die durch $g(x)=\langle u,x\rangle -f(x)$ mit $u\in \mathbb {R} ^{n}$ definierte Funktion hat den Gradienten $u-2Ax$ und die negativ definite Hesse-Matrix $-2A$. Die Funktion $g$ nimmt daher an der Stelle $x={\tfrac {1}{2}}A^{-1}u$ ihr eindeutig bestimmtes globales Maximum an, d. h. für die Legendre-Transformierte $f^{*}$ von $f$ gilt
       $f^{*}(u)=\sup _{x\in \mathbb {R} ^{n}}(\langle u,x\rangle -f(x))=g\left({\tfrac {1}{2}}A^{-1}u\right)={\tfrac {1}{4}}\langle u,A^{-1}u\rangle$.

## Bei Abhängigkeit von mehreren Variablen

Die Änderung der Abhängigkeit einer Funktion $f(x,y)$ von einer unabhängigen Variablen $x$ zu einer anderen $u$ mittels einer partiellen Ableitung von $f$ nach $x$ ist:
    $u={\frac {\partial f}{\partial x}}$.
Hierbei stellt $u(x,y)$ geometrisch die Steigung in x-Richtung der Tangentenebene an die Funktion $f(x,y)$ dar. Daher spricht man von Berührungstransformation. Die Funktion $F(u,y)$ wird als Legendre-Transformierte bezüglich der Variablen $x$ bezeichnet.
Die Legendre-Transformierte lässt sich wie folgt herleiten. Der Wert von $f(x,y)$ kann alternativ als
    $f(x,y)\approx f(x_{0},y)+{\frac {\partial f}{\partial x}}\Delta x,\;\Delta x=x-x_{0}$
geschrieben werden. Definiert man nun $f(x_{0},y)\equiv F(u,y)$, erhält man für die Legendre-Transformierte
    $F(u,y)=f(x,y)-{\frac {\partial f}{\partial x}}\Delta x$.
Meistens wird $x_{0}=0$ gewählt, und somit folgt
    $F(u,y)=f(x,y)-{\frac {\partial f}{\partial x}}x$.
Für letztere Definition ist die Legendre-Transformierte die $y$-Komponente des Schnittpunkts der Tangentenebene an $f(x,y)$ mit der Ebene $x=0$. Für Funktionen in der Ebene spricht man vom Achsenabschnitt (siehe auch Geradengleichung).
Praktisch erfolgt also der Austausch der unabhängigen Variablen durch Subtraktion des Produkts aus alter und neuer Variable $ux$ von der Ausgangsfunktion:
    $F(u,y)=f(x,y)-ux$.
Dies wird auch bei Betrachtung des totalen Differentials der Legendre-Transformierten deutlich:
    $\mathrm {d} (f(x,y)-ux)=\mathrm {d} f(x,y)-x\,\mathrm {d} u-u\,\mathrm {d} x={\frac {\partial f}{\partial x}}\mathrm {d} x+{\frac {\partial f}{\partial y}}\mathrm {d} y-x\mathrm {d} u-u\mathrm {d} x={\frac {\partial f}{\partial y}}\mathrm {d} y-x\,\mathrm {d} u=\mathrm {d} F(u,y)$.

## Verallgemeinerungen
### Legendre-Fenchel-Transformation

Die Legendre-Fenchel-Transformation (auch Konvex-Konjugierte genannt), ist die Verallgemeinerung der Legendre-Transformation für allgemeine Funktionen. Sei $f:X\to \mathbb {R} \cup \{\infty \}$ eine Funktion, dann ist die Legendre-Fenchel-Transformation $\Lambda _{f}^{*}:X^{*}\to \mathbb {R} \cup \{\infty \}$, also eine Funktion auf dem topologischen Dualraum $X^{*}$, gegeben durch
    $\Lambda _{f}^{*}(x^{*})=\sup \limits _{x\in X}\{\langle x,x^{*}\rangle -f(x)\}$
wobei es sich bei $\langle .,.\rangle$ um die duale Paarung handelt.

## Anwendungsgebiete

Verwendung in der Physik findet die Legendre-Transformation vor allem in der (statistischen) Thermodynamik (z. B. Umwandlung der Fundamentalgleichung bzw. beim Übergang zwischen thermodynamischen Potentialen unter verschiedenen Randbedingungen) und beim Übergang von der Lagrangeschen zur Hamiltonschen Mechanik (Lagrange-Funktion zu Hamilton-Funktion). In der Thermodynamik verwendet man die untere Vorzeichenkonvention ($g=f-ux$).
Die Legendre-Transformation spielt – wie die Berührungstransformationen insgesamt – des Weiteren eine Rolle in der Mechanik, der Variationsrechnung und in der Theorie der partiellen Differentialgleichungen 1. Ordnung. In der Mechanik verwendet man die obere Vorzeichenkonvention ($g=ux-f$).

## Beispiele von Anwendungen in der Physik

In der analytischen Mechanik gewinnt man durch Legendre-Transformation aus der Lagrangefunktion die Hamiltonfunktion und umgekehrt:
    $H(q,p)=p\,{\dot {q}}(q,p)-L(q,{\dot {q}}(q,p))\quad {\text{mit}}\quad p={\frac {\partial L}{\partial {\dot {q}}}}$
In der Thermodynamik kann man durch Legendre-Transformation aus der Fundamentalgleichung der Thermodynamik die thermodynamischen Potentiale ableiten. Dabei findet beispielsweise ein Übergang von der inneren Energie $U$ (abhängig von der Entropie $S$) zur Helmholtz-Energie $F$ (abhängig von der Temperatur $T$) statt. Im Fall eines idealen Gases gilt also:
    $F(T,V,N)=U(S,V,N)-\left({\frac {\partial U}{\partial S}}\right)_{V,N}\cdot S=U-TS$.
Die hier verwendete Ableitungsnotation bedeutet Ableitung der Funktion $U(S,V,N)$ nach $S$, wobei $V$ und $N$ konstant gehalten werden.
Analog dazu ist auch ein Übergang von einem thermodynamischen Potential zu einem anderen möglich, beispielsweise von der Enthalpie $H$ zur Gibbs-Energie $G$:
    $G(T,p,N)=H(S,p,N)-\left({\frac {\partial H}{\partial S}}\right)_{p,N}\cdot S=(U+pV)-TS$.
Auf die gleiche Weise erhält man auch die anderen thermodynamischen Potentiale, wobei durch eine Legendre-Transformation immer eine generalisierte Koordinate durch die konjugierte thermodynamische Kraft ersetzt wird.