ルジャンドル変換（２）からの続き
田崎さんの熱力学の付録HのLegendre変換によれば（変数$\alpha \rightarrow p$として），$f(x)+f^*(p) \ge x p$ というYoungの不等式が成り立つとある。ルジャンドル変換を一般化した凸共役性のところでも，フェンシェル=ヤングの不等式として示され，これらはルジャンドル変換の定義（min/maxを用いるもの）から直ちに導かれるとしている。
ところが，積分で表示した場合はどうなのかちょっと困った。まあ，不等号でmin/maxの条件に当てはまらないところを考えるということならば，単調増加する連続関数の積分における不等式で説明できたということにすれば良いのかな。
（例1）$f(x)=a x^2 + b x$のルジャンドル変換。$f'(x)=2 a x+ b =p$から$x=\frac{p-b}{2a}$が最小値を与える$x$である。これを用いて，$f^*(p) = x p - f(x) = x p - (a x^2 + b x) |_{x=\frac{p-b}{2a}} = \frac{(p-b)^2}{4a}$
（例2）$\alpha, \beta > 1, \frac{1}{\alpha}+\frac{1}{\beta}=1$として，$f(x)=\frac{1}{\alpha}x^\alpha$のルジャンドル変換。$f'(x)=x^{\alpha-1}=p$から$x=p^{1/(\alpha-1)}$が最小値を与える$x$である。これを用いて，$f^*(p) = x p - f(x) = x p -\frac{1}{\alpha}x^\alpha |_{x=p^{1/(\alpha-1)}} = p^{\alpha/(\alpha-1)} - \frac{1}{\alpha}p^{\alpha/(\alpha-1)} = \frac{\alpha - 1 }{\alpha} p^{\alpha/(\alpha-1)} = \frac{1}{\beta} p^\beta$となる。すなわち，$\dfrac{x^\alpha}{\alpha} + \dfrac{p^\beta}{\beta} \ge x p$ が成り立つ。
（例3）対応する変数を$(\dot{x}, p)$として，$f(\dot{x})=L(\dot{x},x)=\frac{1}{2}\dot{x}^2-\frac{1}{2}x^2$のルジャンドル変換。$\frac{\partial L(\dot{x},x)}{\partial \dot{x}}=\dot{x} = p$となる。これを用いて，$f^*(p)=H(p,x)=\dot{x} p - L(\dot{x},x) = p^2 - L(p,x) = \frac{1}{2}p^2 +\frac{1}{2} x^2$となる。
