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

How to check convexity on some constraints?

Consider a function $f: \mathbb{R}^4 \to \mathbb{R}$ such that $$f(x_1, x_2, y_1, y_2) = p x_1 (x_1 - y_1) + (1 - p) x_2 (x_2 - y_2)$$ for some $p \in (0, 1)$. I'd like to check whether the set $$C = \{ z \in \text{(feasible area)} \subseteq…
myu
  • 31
1
vote
0 answers

How to compare the assumptions and axioms of 2 DEA models?

I am studying a new approach for Data Envelopment Analysis. It is basically very similar to the classical approach but with different assumptions. This has a consequence on the final form of the frontier, and of course on the efficiency of the DMU.…
Simon
  • 121
1
vote
2 answers

Prove that $\phi :(x,y) \mapsto x^{\alpha} y^{1-\alpha}$ is concave

Let $G=[0,\infty) \times [0,\infty)$, $\alpha \in (0,1)$ and $$\phi (x,y)=x^{\alpha} y^{1-\alpha}$$ Then $\phi$ is concave; that is, $-\phi$ is convex. This is left as an exercise in the book that I'm currently reading,and I think I have found a…
RH_L
  • 59
1
vote
1 answer

convexity of infimum over 1 variable, constraint

I'm having a hard time proving to myself that the following function is convex: $$f'(x')= \inf_{Ax = x'} f(x)$$ where $f(x)$ is convex. i.e., I'm trying to show $$f'(tx_1+(1-t)x_2) \le tf'(x_1)+(1-t)f'(x_2)\tag{1}$$ where $t\in[0,1]$ By…
1
vote
1 answer

A easy question about convex set, how can I prove A + B is a convex set?

How can I prove this? If $A, B ⊂ R^L$ are convex sets, then $A + B$ is also convex, where $A + B =\{c ∈ R^L :$ There is $a ∈ A , b ∈ B$ such that $c=a+b\}$
1
vote
1 answer

Prove that the following set is closed and convex

Given the set $V(q)=\{(x_1,x_2) \in \mathbb R^2:ax_1≥\log y \text{ and } bx_2≥\log y\}$ with $a$, $b$, and $y$ strictly positive, I have to show that $V$ is closed and convex. My idea for convexity is to show that: $z=t\cdot ax_1+(1-t)\cdot…
1
vote
2 answers

Prove that the set $\{x : \|Ax + b\|_2 \le c^Tx + d\}$ is convex

Prove that the following set is convex $$\{ x : \|Ax + b\|_2 \leq c^Tx + d\}$$ My initial thought is to choose two points $x_1,x_2$ in the set and then plug this back into the inequality to prove convexity, so: $||Ax+b||_2 \Rightarrow ||A(\lambda…
jagr7
  • 79
1
vote
1 answer

$C^2$ approximation of non-convex sets

It is a well known result that for any compact, convex set $\Omega \subset \mathbb{R}^n$ and for any $\varepsilon > 0$ there are convex sets $\Omega_1 \subset \Omega \subset \Omega_2$ with C^2 boundaries $\partial \Omega_1$ and $\partial \Omega_2$…
Aitor B
  • 111
  • 5
1
vote
1 answer

Is $g(x_1, x_2) = (\max \{\alpha, x_1\} - x_2)^2$ convex?

Let $\alpha \geq 0$ and $f(x) = x^2$. Can we prove or disprove that the following function is convex? $$g(x_1, x_2) = f(\max \{\alpha, x_1\} - x_2)$$ My Approach: It is clear that the function $\max \{\alpha, x_1\} - x_2$ is convex. For $x \geq…
1
vote
0 answers

Show that $f$ is a convex function

In order to correctly solve an exercise where I have to calculate the conjugate of the following function $f$, I have to be able to show that it is a convex function. $$f : \{(x,t) : \| x \| < t\} \subset\mathbb{R}^n \times \mathbb{R} \to…
DimSum
  • 555
1
vote
2 answers

Proving that an uncountable union of convex sets is convex

Let $C \subset \mathbb{R}^n$ be a convex set. Moreover let's fix two real numbers $a, b$ such that $0 \le a \le b$. I am to prove that $$ \Omega = \bigcup_{\alpha \in [a, b]} \alpha C$$is convex, where $\alpha C = \{ x \in \mathbb{R}^n: x = \alpha…
Hendrra
  • 2,868
  • 1
  • 18
  • 35
1
vote
0 answers

What does majorization mean in the context of intervals?

I just got this book on convex optimization, and in the preliminary section they show syntax for "majorized" and "minorized" intervals as I searched the terms majorized and minorized within math.stackexchange and elsewhere on the internet, but…
kdbanman
  • 446
1
vote
1 answer

Is it true that every convex set of the Euclidean space is the sublevel set of some convex function?

Let $C \subset \mathbb{R}^n$ be a convex set. Is it true, that there exists a convex function $f$ such that $C = \{x | f(x) \leq a\}$ for some $a \in \mathbb{R}$
1
vote
1 answer

strong convexity definition

For strongly convex functions, it is stated that for some $\mu>0$, $$f(y)\geq f(x)+\nabla f(x)^T(y−x)+\frac{\mu}{2}\|y−x\|^2, \quad \forall x,y.$$ $$(\nabla f(x)−\nabla f(y))^T(x−y)≥\mu\|x−y\|^2, \quad \forall x,y.$$ How does one prove that…
1
vote
1 answer

Danskins' theorem

Suppose $\phi (x,z)$ is a continuous function of two arguments, $$\phi :{\mathbb {R} }^{n}\times Z\rightarrow {\mathbb {R} }$$ where $Z\subset {\mathbb {R} }^{m}$ is a compact set. Further assume that $ \phi (x,z)$ is convex in $x$ for every…
beeflavor
  • 881