Legendre Transform

Let .
Then the Legendre transform is:

For convex, it is always true that
on a domain where they are both defined.

In practice, we will have .