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
3
votes
0 answers

Is there a name for "anti-convex" sets?

Let $A \subset \mathbb{R}^n$. Suppose for all $x,y \in A$ with $x \not = y$, and for all $0 < t < 1$, we have $tx + (1-t)y \not \in A$. I like to say that $A$ is an "anti-convex" set. For instance, a sphere is anti-convex (I think?). Is there a…
3
votes
2 answers

Show that $x \mapsto \frac{\|x\|^2}{2}+\cos\|x\|$ is strictly convex.

I'm trying to solve a past year exam question. I'm having trouble with this question. I have to show that the following function is strictly convex. $$f: \mathbb{R}^n \rightarrow \mathbb{R}, \\ x \mapsto \frac{\|x\|^2}{2}+\cos\|x\|,$$ where…
3
votes
1 answer

Does the convex minorant of a continuous function which has a unique minimum point have a unique minimum point as well?

Consider a continuous function $f : U \to \mathbb{R}$ where $U \subset \mathbb{R}^{m}$ is a convex compact set. Also, let $\text{conv} f$ be the (greatest) convex minorant, that is, $\text{conv} f(u) := \sup_{g \in G}g(u)$ where $g \leq f$ and $g$…
3
votes
0 answers

Relation between perspective function and conjugate of linear scaling?

Let $f$ be a convex function. The perspective of its conjugate is defined as $$ h(y,t) = t f^\star(y / t) $$ for $t > 0$ and $y/t \in \operatorname{dom}f^\star$. Very similarly, if we take a fixed $a > 0$ and compute the convex conjugate of $a f$,…
gerw
  • 31,359
3
votes
1 answer

prove Quasiconcave or quasiconvex $f(x,y,z)=\sqrt{\frac{x}{y+2z}}$

prove that $f(x,y,z)=\sqrt{\frac{x}{y+2z}}$, $x,y,z>0$ is quasi-convex. by definition $P_a=\lbrace (x,y,z) : \sqrt{\frac{x}{y+2z}}\geq a\rbrace$ is convex then f is quasi-concave or $P^a=\lbrace (x,y,z) : \sqrt{\frac{x}{y+2z}}\leq a\rbrace$ is…
3
votes
3 answers

Convexity of a function in $\mathbb{R^2}$

I have to find if this function is convex or not... $$f(x_1, x_2) = 2x_1^2 −x_1x_2 + x_2^2 −3x_1 + e^{2x_1+x_2}$$ For me its convex (I have plot the surface and it seems convex). To prove it, I tried many things but It didn't work. First, $2x_1^2$,…
3
votes
2 answers

strictly convex + strictly convex $\implies$ strictly convex?

Suppose we have function $f:\mathbb{R}^{|d_x+d_y+d_z|}\rightarrow\mathbb{R}$, $g:\mathbb{R}^{|d_x+d_y|}\rightarrow\mathbb{R}$ and $h:\mathbb{R}^{|d_y+d_z|}\rightarrow\mathbb{R}$, satisfying $$f(x,y,z) = g(x,y)+ h(y,z),$$ where $x, y, z$ are vectors…
Tan
  • 621
3
votes
1 answer

Prove that $xf(x)$ is convex.

Suppose that $f:[0,1] \mapsto [0,\infty)$ is an increasing function with $f(0) = 0$. Then, is it true that $x\mapsto xf(x)$ is convex? It appears to be the case when $f$ is convex. However, I couldn't prove it for general $f$. I also couldn't find a…
3
votes
2 answers

Apparent contradiction in convexity of compositions of functions

I offer a proposition with both a proof and a counterexample. Thus, either the proof is incorrect, or the counterexample is not actually a counterexample, or both. Which is it? Proposition. Given a function $h(x)$ which is twice differentiable,…
Max
  • 1,257
3
votes
1 answer

Proof: Characterization of Extreme Points

I'm having difficulty following a proof in the book Nonlinear Programming Theory and Algorithms, Third Edition by Bazaraa, Sherali, and Shetty on page 68 section 2.6.4. The proof is reproduced below, up to the part of the proof I'm confused…
coderdave
  • 253
3
votes
0 answers

show that if $\langle x-y,\nabla f(x)-f(y)\rangle\ge0$, then f is convex.

For a differentiable function $f:\mathbb R^d\rightarrow \mathbb R$, show that if $\langle x-y,\nabla f(x)-f(y)\rangle\ge0$, then f is convex. Can someone explain the steps in the Link in baby language and baby symbols. That is, step 2) in the linked…
Vons
  • 11,004
3
votes
2 answers

Smooth convex functions

Let $E\subseteq\mathbb R^d$ be a convex set, $\beta\geq 0$ be a given real number and $f:E\to\mathbb R$ be a convex and differentiable function satisfying: $$f(y)\leq f(x)+\nabla f(x)^\top (y-x) +\frac{\beta}{2}\|x-y\|_2^2, \quad \forall x,y\in…
3
votes
0 answers

Surjectivity of metric projection on a closed convex set

Let $H$ be a Hilbert space and $S,K\subseteq H$ be two bounded closed convex sets such that $S\subseteq K$. Denote by $\partial K, \partial S$ the boundary of $K$ and $S$ respectively. Let $P_S:H\to S$ denote the metric projection on $S$. Then it is…
Arian
  • 6,277
3
votes
2 answers

Is the sum of two quasi-linear functions quasi-linear?

A function is said to be quasi-convex if $f(\theta x +(1-\theta)y)\leq \max\{f(x), f(y)\}$ for all $x,y$ and $\theta \in [0,1]$. A function is said to be quasi-linear if $f$ and $-f$ are both quasiconvex (e.g $\log$ or $\tanh$, $\sqrt{x}$ are such…
3
votes
1 answer

differences between convex functions

Let S be the set of functions from $\mathbb{R}^n$ to $\mathbb{R}$ which can be expressed as a difference between two convex functions. Clearly S is closed under sum and difference, however I also suspect it is closed under product, integration (for…
Mathew
  • 1,894