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
1
vote
0 answers

can we find general form for elements of intersection of positive semidefinite matrices with convex cones of other matrices?

On sep 8, 2011 a question was asked about cones of positive semidefinite matrices that can be generated by rank 1 matrices. A respondent answered "any convex cone in Rn×n is defined by a collection of linear inequalities (not necessarily equations).…
Abdul
  • 11
1
vote
2 answers

why are logarithmically convex functions convex?

I know that the converse is not true; there are convex functions that are not logarithmically convex. But how can I prove that a logarithmically convex function is convex? I tried to use the definition of convex functions directly but that doesn't…
Keith
  • 7,673
1
vote
1 answer

Any convex and closed set in R has to be a closed interval of the form [a,b]

Prove or Disprove Any convex and closed set in R has to be a closed interval of the form [a,b] I initially thought that R itself is convex and closed and not in this form. So, counter-example. But then I realized that R is also open, that is to say…
1
vote
1 answer

why does this prove concavity?

Here is a problem about proving concavity of a function Problem 5. Assume $f$ and $g$ are concave. prove that $f+g$ is concave Answer: How does this prove concavity? I am used to the idea that a function is concave iff $f''\leq 0$. I don't see…
user56834
  • 12,925
1
vote
1 answer

Approximating from the interior of a convex set

In a problem I'm working on I found myself with a point $y\in \mathbb{R}^m$ lying at the boundary of a non-closed convex set $K$. I'd like to express it as as "infinite convex combination" $$y=\sum_{i=1}^\infty \lambda_i y_i,$$ where $\lambda_i \ge…
1
vote
1 answer

Deducing separation theorem from a particular case

Suppose I have proved this version of the separation theorem : Let $K \subseteq R^n$ be a convex, closed set. If $x^* \notin K$, $x^* \in \Bbb R^n$, then $\exists a \in \Bbb R^n$, $\beta \in \Bbb R$ such that $a^Ty \leq \beta \ \forall y \in K$…
Desura
  • 2,011
1
vote
3 answers

function is convex if and only if its derivative is monotonically increasing for multivariate functions

I know the theorem which says If the differential function is (strictly) convex, then its derivative (strictly) monotonically increasing. and I know how to prove it for univariate function. But is it true for multi variable functions too? So…
AFDOONE
  • 13
1
vote
0 answers

Is $f_a$ convex function for various value of $a$?

$f_{a}:[a,1]\rightarrow \mathbb{R}$, where $a\leq 0$ $$f_{a}(x)=\begin{cases} 1 & \text{ if } x=0 \\ 0& \text{ if } x \neq 0 \end{cases}$$ A) $f_{a}$ is convex for all $a\leq 0$ B) $f_{a}$ is not convex for any $a\leq 0$ C) $f_{a}$ is a…
user405925
  • 343
  • 3
  • 13
1
vote
1 answer

Second order integer cone and polar

Consider the two sets $C_1$ and $C_2$ that are defined as follows: $$ \left\{ \begin{array}{ll} C_1=\{\,(x_1,x_2,x_3)\in \Bbb{R}^3 \mid x_3\ge 0\,,\,x_3^2 \ge x_1^2+x_2^2\,\} &,\\ \\ C_2=\{\,y\in \Bbb{R}^3 \mid \forall x \in C_1 \,,\, y^t\cdot x…
1
vote
2 answers

is minimum of convex function on different domains convex?

Let $$ f(x,y)=\min(|x-c|,|y-c|), $$ where $x,y,c \in[0,1]$. I wish to show that $f$ is quasiconvex. I wasn't able to prove the claim for this case without tedious case analysis. Any ideas? Thanks!
1
vote
2 answers

Equivalence of convex homogeneous functions and pointwise maximum of linear functions

I've seen the following question and solution Question When is the epigraph of a function a convex cone? Solution If the function is convex and positively homogeneous $(f(\alpha x) = \alpha f(x)$ for $\alpha \geq 0$). The solution I came up with…
mgilbert
  • 155
1
vote
0 answers

Convexy - convex enveopes

I got stuck with one task, please any help. Given the function $f (x_1,x_2,x_3) = ax_1x_2 + bx_1x_3$, $x_1,x_2,x_3\in[L,U], \,L,U\in\mathbb{R}$. Does convex envelope of $f$ ever strictly dominate the sum of conv. envelopes of each terms, i.e.,…
1
vote
1 answer

Set of sums convex

I am trying to prove that the following is a convex set: $$\{x \in \mathbb{R}^5: \sum_i^5ix_i^2\le1\}$$ I know that this is a convex set, as this is very similar to the equation of a sphere in 3 dimensions, or a circle in two dimensions, but I am…
1
vote
2 answers

How to treat $x^Tx$ in convex sets

I am trying to determine if the following set is convex $$\left\{x \in \mathbb{R}^{n}: 2x^Tx \le 1 + \|x\|_2 \right\}.$$ I feel like I am missing something here. My understanding is that both $2x^Tx$ and $\|x\|_2$ evaluate to scalars, and now this…
1
vote
0 answers

One to one correspondence in faces of convex sets

Let $C$ be a nonempty convex subset of $\mathbb{R}^{n}$, and let $L$ be a nonempty subspace contained in lin$C.$ Define $C_0$ tobe $C \cap L^{\perp}.$ Show that the faces $F$ of $C$ are in one-to-one correspondence with the faces $F_0$ and $C_0$…
mather
  • 11
  • 1