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

How to determine whether the conjunction of two inequality constraints defines a convex set?

I wrote up this inequality while formulating an optimization problem. $$(y_{1}-1) \leq \left(K + \dfrac{y_{2}}{x_{2}+b \cdot y_{2}} \right) (x_{1}+b \cdot y_{1} ) \leq y_{1}$$ Some further conditions on the above variables include the…
V-Red
  • 193
3
votes
0 answers

Fréchet differentiability of locally Lipschitz continuous convex functions

Let $X$ be a Banach space, and let $f : X \to \mathbb{R}\cup\{+\infty\}$ be proper convex. Assume that $f$ is locally bounded above at $x \in X$, so that $f$ is locally Lipschitz at $x$. Assume also that $\partial f(x) = \{y\}$ is a singleton, so…
Jas Ter
  • 1,539
3
votes
1 answer

A question regarding the convex envelope of a function

I know that by definition, the convex envelope of a function $f$ ($f$ not necessarily convex), denoted $\operatorname{conv}f$, is the largest convex function majorized by $f$. That is, it is a convex function $h$ such that $h \leq f$. In fact, I…
Libertron
  • 4,415
3
votes
2 answers

Is there a straightforward way to determine if this set is convex?

Is there a straightforward way to determine if the following set is convex? $$Z = \left\{x\in\mathbb{R}^2:3x_1^4-x_1x_2+x_2^4\le x_2,x_1>2,x_2>2\right\}$$ I know I can try by manipulation of linear combination of two points of this set Is there any…
4pie0
  • 481
3
votes
1 answer

Are these sets not convex?

Definition of convex set says: an object is convex if for every pair of points within the object, every point on the straight line segment that joins them is also within the object. From: Wikipedia-Convex Set. But I have also heard that if a curve…
3
votes
1 answer

Why do the coefficients have to sum up to 1 in a convex function?

I was studying convex functions for convex optimization and ran into a question I'm having difficulty finding the answer to. I noticed that the definition for a convex function is as follows: $$\forall{x_1, x_2} \in X,\ \forall{t} \in [0,\ 1]:\quad…
Sean
  • 1,487
3
votes
2 answers

Prove convexity of set with triangular inequality

This question is about proving the convexity of a set using triangular inequality. However, I'm missing something as I can't wrap it up. The task is to prove that the set below is convex where $\|\cdot\|_2$ denotes the two-norm $$M = \{x | \quad…
3
votes
2 answers

Show that $x, y \to -\log(\operatorname{sigmoid}(x) - \operatorname{sigmoid}(y))$ is convex for $x > y$

I've managed to essentially brute force the problem by calculating the Hessian of the function, and showing that its determinant and trace are non-negative. This was done by using a change of variable to reduce the problem to showing that two…
Kitegi
  • 1,081
3
votes
3 answers

Is this function convex or non-convex?

Let $$f(a,b,c,d) = \frac{(a-b) \cdot (c-d)}{\sqrt{(a-b)^2+(c-d)^2}}$$ where $a,b,c,d$ are variables. Is this function convex or non-convex?
Nob Jame
  • 355
3
votes
2 answers

Why is $xy$ not convex although it is the product of nonnegative increasing convex functions?

According to exercise 3.32 in Boyd & Vandenberghe's Convex Optimization, if both $f$ and $g$ are convex, positive and non-increasing (or non-decreasing) then $fg$ is convex. However, if we let $f(x,y)=x$ and $g(x,y)=y$ then over the non-negative…
Frank Moses
  • 2,718
3
votes
1 answer

Prove that $P=\text{conv}(x_1,...,x_m)\subset\mathbb R^n$ is the convex hull of its extreme points

Let $P\subseteq \mathbb{R}^{n}$ is convex hull of finite points: $P=conv(x_1,x_2,\ldots,x_m)$. I need to show that $P$ is convex hull of its extreme points. I am thinking about such proof. Let $x_{i_{1}},x_{i_{2}},\ldots,x_{i_{k}}$ is minimal…
Ashot
  • 4,753
  • 3
  • 34
  • 61
3
votes
1 answer

Prove that the set of the sum of any two points on the boundary of a convex set is convex

Let $C$ be a closed and bounded convex set in $\mathbb{R}^3$ and let $B = \partial C$ be its boundary. If $S = \{p+q~~|~~p,q \in B\}$, prove that $S$ itself is convex. I'm not even sure how to get started here, even though I have a (probably…
3
votes
1 answer

Boyd & Vandenberghe, problem 2.27 — converse supporting hyperplane theorem

In the solution manual of Boyd & Vandenberghe's Convex Optimization, we have the solution for problem 2.27. I have the following queries. Should the first sentence in the solution be "Let $H$ be the intersection of all the halfspaces that contain…
Frank Moses
  • 2,718
3
votes
2 answers

Codimension of the largest subspace of a closed convex cone in a normed vector space

Please, help to prove (or disprove) the following statement. Let $K \neq V$ be a closed convex cone ($K+K=K$, $\alpha K \subseteq K$ for any $\alpha \geq 0$) in a real normed vector space $V$. If $-K \cup K = V$, then the subspace $-K \cap K$ has…
Mikhail
  • 427
3
votes
1 answer

Strong Separation of Closures

Let $\bar D $ and $\bar E$ denote the closures of $D$ and $E$ respectively. If $ D\subset \mathbb R^n$, $E \subset \mathbb R^n$ and they are strongly separated. Show that $\bar D $ and $\bar E$ can also be separated strongly. I got stuck with this…