Skip to main content
typos
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

An idea of the proof. For hethe convexity of $f$$F$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\inf$ more generally that $\min$ in the definition.

For the strict convexity: anyassume that $F$ is convex but not strictly convex. Then, up to adding a linear form to $F$, the $F$ has more than a minimum point. Any minimum point of $f$$F$ is the projection of a minimum point of $F$$f$, so ifand since $f$$F$ has more than a minimum point, so does $F$, and $F$ is not strictly convex. Up to adding a linear form to $f$, the latter is the case whenand $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\inf_y f(x,y)$, like the example of $f(x,y):=\exp(x^2/2+y)$ shows, sincefor $\operatorname{det}D^2f=f^2>0$$f$ is strictly convex and $F$ is identically $0$.

An idea of the proof. For he convexity of $f$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\inf$ more generally that $\min$ in the definition.

For the strict convexity: any minimum point of $f$ is the projection of a minimum point of $F$, so if $f$ has more than a minimum point, so does $F$, and $F$ is not strictly convex. Up to adding a linear form to $f$, the latter is the case when $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\inf_y f(x,y)$, like the example of $f(x,y):=\exp(x^2/2+y)$ shows, since $\operatorname{det}D^2f=f^2>0$ and $F$ is identically $0$.

An idea of the proof. For the convexity of $F$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\inf$ more generally that $\min$ in the definition.

For the strict convexity: assume that $F$ is convex but not strictly convex. Then, up to adding a linear form to $F$, the $F$ has more than a minimum point. Any minimum point of $F$ is the projection of a minimum point of $f$, and since $F$ has more than a minimum point, so does $f$, and $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\inf_y f(x,y)$, like the example of $f(x,y):=\exp(x^2/2+y)$ shows, for $f$ is strictly convex and $F$ is identically $0$.

edited body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

An idea of the proof. For he convexity of $f$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\sup$$\inf$ more generally that $\min$ in the definition.

For the strict convexity: any minimum point of $f$ is the projection of a minimum point of $F$, so if $f$ has more than a minimum point, so does $F$, and $F$ is not strictly convex. Up to adding a linear form to $f$, the latter is the case when $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\sup_y f(x,y)$$F(x):=\inf_y f(x,y)$, like the example of $f(x,y):=\exp(x+y^2/2)$$f(x,y):=\exp(x^2/2+y)$ shows, since $\operatorname{det}D^2f=f^2>0$ and $F$ is identically $0$.

An idea of the proof. For he convexity of $f$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\sup$ more generally that $\min$ in the definition.

For the strict convexity: any minimum point of $f$ is the projection of a minimum point of $F$, so if $f$ has more than a minimum point, so does $F$, and $F$ is not strictly convex. Up to adding a linear form to $f$, the latter is the case when $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\sup_y f(x,y)$, like the example of $f(x,y):=\exp(x+y^2/2)$ shows, since $\operatorname{det}D^2f=f^2>0$ and $F$ is identically $0$.

An idea of the proof. For he convexity of $f$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\inf$ more generally that $\min$ in the definition.

For the strict convexity: any minimum point of $f$ is the projection of a minimum point of $F$, so if $f$ has more than a minimum point, so does $F$, and $F$ is not strictly convex. Up to adding a linear form to $f$, the latter is the case when $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\inf_y f(x,y)$, like the example of $f(x,y):=\exp(x^2/2+y)$ shows, since $\operatorname{det}D^2f=f^2>0$ and $F$ is identically $0$.

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

An idea of the proof. For he convexity of $f$: a function is convex iff its epigraph is convex; the epigraph of $F$ is the projection of the epigraph of $f$; the projection of a convex set is convex. Note that this part also work with $\sup$ more generally that $\min$ in the definition.

For the strict convexity: any minimum point of $f$ is the projection of a minimum point of $F$, so if $f$ has more than a minimum point, so does $F$, and $F$ is not strictly convex. Up to adding a linear form to $f$, the latter is the case when $f$ is not strictly convex.

Finally, note that a strictly convex and bounded below function $f$ does not produce in general a strictly convex $F(x):=\sup_y f(x,y)$, like the example of $f(x,y):=\exp(x+y^2/2)$ shows, since $\operatorname{det}D^2f=f^2>0$ and $F$ is identically $0$.