勒壤得轉換

对于实轴上具有可逆一阶导数的凸函数${\displaystyle f}$，其勒让德变换 ${\displaystyle f^{*}}$的一阶导数与${\displaystyle f}$的一阶导数互为反函数，反过来说，这个条件可以给出至多相差一个常数的${\displaystyle f^{*}}$。

更詳細地定義勒壤得轉換，為了求得 ${\displaystyle L(x,\ p)=px-f(x)\,\!}$ 關於 ${\displaystyle x\,\!}$ 的最大值，設定 ${\displaystyle L(x,\ p)\,\!}$ 關於 ${\displaystyle x\,\!}$ 的偏導數為零：

${\displaystyle {\frac {\partial }{\partial x}}\left(px-f(x)\right)=p-{\mathrm {d} f(x) \over \mathrm {d} x}=0\,\!}$ 。

則

${\displaystyle p={\mathrm {d} f(x) \over \mathrm {d} x}\,\!}$ 。(1)

這表達式必為最大值。因為，凸函數 ${\displaystyle L(x,\ p)\,\!}$ 的二阶导数是負數：

${\displaystyle {\frac {\partial ^{2}}{\partial x^{2}}}(xp-f(x))=-{\mathrm {d} ^{2}f(x) \over \mathrm {d} x^{2}}<0\,\!}$ ；

用方程式 (1) 來計算函數 ${\displaystyle f\,\!}$ 的反函數 ${\displaystyle x=g(p)\,\!}$ 。代入 ${\displaystyle L(x,\ p)\,\!}$ 方程式，即可以得到想要的形式：

${\displaystyle f^{\star }(p)=g(p)\ p-f(g(p))\,\!}$ 。

計算 ${\displaystyle f(x)\,\!}$ 的勒壤得轉換，所需的步驟為：

1. 找出导函數 ${\displaystyle p={\frac {\mathrm {d} f}{\mathrm {d} x}}\,\!}$ ，
2. 計算导函數 ${\displaystyle p={\frac {\mathrm {d} f}{\mathrm {d} x}}\,\!}$ 的反函數 ${\displaystyle x=g(p)\,\!}$ ，
3. 代入 ${\displaystyle F(x)\,\!}$ 方程式來求得新函數 ${\displaystyle f^{\star }(p)=g(p)\ p-f(g(p))\,\!}$ 。

這定義切確地闡明：勒壤得轉換製造出一個新函數 ${\displaystyle f^{\star }(p)\,\!}$ ；其新自變數為 ${\displaystyle p={\mathrm {d} f \over \mathrm {d} x}\,\!}$ 。

另外一種勒壤得轉換的定義是：假若兩個函數 ${\displaystyle f(x)\,\!}$ 與 ${\displaystyle f^{\star }(p)\,\!}$ 的一階導數是互相的反函數；

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}f(x)=\left({\frac {\mathrm {d} }{\mathrm {d} p}}f^{*}\right)^{-1}(x)\,\!}$ ，

或者，

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} p}}f^{*}(p)=\left({\frac {\mathrm {d} }{\mathrm {d} x}}f\right)^{-1}(p)\,\!}$ ，

則 ${\displaystyle f\,\!}$ 與 ${\displaystyle f^{\star }\,\!}$ 互相為彼此的勒壤得轉換。

依照定義，

${\displaystyle {\mathrm {d} f(x) \over \mathrm {d} x}=p\,\!}$ ，

${\displaystyle {\mathrm {d} f^{\star }(p) \over \mathrm {d} p}=x\,\!}$ 。

思考下述運算：

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} p}}(xp-f(x))=x+p{\frac {\mathrm {d} x}{\mathrm {d} p}}-{\frac {\mathrm {d} f}{\mathrm {d} x}}{\frac {\mathrm {d} x}{\mathrm {d} p}}=x={\mathrm {d} f^{\star }(p) \over \mathrm {d} p}=x\,\!}$ 。

所以，

${\displaystyle f^{\star }(p)=xp-f(x)=g(p)\ p-f(g(p))\,\!}$ ；

這裏，${\displaystyle x=g(p)\,\!}$ 。

這答案是標準答案；但並不是唯一的答案。設定

${\displaystyle f^{\star }(p)=f(x)-xp\,\!}$ ，

也可以滿足定義的要求。在某些情況下（例如：熱力勢（），會採用非標準的答案。除非另外註明，此頁面一律採用標準答案。

勒壤得轉換有以下這些標度性質：

${\displaystyle f(x)=a\cdot g(x)\rightarrow f^{\star }(p)=a\cdot g^{\star }\left({\frac {p}{a}}\right)\,\!}$ ，

${\displaystyle f(x)=g(a\cdot x)\rightarrow f^{\star }(p)=g^{\star }\left({\frac {p}{a}}\right)\,\!}$ ，

由此可知，一個 ${\displaystyle r\,\!}$ 次齊次函數的勒壤得轉換是一個 ${\displaystyle s\,\!}$ 次齊次函數；這裏，

${\displaystyle {\frac {1}{r}}+{\frac {1}{s}}=1\,\!}$ 。

${\displaystyle f(x)=g(x)+b\rightarrow f^{\star }(p)=g^{\star }(p)-b\,\!}$ ，

${\displaystyle f(x)=g(x+y)\rightarrow f^{\star }(p)=g^{\star }(p)-p\cdot y\,\!}$ 。

${\displaystyle f(x)=g^{-1}(x)\rightarrow f^{\star }(p)=-p\cdot g^{\star }\left({\frac {1}{p}}\right)\,\!}$ 。

讓 ${\displaystyle A\,\!}$ 成為一個從 ${\displaystyle R^{n}\,\!}$ 到 ${\displaystyle R^{m}\,\!}$ 的線形變換。對於任何定義域為 ${\displaystyle R^{n}\,\!}$ 的凸函數 ${\displaystyle f\,\!}$ ，必有

