Concave Legendre dual

ID: concave-legendre-dual

For a differentiable strictly concave function whose derivative is a bijection of , define
The unique minimizing point is , and follows by comparing minimizers at adjacent arguments, even when is not differentiable. This dual is concave and equals in terms of the convex conjugate. If , then . For , .

New to topics? Read the docs here!