ルジャンドル変換

ルジャンドル変換（ルジャンドルへんかん、英: Legendre transformation）とは、凸解析において、関数の変数をその微分に変えるために用いられる変換である。このとき実数関数 $f (x)$ は微分可能でなくてもよいが連続関数だとする^[1]。

名前はフランスの数学者、アドリアン＝マリ・ルジャンドルに因む。ルジャンドル変換は点と線の双対性、つまり凸な関数 $y = f (x)$ は $(x, y)$ の点の集合によって表現できるが、それらの傾きと切片の値で指定される接線の集合によっても等しく充分に表現できることに基いている。

凸関数をルジャンドル変換する際、変換前の関数が保持している情報は、変換後の関数においても完全に保たれる^[2]。解析力学においてはこの性質を利用して、ラグランジアンからルジャンドル変換によってハミルトニアンが得られる（⇒#解析力学）。物理学等において他にも広く応用されており、熱力学における熱力学関数間の変換などにも用いられる（⇒#熱力学）。

ルジャンドル変換をより一般化したものはルジャンドル＝フェンシェル変換と呼ばれる。

なお、与えられた関数をルジャンドル多項式やルジャンドル陪多項式を展開の基底関数に用いて、それら展開係数を求める変換のことも、ルジャンドル変換 (Legendre Transform) と呼ばれる。

定義

定義 (ルジャンドル変換) ― $f~:~\mathbb {R} ^{n}\to \mathbb {R} \cup \{\pm \infty \}$ を関数とする。このとき、 $f$ のルジャンドル変換

f^{*}~:~\mathbb {R} ^{n}\to \mathbb {R} \cup \{\pm \infty \}

は

f^{*}(p):=\sup _{x\in \mathbb {R} ^{n}}\{\langle p,x\rangle -f(x)\}

により定義される^[3]^[4]^[5]。

ここで $\langle \cdot ,\cdot \rangle$ は内積であり、 $sup x$ は変数 $x$ を動かしたときの上限を表す^{[注 1]}。同じことだが下限を用いて

f^{*}(p):=-\inf _{x\in \mathbb {R} ^{n}}\{f(x)-\langle p,x\rangle \}

とも表記できる。

ルジャンドル変換の直観的な意味は凸共役の項目を参照されたい。直観的な意味から、次が成立する事を示せる：

定理 (凸で滑らかな関数に対するルジャンドル変換の特徴づけ) ― $f$ が凸でしかも滑らかであるとする。このとき、 $x\in \mathbb {R} ^{n}$ を

p=\nabla f(x)

が成立する点とすると、以下が成立する^[7]：

f^{*}(p):=\langle p,x\rangle -f(x)

なお、 $p=\nabla f(x)$ を満たす $x$ が存在しない事もあり得ることに注意されたい^{[注 2]}。その場合、元の定義から $f^{*}(x)$ を求める必要がある。逆に $p=\nabla f(x)$ を満たす $x$ が一意に定まらず、複数存在することもあり得るが、その場合どの $x$ を選んでも同じ $f^{*}(p)$ になる事が $f$ の凸性から示せる。

関数 $\scriptstyle f(x)$ のルジャンドル変換 $\scriptstyle f^{*}(p)=\sup _{x}\{px-f(x)\}$ （ただし $\scriptstyle p={\dot {f}}(x)$ ）は、 $\scriptstyle x$ における $\scriptstyle f(x)$ の接線の切片に対応している。

右図は上記の特徴づけを一次元の場合に直観的に説明したものである。 $p\in \mathbb {R}$ に対し、

p=f'(x_{0})

となる $x_{0}\in \mathbb {R}$ を取り、点 $x 0$ における $y=f(x)$ の接線

y=f'(x_{0})x-f^{*}

を考えると、この接線が接点 $(x_{0},f(x_{0}))$ を通る事から、

f^{*}=f(x_{0})-f'(x_{0})x_{0}

=f(x_{0})-px_{0}

=f^{*}(p)

が従う。したがってルジャンドル変換は接線 $y=f'(x_{0})x-f^{*}$ の $y$ 切片 $-f^{*}$ にマイナスをつけたものである。

