ルジャンドル変換

ルジャンドル変換（ルジャンドルへんかん、）とは、凸解析において、関数の変数をその微分に変えるために用いられる変換である。このとき実数関数 は微分可能でなくてもよいが連続関数だとする。
名前はフランスの数学者、アドリアン＝マリ・ルジャンドルに因む。ルジャンドル変換は点と線の双対性、つまり凸な関数 は の点の集合によって表現できるが、それらの傾きと切片の値で指定される接線の集合によっても等しく充分に表現できることに基いている。
ルジャンドルは解析力学におけるラグランジアンをハミルトニアンに変換する際にルジャンドル変換を用いた。他にも、熱力学における熱力学関数間の変換など、物理学において広く応用されている。
ルジャンドル変換の一般化としてルジャンドル＝フェンシェル変換がある（ルジャンドル＝フェンシェル変換については凸共役性を参照）。
定義.
関数 のルジャンドル変換 は次のように定義される：
ここで および は変数 を動かしたときの上限および下限を表す。
また、下に凸な関数に対する等価な別定義として以下がある。
at 以下は、「 を満たすような を、一意でなければどれでもいいから代入せよ」という意味である。
変換される関数 は 以外の変数を持っていてもよく、多変数関数に対しては各変数についてルジャンドル変換をすることができる。
性質.
その定義から明らかなように、関数 の上限が定まる場合のみ、ルジャンドル変換によって新しい関数 を与えることができる。
それが定まる場合でも、もととなる関数 が凸関数でない場合、新たに定義された関数 は逆変換してももとの関数 へは戻らない。したがって応用上は初めから関数 は凸であると仮定することが多い。
滑らかな関数に対する変換.
もとの関数 の一階の導関数 が について連続であり単調増加する場合、すなわち関数 が下に凸で滑らかな場合、関数 の上限となる は、 の の一階の導関数 が 0 になる点であるから、ルジャンドル変換は次のように書き直せる。
ここで関数 は の導関数 の逆関数である：
これは方程式 の解である。
また、 もそのルジャンドル変換 も2階微分可能なら、両者は逆数の関係にある。すなわち
ただし と は を満たすとする。
逆変換.
関数 のルジャンドル変換 に対して再びルジャンドル変換を施した関数を とする：
 が下に凸であれば、 はもとの関数 に等しい：
つまりルジャンドル変換の逆変換はルジャンドル変換そのものとなる。
簡単な証明として、関数が滑らかな凸関数である場合についてこのことを示す。まず関数 を 2 回ルジャンドル変換をすると以下のようになる。
 は の逆関数であり、 は の逆関数なので、
 は の逆関数でもあり、 が成り立つ。
このことから、 はもとの関数 に等しいことが示される。
ヤングの不等式.
以下の不等式が成り立つ。この種の不等式はヤングの不等式と呼ばれる。
ルジャンドル変換の定義より、
であるから、 を両辺に足せば上述の不等式が成り立つ。
多変数関数.
多変数関数に対しては、その一部の変数に関してだけのルジャンドル変換を考えることができる。
2変数関数 を についてルジャンドル変換した関数を とする。このとき、変換されない変数 はスペクテータと呼ばれる。スペクテータ による偏微分はルジャンドル変換の影響を受けない。すなわち次式が成り立つ：
応用例.
熱力学.
熱力学では、熱力学関数間の変換、すなわち内部エネルギー をエンタルピー 、ヘルムホルツの自由エネルギー に、またそれらからギブスの自由エネルギー に変換する際にルジャンドル変換が用いられる。
ここで、：体積、：圧力、：エントロピー、：温度である。 が について下に凸であるため、, , , はルジャンドル変換を介して互いに等価である（同じ情報を持つ）。
ただしここではルジャンドル変換は
という定義が用いられる。この定義でも上に述べた性質はほぼ同様に成り立つが、符号や凸性の変化などがある。たとえば逆変換は
に変わるという不便さがある。しかし多変数関数をこの定義で変換した場合、凸性の上下については、変換した変数についてのみ逆転し残りの変数についてはもとのまま保持されるという簡便さがある。
熱力学では導関数の不連続性は相転移として現れる。
解析力学.
解析力学では、ラグランジアン をハミルトニアン に変換する際に、ルジャンドル変換が用いられる。座標を としたときに正準運動量を として、ハミルトニアンは
と定義される。これによって、 から になる。
実際これは以下の関係を満たす。
このハミルトニアンとオイラー＝ラグランジュ方程式あるいは最小作用の原理を組み合わせることで正準方程式が導かれる。
ハミルトニアンの全微分は、
と書けるが、一方でハミルトニアンの定義より、
となるので、ハミルトニアンの偏微分は以下の関係を満たす。この内、正準変数 の偏微分に関する式をまとめて正準方程式 () と呼ぶ。
逆にハミルトニアンからラグランジアンを得る場合には、関数 を以下のように定義し、
変数 に対する偏微分が 0 になるようにする。すなわち、
結局このとき変数 はハミルトニアンの運動量微分に等しくなる。
多変数の場合には、ラグランジアンのすべての一般化速度についてルジャンドル変換を施したものがハミルトニアンと呼ばれる。また部分的にルジャンドル変換をしたものは () と呼ばれる。
具体例.
滑らかな関数の例.
最も簡単な例として特異性のない関数を挙げる。定数 に対して
とする。この は下に凸かつ十分滑らかである。ルジャンドル変換は
となる。ただし は を満たす定数である。この例では と は対称な形となる。特に の場合、 はルジャンドル変換で形を変えない。
導関数に定数となる領域がある例.
 がある区間で1次関数（直線）となる例を挙げる。
導関数 が全領域で連続、かつ で定数 であることに注意する。この関数のルジャンドル変換は で折れ線となり、
である。特に のとき、 のルジャンドル変換は 0 となる。