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