次に $f$ が滑らかとは限らない場合のルジャンドル変換の振る舞いを見る。有限の値しか取らない凸関数 $f$ に対し、 $f$ は全点で連続であり^{[注 3]}、しかも任意の $d\in \mathbb {R} ^{n}$ に対し $x$ における $d$ 方向の（片側）方向微分

\lim _{t\to +0}{f(x+td)-f(x) \over t}

が存在し、有現値である事が知られている^{[注 4]}（上式で $t$ が正の方向から $0$ に近づけていることに注意。負の方向から $0$ に近づけたものとは値が異なることもあり得る^{[注 5]}）。

特に、（有限値しか取らない）凸関数 $f$ の定義域が１次元の場合は、左側方向微分 $f'(x-0)$ と右側方向微分 $f'(x+0)$ はいずれも存在して有限値である。これらを使って1次元のルジャンドル変換は以下のようにも特徴づけられる：

定理 (1次元の滑らかとは限らない凸関数に対するルジャンドル変換の特徴づけ) ― $f~:~\mathbb {R} \to \mathbb {R}$ を（有限の値しか取らない）凸関数し、 $p\in \mathbb {R}$ とする。このとき、 $x\in \mathbb {R} ^{n}$ を

f'(x-0)\leq p\leq f'(x+0)

を満たす値とすると、以下が成立する^[10]：

f^{*}(x)=px-f(x)

前の定理と同様、そのような $x$ がそもそも存在しない場合もあるし、複数存在する場合にはどの $x$ であっても $f^{*}(x)=px-f(x)$ は同じ値になる。

性質

二重共役

$\pm\infty$ を取らない凸関数は２回ルジャンドル変換を取るともとに戻る：

定理 ― （ $\pm\infty$ を取らない）凸関数 $f~:~\mathbb {R} ^{n}\to \mathbb {R}$ は $f^{**}=f$ を満たす^[11]。

なお $f$ が $\pm\infty$ を取る場合であっても、 $f$ が恒等的に $\infty$ ではない場合、 $x\in X$ において $f^{**}(x)=f(x)$ を満たす必要十分条件は、 $f$ が $x$ において下半連続な事であることが示せる^[11]。凸関数は $\{x\in \mathbb {R} ^{n}\mid f(x)\neq \pm \infty \}$ の内点で連続であることが知られているので、下半連続性が問われるのは境界点だけである^[8]。

条件を満たさない場合、 $f^{**}$ は $f$ に一致するとは限らない^[12]。条件を満たさない場合の詳細は凸共役の項目を参照されたい。

滑らかな関数に対する変換

また、 $f$ もそのルジャンドル変換 $f *$ も2階微分可能なら、両者は逆数の関係にある^[13]。すなわち

f''(x)f^{*}{''}(p)=1\,.

ただし $x$ と $p$ は $p = f'(x)$ を満たすとする。

ヤングの不等式

以下の不等式が成り立つ。この種の不等式はヤングの不等式と呼ばれる。

f^{*}(p)+f(x)\geq px\,.

ルジャンドル変換の定義より、

f^{*}(p)=\sup _{x}(px-f(x))\geq px-f(x)

であるから、 $f (x)$ を両辺に足せば上述の不等式が成り立つ。

その他

$f (x)$ が下(上)に凸なら $f * (p)$ も下(上)に凸。すなわちルジャンドル変換は凸性を保持する^[13]。
$f (x)$ の左微分と右微分が異なる（ $f (x)$ が折れ線となる）点は、 $f * (p)$ が $p$ に関して1次関数（直線）となる領域に対応する。逆に $f (x)$ が $x$ に関して直線となる領域は $f * (p)$ が折れ線となる点に対応する^[14]。これは感覚的には、 $f''(x)\to \infty$ と $f^{*}{''}(p)\to 0$ が対応するとも解釈できる。
象徴的に書けば、以下のように $x$ と $p$ について対称な関係がある。
$p={\frac {\mathrm {d} f}{\mathrm {d} x}},\qquad x={\frac {\mathrm {d} f^{*}}{\mathrm {d} p}}$
$f (x)$ の逆関数 $f -1 (x)$ のルジャンドル変換は以下である（後述のヘルムホルツエネルギーとマシュー関数（英語版）の関係などに応用がある）。
$(f^{-1})^{*}(p)=-pf^{*}(1/p).$

