Questions tagged [convex-analysis]

Convex analysis is the study of properties of convex sets and convex functions. For questions about optimization of convex functions over convex sets, please use the (convex-optimization) tag.

Convex analysis is the study of properties of convex sets and convex functions.

Formally, a set $S$ is convex if, for all $x, y \in S$ and $t \in [0,1]$, $tx + (1-t)y \in S$. Intuitively, this says that for any two points in $S$, the line segment connecting those points is also in $S$.

Formally, a function $f: S \to \mathbb{R}$ defined on a convex set $S$ is convex, if for all $x,y \in S$ and $t \in [0,1]$, $f(tx + (1-t)y) \leq t f(x) + (1-t) f(y)$. Intuitively, this says that, for any two points on the graph of $f$, the line segment connecting those points lies above the graph of $f$.

Some of the more important results in convex analysis include Carathéodory's Theorem, Jensen's Inequality, Minkowski's Theorem, and the supporting hyperplane theorem.

9641 questions
5
votes
1 answer

Convexity cones and polar set.

Let $\mathbb{K} \subseteq \mathbb{R^n}$ be a closed convex cone. Show that: $\mathbb{K}$ is a linear subspace $\iff$ $\mathbb{K}^º \cap (-\mathbb{K})=\{0_n\} $ where $\mathbb{K}^º:=\{x\in\mathbb{R}^n\,|\,\langle k,x\rangle\leq 0,\forall k\in…
Lecter
  • 449
5
votes
1 answer

Proving a function is convex if its epigraph is convex.

Background In the question here, a proof is given for the following statement: $$f\text{ is convex} \implies \operatorname{epi}(f)\text{ is convex}$$ Since it is known that $$f\text{ is convex} \iff \operatorname{epi}(f)\text{ is convex},$$ I would…
Nurmister
  • 335
5
votes
1 answer

Are closed convex functions continuous?

A function is called closed if its epigraph is closed -- see here for a little more detail. Suppose $D \subset \mathbb{R}^n$ is a convex set and $f: D \rightarrow \mathbb{R}$ is a closed convex function. Does it follow that $f$ is continuous on $D$?…
M.S.
  • 53
5
votes
1 answer

Running average of a convex function is convex

Let $f(t)$ be a convex function and define $g(t)$ to be the running average of $f(t)$ $$g(t) = \frac{1}{t} \displaystyle\int_0^t f(\tau) ~d\tau$$ Then $g$ is convex. This is easy enough to prove just by differentiating twice. My question is: is…
robinson
  • 1,918
5
votes
2 answers

Functions mapping convex sets on convex sets

A function $f:\Bbb R^n\to\Bbb R^m$ is said that maps convex sets on convex sets if it satisfies: (1) the image $f(A)$ of any convex set $A$ is a convex set; (2) the preimage $f^{-1}(B)$ of any convex set $B$ is a convex set. All affine…
5
votes
1 answer

What class of functions is characterized by the property $f[\operatorname{conv} A] \subseteq \operatorname{conv} f[A]$

It is well-known that the inclusion $f[\overline A] \subseteq \overline{f[A]}$ (for every subset $A$) characterizes continuous functions.1 Asking similar questions for other closure operators seems to be a rather natural question. So this leads me…
5
votes
3 answers

Show that $f(x) = -\ln(x)$ is convex (WITHOUT using second derivative!)

In the lecture notes for a course I'm taking, the definition of a convex function is given as follows: "a function $f$ is convex if, for any $x_1$ and $x_2$, and for any $\alpha$ $\in$ [0,1], $\alpha f(x_1) + (1-\alpha)f(x_2) \ge f(\alpha x_1 +…
5
votes
2 answers

Convexity of log-determinant

I'm having a difficult time determining if the following function is convex $$f(X) = \log {\rm det}(X^T A X)$$ where $A \in \mathbb{R}^{r \times r}$ is a symmetric positive definite matrix and $X \in \mathbb{R}^{r \times u}$ with $u < r$ and $X'X =…
user23658
  • 453
5
votes
1 answer

Show the sub level set is convex

I am having a bit of trouble solving the following convexity problem: Let $f : X \to (-\infty,+\infty)$ be convex and let $\alpha \in \mathbb{R}$. Show that the sublevel set $$c= \lbrace x \in X : f(x) \leq \alpha \rbrace$$ is convex. Given that…
Jeremy
  • 684
5
votes
1 answer

How to prove quasi-convex if and only if unimodal?

I want to prove for function $f : \mathbb{R}^n \rightarrow \mathbb{R} $, $$ f \text{ is quasi-convex} \iff -f \text{ is unimodal.}$$ Basic definitions: $f: \mathbb{R}^n \rightarrow \mathbb{R} $ is quasi-convex if for any $x, y \in \mathbb{R}^n$…
Luis
  • 51
5
votes
2 answers

Is $L_2$-norm a strictly convex function?

I am new to convex analysis, and just wondering whether there is a simple check to see whether $L_2$-norm is strictly convex. How to mathematically prove/disprove this? $L_2$-norm: $\| x\|_2 = \sqrt{\sum x_i^2}$.
SixSigma
  • 161
5
votes
1 answer

Understanding the subdifferential sum rule

A previous question asked: Given: $f$ and $g$ are lower-semicontinuous proper convex functions, $x \in \text{ri dom}(f) \cap \text{ri dom}(g)$, $h = f+g$, $p \in \partial h(x)$, Prove that there exist some $s \in \partial f(x)$ and $t \in…
littleO
  • 51,938
5
votes
0 answers

Convexity of the set of gradients of a convex function

If $\vec{y}_1$ and $\vec{y}_2$ are the gradients of a differentiable convex function $f(x)$ at points $\vec{x}_1$ and $\vec{x}_2$ does there exist a $\nabla f^{-1}( \alpha \vec{y}_1 + (1-\alpha)\vec{y}_2)$ in the domain of $f.$ The forward image of…
san
  • 193
4
votes
0 answers

Epigraph of closed convex hull of a function

$\newcommand{\co}{\overline{\operatorname{co}}}\newcommand{\epi}{\operatorname{epi}}$ Let $X$ be an n.v.s and $f: X \to \mathbb{R} \cup \{+\infty\}$ and define $$\co f(x) \doteq \sup_{\substack {x^* \in X^* \\ r \in \mathbb{R} \\ \left \langle x^*,…
Sorombo
  • 663
4
votes
1 answer

$C^2$ approximation of a convex set with a "flat part"

Suppose we have a closed, bounded, convex set $K \subset \mathbb{R}^n$ with non-empty interior. It's well-known that we can approximate $K$ either from the inside or from the outside in the Hausdorff distance either by closed convex polytopes or by…
Glitch
  • 8,331