${\displaystyle \left(Af\right)^{\star }=f^{\star }A^{\star }\,\!}$ ；

這裏，${\displaystyle A^{\star }\,\!}$ 是 ${\displaystyle A\,\!}$ 的伴隨算子定義為

${\displaystyle \left\langle Ax,y^{\star }\right\rangle =\left\langle x,A^{\star }y^{\star }\right\rangle \,\!}$ 。

e^x（红色实线）与其勒让德变换（蓝色虚线）。

指数函数

${\displaystyle f(x)=e^{x}}$

的勒让德变换为

${\displaystyle f^{*}(p)=p(\ln p-1)}$，

因为它们的一阶导数 e^x与 ln p互为反函数。

在熱力學裏，使用勒壤得轉換主要的目的是，將一個函數與所含有的一個自變數，轉換為一個新函數與所含有的一個新自變數，（此新自變數是舊函數對於舊自變數的偏導數）；將舊函數減去新自變數與舊自變數的乘積，得到的差就是新函數。勒壤得轉換可以用來在各種熱力勢（）之間作轉換。例如，內能 ${\displaystyle U\,\!}$ 是外延量（）熵 ${\displaystyle S\,\!}$ ，體積 ${\displaystyle V\,\!}$ ，與化學成份（）${\displaystyle N_{i}\,\!}$ 的顯函數

${\displaystyle U=U(S,\ V,\ \{N_{i}\})\,\!}$ 。

對於 ${\displaystyle -PV\,\!}$ ，函數 ${\displaystyle U\,\!}$ （非標準的）勒壤得轉換為焓函數 ${\displaystyle H\,\!}$ ：

${\displaystyle H(S,\ P,\ \{N_{i}\})=U+PV\,\!}$ ，

${\displaystyle P=-\left({\frac {\partial U}{\partial V}}\right)_{S,\ \{N_{i}\}}\,\!}$ 。

一個熵與內含量（）壓力的函數。當壓力是常數時，這函數很有用。

對於 ${\displaystyle TS\,\!}$ ，函數 ${\displaystyle H\,\!}$ 勒壤得轉換為吉布斯能函數 ${\displaystyle G\,\!}$ :

${\displaystyle G(T,\ P,\ \{N_{i}\})=H-TS\,\!}$ ，

${\displaystyle T=\left({\frac {\partial H}{\partial S}}\right)_{P,\ \{N_{i}\}}\,\!}$ 。

對於 ${\displaystyle TS\,\!}$ ，函數 ${\displaystyle U\,\!}$ 勒壤得轉換為亥姆霍兹自由能函數 ${\displaystyle A\,\!}$ :

${\displaystyle A(T,\ V,\ \{N_{i}\})=U-TS\,\!}$ ，

${\displaystyle T=\left({\frac {\partial U}{\partial S}}\right)_{V,\ \{N_{i}\}}\,\!}$ 。

這些自由能函數時常用在常溫的物理系統。

在經典力學裏，勒壤得轉換專門用來從拉格朗日表述導引出哈密頓表述，或反導之。拉格朗日量 ${\displaystyle {\mathcal {L}}\,\!}$ 是廣義坐標 ${\displaystyle \mathbf {q} =(q_{1},\ q_{2},\ \dots ,\ q_{N})\,\!}$ 與廣義速度 ${\displaystyle {\dot {\mathbf {q} }}\,\!}$ 的函數；而哈密頓量 ${\displaystyle {\mathcal {H}}\,\!}$ 將函數的自變量轉換為廣義坐標 ${\displaystyle \mathbf {q} \,\!}$ 與廣義動量 ${\displaystyle \mathbf {p} =(p_{1},\ p_{2},\ \dots ,\ p_{N})\,\!}$ ：

${\displaystyle \mathbf {p} ={\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}\,\!}$ ，

${\displaystyle {\mathcal {H}}(\mathbf {q} ,\ \mathbf {p} ,\ t)=\mathbf {p} \cdot {\dot {\mathbf {q} }}-{\mathcal {L}}(\mathbf {q} ,\ {\dot {\mathbf {q} }}(\mathbf {q} ,\ \mathbf {p} ,\ t),\ t)\,\!}$ 。

正則變換廣泛地應用勒壤得轉換在其理論裏。正則變換是一種正則坐標的改變，${\displaystyle (\mathbf {q} ,\ \mathbf {p} )\rightarrow (\mathbf {Q} ,\ \mathbf {P} )\,\!\,\!}$ ，而同時維持哈密頓方程式的形式，雖然哈密頓量可能會改變。正則變換的方程式為

${\displaystyle {\frac {\partial {\mathcal {K}}}{\partial \mathbf {P} }}={\dot {\mathbf {Q} }}\,\!\,\!}$ ，

${\displaystyle {\frac {\partial {\mathcal {K}}}{\partial \mathbf {Q} }}=-{\dot {\mathbf {P} }}\,\!\,\!}$ ，

${\displaystyle \mathbf {p} \cdot {\dot {\mathbf {q} }}-{\mathcal {H}}=\mathbf {P} \cdot {\dot {\mathbf {Q} }}-{\mathcal {K}}+{\frac {dG}{dt}}\,\!}$ ；

這裏，${\displaystyle \mathbf {q} ,\ \mathbf {p} \,\!}$ 是舊正則坐標，${\displaystyle \mathbf {Q} ,\ \mathbf {P} \,\!}$ 是新正則坐標，${\displaystyle {\mathcal {H}}\,\!}$ 是舊哈密頓量，${\displaystyle {\mathcal {K}}\,\!}$ 是新哈密頓量，${\displaystyle G\,\!}$ 是生成函數。