多変数関数

多変数関数に対しては、その一部の変数に関してだけのルジャンドル変換を考えることができる。

2変数関数 $f (x, y)$ を $x$ についてルジャンドル変換した関数を $f * (p, y)$ とする。このとき、変換されない変数 $y$ はスペクテータと呼ばれる^[15]。スペクテータ $y$ による偏微分はルジャンドル変換の影響を受けない。すなわち次式が成り立つ^[15]：

\left({\frac {\partial f(x,y)}{\partial y}}\right)_{x}=-\left({\frac {\partial f^{*}(p,y)}{\partial y}}\right)_{p}\,.

応用例

熱力学

→「熱力学ポテンシャル」も参照

熱力学では、熱力学関数間の変換、すなわち内部エネルギー $U (S, V)$ をエンタルピー $H (S, p)$ 、ヘルムホルツの自由エネルギー $F (T, V)$ に、またそれらからギブスの自由エネルギー $G (T, p)$ に変換する際にルジャンドル変換が用いられる。

{\begin{aligned}H(S,p)&=U(S,V)+pV,\\F(T,V)&=U(S,V)-TS,\\G(T,p)&=H(S,p)-TS\\&=F(T,V)+pV\\&=U(S,V)+pV-TS\,.\end{aligned}}

ここで、 $V$ ：体積、 $p$ ：圧力、 $S$ ：エントロピー、 $T$ ：温度である。 $U$ が $S, V$ について下に凸である^[16]ため、 $U (S, V)$ , $H (S, p)$ , $F (T, V)$ , $G (T, p)$ はルジャンドル変換を介して互いに等価である（同じ情報を持つ）。

ただしここではルジャンドル変換は

f^{\dagger }(p)=f(x)-xp\quad {\text{ at }}x{\text{ such that }}f'(x-0)\leq p\leq f'(x+0)

という定義が用いられる^[17]。この定義でも上に述べた性質はほぼ同様に成り立つが、符号や凸性の変化などがある。たとえば逆変換は

f(x)=f^{\dagger }(p)+xp

に変わるという不便さがある。しかし多変数関数をこの定義で変換した場合、凸性の上下については、変換した変数についてのみ逆転し残りの変数についてはもとのまま保持されるという簡便さがある。

熱力学では導関数の不連続性は相転移として現れる。

解析力学

→「シンプレクティック幾何学」も参照

解析力学では、ラグランジアン $L$ をハミルトニアン $H$ に変換する際に、ルジャンドル変換が用いられる。座標を $q$ としたときに正準運動量を $p = \partial L /\partial \cdot q$ として、ハミルトニアンは

H={\dot {q}}p-L

と定義される^[18]。これによって、 $L (q, \cdot q)$ から $H (q, p)$ になる。実際これは以下の関係を満たす。

{\frac {\partial H}{\partial {\dot {q}}}}=p-{\frac {\partial L}{\partial {\dot {q}}}}=0\,.

このハミルトニアンとオイラー＝ラグランジュ方程式あるいは最小作用の原理を組み合わせることで正準方程式が導かれる^[19]。ハミルトニアンの全微分は、

\mathrm {d} H={\frac {\partial H}{\partial p}}\mathrm {d} p+{\frac {\partial H}{\partial q}}\mathrm {d} q+{\frac {\partial H}{\partial t}}\mathrm {d} t

と書けるが、一方でハミルトニアンの定義より、

