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

Show that sum of two convex cone is equal to convex hull of union of two cones?

Let $K_1$ and $K_2$ be two convex cones, including the origin, in a real vector space. Show that $K_1 + K_2 = \text{conv}(K_1 \cup K_2)$. It is straight forward to show that $K_1 + K_2$ is a convex cone. Tow show the statement we need to proof $K_1…
Saeed
  • 175
0
votes
1 answer

Compute proximal mapping of this function

I want to know how to compute the proximal mapping of this function: $f(x) = \sup_y(yx - \frac{1}{2}\sigma y^2 ), \|y\|_{\infty} < \beta$ I know how to compute the proximal mapping when $\beta$ is 1, but I don't know how to do it when $\beta \neq…
0
votes
2 answers

Boyd & Vandenberghe, problem 3.49 (c) — proving that a function is log-concave

In the problem 3.49(c) of the book it is asked to prove that product over sum function is log-concave. I have some questions related to the solution of this problem which I have mentioned in the following. Please clarify them. In the solution…
Frank Moses
  • 2,718
0
votes
0 answers

Convex cones in $\Bbb R^n$

Are the following sets convex cones: 1.$\{x\in\Bbb R^n:\langle a,x\rangle\leq 0, a\neq 0 \}$ 2.$\{x\in\Bbb R^n:\langle a,x\rangle\lt 0, a\neq 0 \}$ ? We say $C\subset \Bbb R^n$ is a cone if $\forall x \in C$ and $\lambda>0$, $\lambda x \in C$. A…
elsadd
  • 37
0
votes
1 answer

Do quasiconvex functions have to have convex domains?

Suppose we have a quasiconvex function $f$. Since it is quasiconvex, we know that by definition all its $\alpha$-sublevel sets have to be convex. Does dom($f$) have to be convex? I suspect it does, given $f$ is real-valued. I say this by recognizing…
Nurmister
  • 335
0
votes
0 answers

How to prove that the set of all probability distributions is convex set?

Suppose we have a set $X=\{1,...,n\}$ where $n$ is a natural number. Let $\Delta(X)$ be the set of all probability distributions over $X$. Then $\Delta(X)$ is a convex set. How do we interpret convexity in this case? What would be sufficient to show…
johnny09
  • 1,535
0
votes
0 answers

Is concavity preserved or not under increasing transformaton

I have come across the following set of problems in my summer reading: Prove that: If f is strictly concave on the convex set K, then it is also strictly quasi -concave. If t is an increasing function, and if f is a strictly quasi-concave function…
Jhonny
  • 577
0
votes
0 answers

how to graph B?

Good evening, Exercise Set $B=\left\{(x,y)\in\mathbb{R}^2\mid x^2+y^2-2y≤0\right\}$. 1) Using the definition of a convex set, study the convexity of $B$. 2) Graphically represent $B$.
CMZL
  • 1
  • 1
0
votes
2 answers

with vector $\mathbf{x}=[x_1,x_2,..,x_n]$, is $f_i(\mathbf{x})=x_i \exp(-(x_1+x_2+...x_i))$ concave for vector $\mathbf{x}$ ????

It looks not that complicated but I'm stuck in the middle. $\mathbf{x}=[x_1,x_2, \cdots ,x_n]$. $g(\mathbf{x})=\exp(-\mathbf{x})$ is a decreasing, and convex function. $h(\mathbf{x})=x_1+x_2+x_3+\dotsm\;$ is a linear, increasing function,…
0
votes
1 answer

Why am I getting exactly same expression for the affine underestimator?

In Boyd & Vandenberghe's Convex Optimization, it is proved that (except for a technical condition) a convex function can be represented as the pointwise supremum of a family of affine functions. To show that they consider the epigraph approach and…
Frank Moses
  • 2,718
0
votes
0 answers

When a Piece-wise convex function is convex? ( Looking for a scond order-type condition )

Let $f : \Bbb R^n \to R \cup\{+ \infty\}$ be a piece-wise convex function, in the sense that $f$ admits the following representation (for simplicity consider only two pieces) $$f(x)=\left\{\begin{matrix} f_1 (x)& x \in P_1\\ f_2 (x)& x \in…
Red shoes
  • 6,948
0
votes
0 answers

prove that f is convex on (a,b) if and only if f satisfies $ f( \frac{x+y}{2} ) \leq \frac{f(x)+f(y)}{2} $ for all $ x,y \in (a,b) $

Problem Let $f$ be continuous on (a,b). prove that $f$ is convex on (a,b) if and only if $f$ satisfies $ f( \frac{x+y}{2} ) \leq \frac{f(x)+f(y)}{2} $ for all $x,y \in (a,b) $ I thought that it is easy by using the definition of convex a…
alryosha
  • 563
0
votes
2 answers

$A$ is a convex set iff $\overline{A}$ is a convex set

I need to show this claim for a convex set $A \subset \mathbb{R}^n$ ($\overline{A}$ is the closure of $A$). Do you have any idea on how to do this? I think we need to use the fact that $x \in \overline{A}\Leftrightarrow \exists \{x_n\}$ with $x_n…
user208739
0
votes
1 answer

Separability of disjoint convex sets through hyperplane

In problem 2.23 of Boyd & Vandenberghe's Convex Optimization, it is said that the following two sets can not be separated by a hyperplane $$\begin{aligned} C &:= \left\{ x \mid x \in \Bbb R^2, x_2 \leq 0 \right\} \\ D &:= \left\{ x \mid x \in \Bbb…
Frank Moses
  • 2,718
0
votes
0 answers

f convex function proof if and only if g convex function for x and d

Theorem 1. A function $f : R^n \rightarrow R$ is convex if and only if the function $g : R \rightarrow R$ given by $g(t) = f(x + ty)$ is convex (as a univariate function) for all $x$ in domain of $f$ and all $y$ $2$ $R^n$. (The domain of $g$ here is…
Alex
  • 1
  • 1