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
0
votes
1 answer

Strong convexity and strong monotonicity of the sub-differential

I know how to show that when $f$ is proper and $\mu$-strongly convex, its subgradient $\partial f$ is $\mu$-strongly monotone. Is the converse true? Let $H$ be a real Hilbert space and $f : H \longrightarrow \overline{\mathbb R}$ proper. I claim…
blamethelag
  • 2,007
0
votes
1 answer

Prove that the set $\{(x,y) \in \mathbb{R}^2 : x^2 + y^2 - axy \leq 0 \}$ for $a\in [-2,2]$ is convex

I have attempted this question by using the fact that a composition of convex functions is also convex, and we know that $x^2+y^2$ is convex. However, I do not know how to show that $-axy$ is also convex. Do I need to prove it formally using the…
ripbozo
  • 37
0
votes
0 answers

How to show the following set is convex or not?

I have to show whether the following set is convex subset of $\mathbb{R^5}$ or not. $$S(x_1,x_2,x_3,x_4)=\{ (x_1^2+x_2^2+x_3^2+x_4^2+u_1^2+u_2^2,x_3,x_4,u_1,u_2) \mid -1\leq u_1 \leq 1, -1\leq u_2\leq 1 \}$$ for fixed $x_1$, $x_2$, $x_3$ and…
0
votes
1 answer

Epigraph for convex sets

I am trying to understand these situations: When is the epigraph of a function a halfspace? When is the epigraph of a function a convex cone? When is the epigraph of a function a polyhedron? For 1D I can see the if the function is horizontal line I…
manav
  • 253
0
votes
1 answer

Uniformly convex but not strongly convex function

As we know, the uniformly convex function is a generalization of the strongly convex function. However, is there any example that belongs to the former, not the latter? Many thanks in advance.
kaienfr
  • 199
0
votes
1 answer

How to prove the condition for interior points in convex sets?

$C$ is a non-empty convex set in $\mathbb{R}^n$. If $\forall y \in \mathbb{R}^n,$ there exists some $\epsilon>0$ such that $z+\epsilon y\in C$, then $z\in \rm{interior}(C)$ I cannot prove this conclusion. How to prove this theorem?
0
votes
1 answer

Convexity of sets of probability distributions

I have a question about the solution of exercise 2.15 part (a) from Boyd & Vandenberghe's Convex Optimization. The exercise says let $x$ be a real-values random variable with $\operatorname{prob}(x = a_i) = p_i, i = 1, \ldots, n$, where $a_1 <…
SaraK
  • 21
0
votes
2 answers

Is the ratio of sum of exponentials convex?

Consider the function $f: \mathbb{R}^{+n} \rightarrow \mathbb{R}$ defined by \begin{align*} f(x) = \frac{\displaystyle\sum_{i=1}^n a_i\exp(c x_i)}{\displaystyle\sum_{i=1}^n b_i\exp(c x_i)}, \end{align*} where $c, x_i \geq 0$ and $0 < a_i \leq…
KRL
  • 1,170
0
votes
2 answers

How can I show if this set is convex or not?

Let $\vec{x_1},\vec{x_2}\in{R^3}$. $C=\{(\vec{x_1},\vec{x_2})\ \vert\ ||\vec{x_1}-\vec{x_2}||_2 = l\}$ where $l\in R$. I would like to show whether the set $C$ is convex or not but am not sure where to start. The notion of a line segment between…
user1113569
  • 103
  • 3
0
votes
1 answer

Is $f$ concave at first argument

Is $f:\mathbb{R}^n\times\mathbb{R}^n\longrightarrow\mathbb{R}$ with $f(x,y)=\sum\limits_{j=1}^nx_j^3(y_j-x_j)$ concave in its first argument?
fere
  • 1
0
votes
1 answer

Is LSE^{+}-like function strictly convex?

Consider the following function, $$ f(u) = T\log \left( 1+ \sum_{i=1}^{N} \exp \left( \frac{a_i^{\intercal}u + b_i }{T}\right) \right) , $$ where $T > 0$, $a_i \in \mathbb{R}^m$, $b_i \in \mathbb{R}$ are fixed constants. Is $f$ strictly convex in…
0
votes
1 answer

Definition Polar Functions for Non-Negative Convex Functions is Equivalent for Gauge Functions

In Rockafellar's "Convex Analysis", the polar of a general non-negative convex function which vanishes at the origin is given as: $$ f^{\circ}(x^{*}) = \inf \{ \mu^{*} \geq 0 \mid \langle x, x^{*}\rangle\leq 1 + \mu^{*}f(x), \forall x \}.$$ This…
0
votes
1 answer

Having trouble understanding how this condition for a logarithmically convex function is true

The Equivalent conditions listed in wikipedia link: https://en.wikipedia.org/wiki/Logarithmically_convex_function. I am struggling to find out why this is true. Quoting below from the link above: If $f$ is a differentiable function defined on an…
0
votes
0 answers

Artin's Theorem 1.10 in his Gamma function

Artin states that: Theorem 1.10: If $f(x)$ is log convex on a certain interval, and if $c$ is any real number $\neq 0$, then both the functions $f(x+c)$ and $f(cx)$ are log convex on the corresponding intervals. I do not really understand the part…
0
votes
0 answers

Check whether the function is convex or concave or neither.

So I have a given function $f:S\rightarrow\mathbb{R}$ where $S=\{x\in\mathbb{R}^2:x_1,x_2>0\}$ $f(x)=12x_1^\frac{1}{3}x_2^\frac{1}{2}$ How do I check the convexity of the function ? I thought of proceeding via finding the eigenvalues of the hessian…