{\begin{aligned}\mathrm {d} H&=p\mathrm {d} {\dot {q}}+{\dot {q}}\mathrm {d} p-{\frac {\partial L}{\partial q}}\mathrm {d} q-{\frac {\partial L}{\partial {\dot {q}}}}\mathrm {d} {\dot {q}}-{\frac {\partial L}{\partial t}}\mathrm {d} t\\&=p\mathrm {d} {\dot {q}}+{\dot {q}}\mathrm {d} p-{\dot {p}}\mathrm {d} q-p\mathrm {d} {\dot {q}}-{\frac {\partial L}{\partial t}}\mathrm {d} t\\&={\dot {q}}\mathrm {d} p-{\dot {p}}\mathrm {d} q-{\frac {\partial L}{\partial t}}\mathrm {d} t\end{aligned}}

となるので、ハミルトニアンの偏微分は以下の関係を満たす。この内、正準変数 $p$ , $q$ の偏微分に関する式をまとめて正準方程式 (canonical equations) と呼ぶ。

{\begin{cases}&{\dfrac {\partial H}{\partial p}}={\dot {q}}\\&{\dfrac {\partial H}{\partial q}}=-{\dot {p}}\\&{\dfrac {\mathrm {d} H}{\mathrm {d} t}}=-{\dfrac {\partial L}{\partial t}}\end{cases}}

逆にハミルトニアンからラグランジアンを得る場合には、関数 $L$ を以下のように定義し、

L={\dot {q}}p-H

変数 $p$ に対する偏微分が 0 になるようにする。すなわち、

{\frac {\partial L}{\partial p}}={\dot {q}}-{\frac {\partial H}{\partial p}}=0\,.

結局このとき変数 $\cdot q$ はハミルトニアンの運動量微分に等しくなる。

多変数の場合には、ラグランジアンのすべての一般化速度についてルジャンドル変換を施したものがハミルトニアンと呼ばれる。また部分的にルジャンドル変換をしたものはラウシアン（英語版） (Routhian) と呼ばれる^[20]。

正準変換

→「正準変換 § 母関数による構成」を参照

具体例

→「凸共役性 § 代表的な凸共役の表」も参照

滑らかな関数の例

最も簡単な例として特異性のない関数を挙げる^[21]。定数 $s > 1$ に対して

f(x)={\frac {\;x^{s}}{s}}\,,\quad x>0

とする。この関数 $f$ は下に凸かつ十分滑らかである。関数 $f$ のルジャンドル変換 $f *$ は

f^{*}(p)={\frac {\;p^{t}}{t}}\,,\quad p>0

となる。ただし $t$ は $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/s + 1/t = 1$ を満たす定数である。この例では $f (x)$ と $f * (p)$ は対称な形となる。特に $s = t = 2$ の場合、 $f (x) = x 2 / 2$ はルジャンドル変換で形を変えない。

導関数に定数となる領域がある例

$f (x)$ がある区間で1次関数（直線）となる例を挙げる^[22]。

f(x)={\begin{cases}{\frac {x^{3}+x}{4}}&(0<x<1),\\x-{\frac {1}{2}}&(1\leq x<2),\\{\frac {x^{2}}{2}}-x+{\frac {3}{2}}&(2\leq x).\end{cases}}

導関数 $f' (x)$ が全領域で連続、かつ $1 < x < 2$ で定数 $f' (x) = 1$ であることに注意する。この関数のルジャンドル変換は $p = 1$ で折れ線となり、

f^{*}(p)={\begin{cases}{\frac {1}{2}}\left({\frac {4p-1}{3}}\right)^{3/2}&({\frac {1}{4}}<p<1),\\{\frac {1}{2}}(p^{2}+2p-2)&(1\leq p)\end{cases}}

となる。

斉次関数

$f (x)$ が $k$ 次の斉次関数であるなら、そのルジャンドル変換は

{\frac {\partial f}{\partial x}}x-f=(k-1)f

である^[23]。特に $k = 1$ のとき、 $f (x)$ のルジャンドル変換は 0 となる。

注釈

