Quantcast
Channel: Active questions tagged real-analysis - Mathematics Stack Exchange
Viewing all articles
Browse latest Browse all 9517

The legendre transform reaches the supremum it's defined with.

$
0
0

As is known, the Legendre transform g of a convex function f is defined as :

$g(p)=\sup_{x \in \mathbb{R}^n} p(x)-f(x)$With $p\in\mathcal{L}(\mathbb{R}^n,\mathbb{R})$.

However, it can be shown that the maximizer of the expression above exists and here lies my question.

Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a convex smooth function satisfying :

$\lim_{\| x\| \to \infty} \frac{f(x)}{\|x\|} = \infty.$

If $p\in\mathcal{L}(\mathbb{R}^n,\mathbb{R})$, can you show that the superlevel sets :{q, $p(q)-f(q)\geq c$} are compact ?

This would help me show that a supremum exists and is reached.


Viewing all articles
Browse latest Browse all 9517

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>