MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let f(x) be a strongly convex smooth function (its Hessian matrix is positive definite) defined in a convex domain D, introduce the Legendre transformation $$x=(x_1,...,x_n)\rightarrow (\xi_1,...,\xi_n),\xi_i=\frac{\partial f}{\partial x_i},$$ $$u(\xi_1,...,\xi_n)=x_i\xi_i-f$$ The Legendre transformation domain W is defined by: $$W=((\xi_1,...,\xi_n)|\xi_i=\frac{\partial f}{\partial x_i}, x\in D )$$ I want to know the regularity of the boundary of W, (can assume the domain W is bounded) what conditions to make the boundary $\partial W$ smooth or $C^2$?

share|cite|improve this question
If $f$ is strongly convex and defined in a nbd of $\bar D$, it's gradient $\nabla f$ is a (monotone) diffeomorphism, so $\partial W$ is $C^2$ if $\partial D$ is $C^2$ and $f$ is $C^3$ on a nbd of $\bar D$. – Pietro Majer Jun 2 '11 at 17:26
In my question, f(x) may be defined on the whole $\mathbb{R}^n$ (this situation is my interest), for example, the following function (known as hyperbolic affine hypersphere): $$f(x_1,...,x_n)=\frac{1}{x_1\cdots x_n}, x_i>0, 1\leq i\leq n.$$ Choose suitable coordinates, this graph can be represented by another function $\tilde{f}$ defined on the whole $\mathbb{R}^n$, and the Legendre transformation domain of $\tilde{f}$ is a simplex. – fible Jun 5 '11 at 2:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.