^ ルジャンドル変換を
$f^{*}(p)=\max _{x}(px-f(x))$
または
$f^{*}(p)=-\min _{x}(f(x)-px)$
としている文献もあるが^[6]、この場合最大値や最小値の存在を暗に仮定している。しかし例えば $f(x)=e^{-x}$ は $f^{*}(0)=0$ を達成する $x\in \mathbb {R}$ は存在しない。
^ 例えば、 $f(x)=\mathrm {e} ^{-x}$ や $g(x)={\begin{cases}{1 \over x}&{\text{if }}x>0\\\infty &{\text{otherwise}}\end{cases}}$ は凸でしかも滑らかであるが、 $p\geq 0$ に対しては $p=f'(x)$ 、 $p=g'(x)$ となる $x\in \mathbb {R}$ は存在しない。
^ より一般に（∞も取りうる）凸関数 $f$ に対し $\mathrm {dom} f=\{x\in \mathbb {R} ^{n}\mid f(x)\neq \pm \infty \}$ とすると、 $\mathrm {dom} f$ の内点 $x$ で $f$ は連続である^[8]。
なお、「 $\mathrm {dom} f$ の内点」という条件は必須である。例えば $f(x)={\begin{cases}x^{2}&{\text{if }}x\geq 0\\\infty &{\text{otherwise}}\end{cases}}$ は原点 $x=0$ において連続ではないし、左側方向微分も存在しない。
^ より一般に、 $x\in \mathrm {core} (\mathrm {dom} f)$ における任意の方向の片側方向微分が存在する^[9]。 $\mathrm {core}$ の定義は凸共役の項目を参照されたい。
^ 例えば $y=|x|$ の $x=0$ における方向微分。

出典

^ 谷村省吾，. “ルジャンドル変換、物質情報学 1（解析力学）講義ノート 6” (pdf). 2022年8月27日閲覧。
^ 田崎 2000, p. 152.
^ 田崎 2000, p. 271, 脚注.
^ 清水 2007, p. 248.
^ Borwein & Lewis 2006, p. 49.
^ 田崎 2000, p. 270.
^ Maxim Raginsky. “week 10 notes. The Legendre-Fenchel dual functional and its geometric interpretation”. イリノイ大学. p. 11. 2025年1月30日閲覧。
^ ^a ^b Borwein & Lewis 2006, p. 66.
^ Borwein & Lewis 2006, p. 34.
^ 清水 2007, p. 223.
^ ^a ^b Borwein & Luke 2013, p. 23.
^ 田崎 2000, p. 272.
^ ^a ^b 清水 2007, p. 225.
^ 清水 2007, p. 240.
^ ^a ^b 二間瀬 & 綿村 2010, p. ^{[要ページ番号]}.
^ 清水 2007, p. 99.
^ 清水 2007, p. 227.
^ 須藤 2010, p. 42.
^ 須藤 2010, p. 43.
^ 須藤 2010, p. 47.
^ 田崎 2000, p. 275.
^ 清水 2007, p. 234.
^ 菅野 1996, p. 152.

参考文献

田崎, 晴明『熱力学現代的な視点から』（初版）培風館〈新物理学シリーズ 32〉、2000年4月12日、302頁。ISBN 9784563024321。付録 H. Legendre 変換、pp.270-278.
須藤, 靖『解析力学・量子論』（第 2 版）東京大学出版会、2010年8月20日、274頁。ISBN 9784130626101。 5.2 ルジャンドル変換、pp.45-47.
清水, 明『熱力学の基礎』東京大学出版会、2007年、221-254頁。ISBN 978-4-13-062609-5。
菅野, 礼司『微分形式による特殊相対論』丸善、1996年、152頁。ISBN 4-621-04262-9。
二間瀬, 敏史、綿村, 哲『解析力学と相対論』朝倉書店、2010年。ISBN 978-4-254-13772-9。
Borwein, Jonathan; Lewis, Adrian (2006). Convex Analysis and Nonlinear Optimization: Theory and Examples (2 ed.). Springer. ISBN 978-0-387-29570-1
Jonathan M. Borwein and D. Russell Luke (2013年). “Duality and Convex Programming”. ゲッティンゲン大学. 2025年1月30日閲覧。

外部リンク

『ルジャンドル変換の意味と具体例』 - 高校数学の美しい物語

この項目は、物理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:物理学／Portal:物理学）。

