メインメニューを開く
関数 のルジャンドル変換 (ただし )は、 における の接線の切片に対応している。

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

ルジャンドルは解析力学におけるラグランジアンハミルトニアンに変換する際にルジャンドル変換を用いた。他にも、熱力学における熱力学関数間の変換など、物理学において広く応用されている。

ルジャンドル変換の一般化としてルジャンドル=フェンシェル変換がある(ルジャンドル=フェンシェル変換については凸共役性を参照)。

定義編集

関数 f のルジャンドル変換は次のように定義される[1]

 

または次のように定義してもよい[1]

 

ここで、maxx変数 x を動かしたときの最大値を表し、minx は変数 x を動かしたときの最小値を表す。

文献によっては最大値 max や最小値 min の代わりに、上界 sup や下界 inf が用いられる[2][3]

 

また、下に凸な関数に対する等価な別定義として以下がある[4]

 

at 以下は、「f '(x - 0) ≤ pf '(x + 0) を満たすような x を、一意でなければどれでもいいから代入せよ」という意味である。

変換される関数 fx 以外の変数を持っていてもよく、多変数関数に対しては各変数についてルジャンドル変換をすることができる。

性質編集

ルジャンドル変換の定義から明らかなように、関数 g(x) = f(x) − px の最小値が定まる場合のみ、ルジャンドル変換によって新しい関数を与えることができる[5]

最小値が定まる場合でも、もととなる関数 f(x)凸関数でない場合、新たに定義された関数 f*(p) は逆変換してももとの関数 f(x) へは戻らない[5]

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

もとの関数 f(x) の一階の導関数 f'(x)x について連続であり単調増加する場合、すなわち関数 f(x) が下に凸で滑らかな場合、関数 g(x) = f(x) − px が最小となる x は、g(x)x の一階の導関数 g'(x) が 0 になる点であるから、ルジャンドル変換は次のように書き直せる。

 

ここで関数 x*(p)f(x) の導関数 Df(x)逆関数である。

 

これは方程式 f'(x) = pである。

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

 

ただし xpp = f '(x) を満たすとする。

逆変換編集

関数 f(x) のルジャンドル変換 f*(p) に対して再びルジャンドル変換を施す。

 

f(x) が下に凸であれば、2 回ルジャンドル変換をした関数 f**(x) はもとの関数 f(x) に等しい。

 

つまりルジャンドル変換の逆変換はルジャンドル変換そのものとなる。

簡単な証明として、関数が滑らかな凸関数である場合についてこのことを示す。まず関数 f を 2 回ルジャンドル変換をすると以下のようになる。

 

p*(x)d/dp f*(p) の逆関数であり、x*(p)f'(x) = d/dx f(x) の逆関数なので、

 

p*(x)x*(p) の逆関数でもあり、x*(p*(x)) = x が成り立つ。 このことから、f** はもとの関数 f に等しいことが示される。

 

ヤングの不等式編集

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

 

任意の関数 f とその共役 f* は以下の不等式を満たす。

 

f を両辺に足せば以下のようになる。この種の不等式はヤングの不等式と呼ばれる。

 

その他編集

  • f (x) が下(上)に凸なら f *(p) も下(上)に凸。すなわちルジャンドル変換は凸性を保持する[6]
  • f (x)左微分と右微分が異なる( f (x) が折れ線となる)点は、f *(p)p に関して1次関数(直線)となる領域に対応する。逆に f (x)x に関して直線となる領域は f *(p) が折れ線となる点に対応する[7]。これは感覚的には、   が対応するとも解釈できる。
  • 象徴的に書けば、以下のように xp について対称な関係がある。
     

応用例編集

熱力学編集

 
ルジャンドル変換で繋がっている熱力学関数とその変数のまとめ。

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

 
 
 

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

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

 

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

 

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

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

解析力学編集

 
解析力学におけるルジャンドル変換にThermodynamic square英語版を適用したときのオイラー=ラグランジュ方程式。
 
Thermodynamic square英語版を適用したときの正準方程式。

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

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

具体例編集

滑らかな関数の例編集

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

 

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

 

となる。ただし t1/s + 1/t = 1 を満たす定数である。この例では f (x)f *(p) は対称な形となる。特に s = t = 2 の場合、f (x) = x2/2 はルジャンドル変換で形を変えない。

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

f (x) がある区間で1次関数(直線)となる例を挙げる[14]

 

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

 

となる。

脚注編集

  1. ^ a b 田崎 2000, p. 270.
  2. ^ 田崎 2000, p. 271, 脚注.
  3. ^ 清水 2007, p. 248.
  4. ^ 清水 2007, p. 223.
  5. ^ a b 田崎 2000, p. 272.
  6. ^ a b 清水 2007, p. 225.
  7. ^ 清水 2007, p. 240.
  8. ^ 清水 2007, p. 99.
  9. ^ 清水 2007, p. 227.
  10. ^ 須藤 2010, p. 42.
  11. ^ 須藤 2010, p. 43.
  12. ^ 須藤 2010, p. 47.
  13. ^ 田崎 2000, p. 275.
  14. ^ 清水 2007, p. 234.

参考文献編集

  • 田崎, 晴明『熱力学 現代的な視点から』培風館〈新物理学シリーズ 32〉、2000年4月12日、初版、302頁。ISBN 9784563024321 付録 H. Legendre 変換、pp. 270–278.
  • 須藤, 靖『解析力学・量子論』東京大学出版会、2010年8月20日、第 2 版、274頁。ISBN 9784130626101 5.2 ルジャンドル変換、pp. 45–47.
  • 清水明 『熱力学の基礎』 東京大学出版会、2007年、221-254頁。ISBN 978-4-13-062609-5 

関連項目編集