ルジャンドル変換

ルジャンドル変換（ルジャンドルへんかん、Legendre transformation）とは、凸解析において、関数の変数をその微分に変えるために用いられる変換である。このとき実数関数 1=f(x) は微分可能でなくてもよいが連続関数だとする。
名前はフランスの数学者、アドリアン＝マリ・ルジャンドルに因む。ルジャンドル変換は点と線の双対性、つまり凸な関数 1=y = f (x) は 1=(x, y) の点の集合によって表現できるが、それらの傾きと切片の値で指定される接線の集合によっても等しく充分に表現できることに基いている。
凸関数をルジャンドル変換する際、変換前の関数が保持している情報は、変換後の関数においても完全に保たれるp=152。解析力学においてはこの性質を利用して、ラグランジアンからルジャンドル変換によってハミルトニアンが得られる（⇒#解析力学）。物理学等において他にも広く応用されており、熱力学における熱力学関数間の変換などにも用いられる（⇒#熱力学）。
ルジャンドル変換をより一般化したものはルジャンドル＝フェンシェル変換と呼ばれる。
なお、与えられた関数をルジャンドル多項式やルジャンドル陪多項式を展開の基底関数に用いて、それら展開係数を求める変換のことも、ルジャンドル変換 (Legendre Transform) と呼ばれる。

**定義**
ここで は内積であり、は変数 x を動かしたときの上限を表す。
同じことだが下限を用いて
 
とも表記できる。
ルジャンドル変換の直観的な意味は凸共役の項目を参照されたい。直観的な意味から、次が成立する事を示せる：
なお、を満たすxが存在しない事もあり得ることに注意されたい。その場合、元の定義からを求める必要がある。逆に を満たすxが一意に定まらず、複数存在することもあり得るが、その場合どのxを選んでも同じになる事がfの凸性から示せる。関数  のルジャンドル変換 （ただし ）は、 における  の接線の切片に対応している。
右図は上記の特徴づけを一次元の場合に直観的に説明したものである。に対し、
 
となるを取り、点におけるの接線
 
を考えると、この接線が接点を通る事から、
 
が従う。したがってルジャンドル変換は接線のy切片にマイナスをつけたものである。
次にfが滑らかとは限らない場合のルジャンドル変換の振る舞いを見る。有限の値しか取らない凸関数fに対し、fは全点で連続であり、しかも任意のに対しxにおけるd方向の（片側）方向微分
 
が存在し、有現値である事が知られている（上式でtが正の方向から0に近づけていることに注意。負の方向から0に近づけたものとは値が異なることもあり得る例えばのにおける方向微分。）。
特に、（有限値しか取らない）凸関数fの定義域が１次元の場合は、左側方向微分と右側方向微分はいずれも存在して有限値である。これらを使って1次元のルジャンドル変換は以下のようにも特徴づけられる：
前の定理と同様、そのようなxがそもそも存在しない場合もあるし、複数存在する場合にはどのxであってもは同じ値になる。

**性質**

**二重共役**
を取らない凸関数は２回ルジャンドル変換を取るともとに戻る：なおが±∞を取る場合であっても、が恒等的に∞ではない場合、においてを満たす必要十分条件は、がにおいて下半連続な事であることが示せるp=23。凸関数はの内点で連続であることが知られているので、下半連続性が問われるのは境界点だけであるp=66。
条件を満たさない場合、はに一致するとは限らないp=272。条件を満たさない場合の詳細は凸共役の項目を参照されたい。

**滑らかな関数に対する変換**
また、f もそのルジャンドル変換  も2階微分可能なら、両者は逆数の関係にあるp=225。すなわち

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


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

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

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

**その他**
 f (x) が下(上)に凸なら  も下(上)に凸。すなわちルジャンドル変換は凸性を保持するp=225。- f (x) の左微分と右微分が異なる（ f (x) が折れ線となる）点は、 が p に関して1次関数（直線）となる領域に対応する。逆に f (x) が x に関して直線となる領域は  が折れ線となる点に対応するp=240。これは感覚的には、 と  が対応するとも解釈できる。
*象徴的に書けば、以下のように x と p について対称な関係がある。
*:- f (x) の逆関数  のルジャンドル変換は以下である（後述のヘルムホルツエネルギーとMassieu functionの関係などに応用がある）。
*: 

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


**応用例**