[7] ルジャンドル変換を
$f^{*}(p)=\max _{x}(px-f(x))$
または
$f^{*}(p)=-\min _{x}(f(x)-px)$
としている文献もあるが^[6]、この場合最大値や最小値の存在を暗に仮定している。しかし例えば $f(x)=e^{-x}$ は $f^{*}(0)=0$ を達成する $x\in \mathbb {R}$ は存在しない。

[9] 例えば、 $f(x)=\mathrm {e} ^{-x}$ や $g(x)={\begin{cases}{1 \over x}&{\text{if }}x>0\\\infty &{\text{otherwise}}\end{cases}}$ は凸でしかも滑らかであるが、 $p\geq 0$ に対しては $p=f'(x)$ 、 $p=g'(x)$ となる $x\in \mathbb {R}$ は存在しない。

[11] より一般に（∞も取りうる）凸関数 $f$ に対し $\mathrm {dom} f=\{x\in \mathbb {R} ^{n}\mid f(x)\neq \pm \infty \}$ とすると、 $\mathrm {dom} f$ の内点 $x$ で $f$ は連続である^[8]。
なお、「 $\mathrm {dom} f$ の内点」という条件は必須である。例えば $f(x)={\begin{cases}x^{2}&{\text{if }}x\geq 0\\\infty &{\text{otherwise}}\end{cases}}$ は原点 $x=0$ において連続ではないし、左側方向微分も存在しない。

[13] より一般に、 $x\in \mathrm {core} (\mathrm {dom} f)$ における任意の方向の片側方向微分が存在する^[9]。 $\mathrm {core}$ の定義は凸共役の項目を参照されたい。

[14] 例えば $y=|x|$ の $x=0$ における方向微分。

[1] 谷村省吾，. “ルジャンドル変換、物質情報学 1（解析力学）講義ノート 6” (pdf). 2022年8月27日閲覧。

[FOOTNOTE田崎2000152-2] 田崎 2000, p. 152.

[FOOTNOTE田崎2000271脚注-3] 田崎 2000, p. 271, 脚注.

[FOOTNOTE清水2007248-4] 清水 2007, p. 248.

[FOOTNOTEBorweinLewis200649-5] Borwein & Lewis 2006, p. 49.

[FOOTNOTE田崎2000270-6] 田崎 2000, p. 270.

[week10-11-8] Maxim Raginsky. “week 10 notes. The Legendre-Fenchel dual functional and its geometric interpretation”. イリノイ大学. p. 11. 2025年1月30日閲覧。

[FOOTNOTEBorweinLewis200666-10] Borwein & Lewis 2006, p. 66.

[FOOTNOTEBorweinLewis200634-12] Borwein & Lewis 2006, p. 34.

[FOOTNOTE清水2007223-15] 清水 2007, p. 223.

[FOOTNOTEBorweinLuke201323-16] Borwein & Luke 2013, p. 23.

[FOOTNOTE田崎2000272-17] 田崎 2000, p. 272.

[FOOTNOTE清水2007225-18] 清水 2007, p. 225.

[FOOTNOTE清水2007240-19] 清水 2007, p. 240.

[FOOTNOTE二間瀬綿村2010&#91;要ページ番号&#93;Category:出典のページ番号が要望されている記事-20] 二間瀬 & 綿村 2010, p. ^{[要ページ番号]}.

[FOOTNOTE清水200799-21] 清水 2007, p. 99.

[FOOTNOTE清水2007227-22] 清水 2007, p. 227.

[FOOTNOTE須藤201042-23] 須藤 2010, p. 42.

[FOOTNOTE須藤201043-24] 須藤 2010, p. 43.

[FOOTNOTE須藤201047-25] 須藤 2010, p. 47.

[FOOTNOTE田崎2000275-26] 田崎 2000, p. 275.

[FOOTNOTE清水2007234-27] 清水 2007, p. 234.

[FOOTNOTE菅野1996152-28] 菅野 1996, p. 152.

[1]

[2]

[3]

[4]

[5]

[注 1]

[7]

[注 2]

[注 3]

[注 4]

[注 5]

[10]

[11]

[8]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[6]

[9]

定義

性質