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

Is the following set convex?

Let $S$ be the set $$S= \{(x,y) \in \mathbb R^2\mid x>1,y>1\}$$ Is this set convex and if so, how do you prove it? I've tried using the definition by looking at two arbitrary vectors in the set and looking at their convex combination, but have not…
user274920
2
votes
1 answer

Property of strongly convex functions

Given $f$ is strongly convex with convexity parameter $\sigma$ and $\displaystyle x_0=\arg\min_{x}f(x)$, how do we arrive at the following inequality: $$f(x)\ge f(x_0)+\frac{\sigma}{2}\|x-x_0\|^2$$ Note that $f$ is not assumed to be…
Sapphire
  • 661
2
votes
1 answer

Why is this transformation convex?

Let $f:\mathbb{R}^n \to \mathbb{R}\cup\{ \infty \}$ be convex. It's claimed that this implies $g:\mathbb{R}^n \times (0,\infty) \to \mathbb{R}\cup\{ \infty \},(x,y)\mapsto yf(\frac{x}{y})$ is convex. This claim was made in some notes on convex fns…
Jason
  • 2,065
2
votes
1 answer

Multivariate convex function / increasing differences

$\newcommand\Rr{\mathbb{R}}$I am trying to show the following statement. It feels true to me, but I haven't found any reference in the literature so far: Let $\Rr^n$ be ordered component-wise, i.e., $x \le y$ iff $x_i \le y_i$ for $i =…
srs
  • 295
2
votes
2 answers

Boundary of convex set is piecewise $C^1$

Let $K$ be a convex and compact subset of $\mathbb{R}^2$. Is it true that the boundary of $K$ can be parameterized by a piecewise $C^{1}$ application $\gamma :I\to\mathbb{R}^2$?
Bogdan
  • 1,867
2
votes
1 answer

Is a twice differentiable function whose only extrema is a minimum automatically convex?

I have a twice differentiable function $H(x)$ for which I have already proven that: $\exists !x^*:H'(x^*)=0$ and furthermore that $H''(x^*)>0$ (the only extremal is a minima). $H''(x)$ is continuous (see question asked in the comments). Does that…
user42397
  • 399
2
votes
2 answers

Uniformly convex and strictly convex

I have the following definitions of uniformly convex and strongly convex Let $f:R^n \to R$ be smooth. (1) $f$ is uniformly convex if there exists $\theta > 0 $ such that $$\Sigma_{i,j}f_{x_i x_j} \xi_i \xi_j \geq \theta |\xi|^2 \tag1$$ for every…
mononono
  • 2,028
2
votes
1 answer

Hint on how to proof that $x^2$ is convex

Note: I can't differentiate 2 times and prove that $f''(x) > 0$ The exercise requires me to prove that the function $f(x) = x^2$ is convex by using the following Theorem: $f(x) \ge f(x^*) + \nabla f(x^*)^T(x-x^*)$ I tried to replace the $f(x)$ with…
2
votes
1 answer

How to prove convexity of a given set

I have the set $$ C_c = \{(x,y,z) \epsilon \mathbb{R}^3 : (2x-x^2+y)(2y-3z)(5x-z) > 1, |x| < 1, y > 3, z < 2\} $$ and I need to prove whether it's convex or not. I know that the intersection of different convex sets is convex, but the first…
2
votes
0 answers

An inequality regarding convex functions

For a convex function $f(\cdot)$ for $x_4 \ge x_3 \ge x_2 \ge x_1 \ge 0$ and $t,t^{'}\ge 0$ we are given that \begin{equation} \frac{f(x_4)-f(x_3)}{f(x_2)-f(x_1)} \ge \frac{f(x_4-t)-f(x_3-t^{'})}{f(x_2-t^{'})-f(x_1-t)}. \end{equation} I need to…
Aliveli
  • 21
2
votes
2 answers

Is face closed?

A face of convex set $C$ is a convex subset $F$ of $C$ such that for $x,y\in C$ and some $\lambda\in \langle 0,1\rangle, \lambda x+(1-\lambda)y\in F$ implies $x,y\in F$. I was wondering if every face was closed set? If not, can someone please…
Dee
  • 97
2
votes
2 answers

show that function is not convex

I've never had to do this before, so I'm not really sure how to do it. These problems also don't even really relate to what the subject of the book is as well. Given: $f(px+(1-p)y)\le pf(x)+(1-p)f(y)$ Consider the function $f(x)\left\{…
Matt
  • 195
2
votes
1 answer

Calculating the Convex hull of a specific set in $\mathbb{R}^3$

I have to calculate the convex hull of $A=\{(-4k,k^2+2,2k^2-2k)|k\ge 2\}\cup \{(k,k^2/4-1,-k^2/4-k)|l\le -2\}$. I am aware with the Fenchel-Bunt theorem, so I just have to consider every (closed) triangles made by $a,b,c\in A$. I wanted to do this…
2
votes
2 answers

Proving Convexity of an Open Disk

I need to prove that the following set is convex: $$ \{(x,y):x^2 +y^2 \lt 2\} $$ Obviously, this an open disk of radius $\sqrt2$. My intuition is to use triangle inequality for this proof because a similar example was done in class. However, I've…
2
votes
1 answer

Eliminating equality constraints

The following text derived from book Convex Optimization, by Boyd, page 143. For a convex problem the equality constraints must be linear, i.e., of the form $Ax = b$. In this case they can be eliminated by finding a particular solution $x_0$ of $Ax…
Thoth
  • 863