**熱力学**
画像:Guggenheim square.svg|thumb|ルジャンドル変換で繋がっている熱力学関数とその変数のまとめ。
熱力学では、熱力学関数間の変換、すなわち内部エネルギー U(S, V) をエンタルピー H(S, p)、ヘルムホルツの自由エネルギー F(T, V) に、またそれらからギブスの自由エネルギー G(T, p) に変換する際にルジャンドル変換が用いられる。
 
ここで、V：体積、p：圧力、S：エントロピー、T：温度である。U が S, V について下に凸であるp=99ため、U(S, V), H(S, p), F(T, V), G(T, p) はルジャンドル変換を介して互いに等価である（同じ情報を持つ）。
ただしここではルジャンドル変換は
 
という定義が用いられるp=227。この定義でも上に述べた性質はほぼ同様に成り立つが、符号や凸性の変化などがある。たとえば逆変換は
 
に変わるという不便さがある。しかし多変数関数をこの定義で変換した場合、凸性の上下については、変換した変数についてのみ逆転し残りの変数についてはもとのまま保持されるという簡便さがある。
熱力学では導関数の不連続性は相転移として現れる。

**解析力学**
画像:Lagrangian and Equation of motion.jpg|thumb|解析力学におけるルジャンドル変換にThermodynamic squareを適用したときのオイラー＝ラグランジュ方程式。
画像:Hamiltonian and Equation of motion.jpg|thumb|Thermodynamic squareを適用したときの正準方程式。
解析力学では、ラグランジアン L をハミルトニアン H に変換する際に、ルジャンドル変換が用いられる。座標を q としたときに正準運動量を  として、ハミルトニアンは
 
と定義されるp=42。これによって、 から H(q, p) になる。
実際これは以下の関係を満たす。

このハミルトニアンとオイラー＝ラグランジュ方程式あるいは最小作用の原理を組み合わせることで正準方程式が導かれるp=43。
ハミルトニアンの全微分は、
 
と書けるが、一方でハミルトニアンの定義より、
 
となるので、ハミルトニアンの偏微分は以下の関係を満たす。この内、正準変数 p, q の偏微分に関する式をまとめて正準方程式 (canonical equations) と呼ぶ。
 
逆にハミルトニアンからラグランジアンを得る場合には、関数 L を以下のように定義し、
 
変数 p に対する偏微分が 0 になるようにする。すなわち、
 
結局このとき変数  はハミルトニアンの運動量微分に等しくなる。
多変数の場合には、ラグランジアンのすべての一般化速度についてルジャンドル変換を施したものがハミルトニアンと呼ばれる。また部分的にルジャンドル変換をしたものはRouthian (Routhian) と呼ばれるp=47。

**正準変換**

**具体例**

**滑らかな関数の例**
最も簡単な例として特異性のない関数を挙げるp=275。定数 1=s > 1 に対して
 
とする。この関数 f は下に凸かつ十分滑らかである。関数 f のルジャンドル変換  は
 
となる。ただし t は  を満たす定数である。この例では f(x) と  は対称な形となる。特に 1=s = t = 2 の場合、 はルジャンドル変換で形を変えない。

**導関数に定数となる領域がある例**
がある区間で1次関数（直線）となる例を挙げるp=234。
 
導関数  が全領域で連続、かつ 1 < x < 2 で定数  であることに注意する。この関数のルジャンドル変換は 1=p = 1 で折れ線となり、
 
となる。

**斉次関数**
が k 次の斉次関数であるなら、そのルジャンドル変換は

であるp=152。特に 1=k = 1 のとき、f(x) のルジャンドル変換は 0 となる。

**注釈**

**出典**

**参考文献**
 ref=harv 付録 H. Legendre 変換、pp.270-278.- Cite book|和書|last=須藤|first=靖|authorlink=須藤靖|title=解析力学・量子論|publisher=東京大学出版会|date=2010-8-20|edition=第 2 版|page=274|isbn=9784130626101|ref=harv 5.2 ルジャンドル変換、pp.45-47.- pages=221-254- page=152- page=- ref=Borwein- Cite web |url=https://num.math.uni-goettingen.de/~r.luke/publications/Duality.pdf |title=Duality and Convex Programming |access-date=2025/01/30 |publisher=ゲッティンゲン大学 |author=Jonathan M. Borwein and D. Russell Luke |year=2013

**関連項目**
 劣微分

**外部リンク**
 ルジャンドル変換の意味と具体例