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

Show that a set "defined with a distance" is convex

I am studying for an exam of convex analysis. One of the exercises that I am doing has the following request: Let $\Omega$ be a nonempty, open and convex subset of $R^n$, and denote by $\Omega_\epsilon$ the set $$\Omega_\epsilon=\{ x \in \Omega:…
1
vote
1 answer

Is $f(x_1,x_2)=10 - 2(x_2 - x_1^2)^2$ a convex function on S where S = $\{ (x_1, x_2) | -22 \le x_1 \le 2, -2 \le x_2 \le 2\}$?

How to prove the $f(x_1,x_2)=10 - 2(x_2 - x_1^2)^2$ a convex function on S or not, where S = $\{ (x_1, x_2) | -22 \le x_1 \le 2, -2 \le x_2 \le 2\}$? How should I start to prove it? Thanks. I look into the math tutorial about convexivity online, I…
Raptor
  • 129
1
vote
1 answer

A differentiable function of one variable is convex on an interval if and only if its derivative is monotonically non-decreasing on that interval?

The statement "A differentiable function of one variable is convex on an interval if and only if its derivative is monotonically non-decreasing on that interval." is in Wikipedia. But I don't know how to prove it. In addition, what is difference…
user998168
1
vote
0 answers

Lipschitz Hessian and second order approximation

Suppose $f$ is twice differentiable and convex, if $\nabla^2 f\preceq LI$, how to prove the following inequality holds for all $x, y$ $$ f(y)\le f(x) + \nabla f(x)^T(y-x) + \frac{L}{2} \|y-x\|_2^2 $$ Nesterov gave a simple proof in his textbook,…
1
vote
3 answers

Is the non-negative orthant a closed convex set?

I know that non-negative orthant is convex. How can we show that it is a closed convex set or not. I read the definition given for closed convex sets on Wikipedia but it is hard to put that definition into a mathematical formula to show this.
shani
  • 779
  • 1
  • 5
  • 12
1
vote
2 answers

Is the inverse of a nonnegative convex function being convex/quasi-convex/concave/quasi-concave?

Given a nonnegative and convex function $f: \mathcal{D} \rightarrow \mathbb{R}_{+}$, where the domain $\mathcal{D} \subset \mathbb{R}$. Define the inverse of the function $g(x) = \frac{1}{f(x)}$. Is there a condition that $g(x)$ being either convex,…
1
vote
0 answers

Convex function or concave function.

Let $D\subset \mathbb{R}^{n}$ a closed and convex set, then prove that for each $x \in D$ and $d \in \mathbb{R}^{n}$ the function \begin{equation*} \varphi_{1}: \mathbb{R}_{+}\to \mathbb{R}, \hspace{3mm} \varphi_{1}(t)=\|P_{D}(x+td)-x\|, …
1
vote
0 answers

How to find a supporting hyperplane for a set of points (possibly in high dimensions)?

Say I have access to a set of points $C = \{x_1, x_2, ..., x_{N}\}$ where $x_i \in \mathbb{R}^{d}$. I would like to find supporting hyperplanes of $C$ numerically. Particularly, my characterization to find $w \in \mathbb{R}^d, b \in \mathbb{R}$ is…
yugosmer
  • 11
  • 1
1
vote
1 answer

Is the max-min a convex combination of the minima?

Let $f_1,\ldots,f_n$ be convex continuous functions defined in a convex compact domain $C\subseteq \mathbb{R}^d$, and let $$ x_i := \arg\min_{x\in C} f_i(x). $$ Let $g$ be a convex function defined by $g(x) := \max_{i}f_i(x)$, and let $$ y :=…
1
vote
1 answer

Caratheodory's Theorem and Extremal Points

Caratheodory's Theorem states that any member $x$ of a convex set $C \subseteq \mathbb{R}^{d}$ can be written as a convex combination of at most $d+1$ points from $C$. The wikipedia article for Caratheodory's Theorem (and other resources) mention…
1
vote
0 answers

convexity of a specific function

A piecewise function $F(X_1,X_2)$ is defined on domain $D=\{(X_1,X_2)|X_2\ge X_1\ge 0\}$. If $X_2> X_1+K_1$ $$F(X_1,X_2)=\begin{cases} \varphi(\hat Y)+h_2(X_2-\hat Y), \hat Y-K_1\le X_1\le \hat Y\\ \varphi(X_1+K_1)+h_2(X_2-X_1-K_1), X_1\le \hat…
1
vote
1 answer

Convexity of $A \mapsto |A^{T}A|^{2}$

This is an extension to Convexity of $|A^TA|$. Let $A \in \mathbb{R}^{m \times n}$ and let $|\cdot|$ denote the Frobenius (matrix) norm. Define function $f : \mathbb{R}^{m \times n} \to \mathbb{R}$ as $f(A) := |A^{T} A|^{2}$. Is $f$ convex?
1
vote
0 answers

Intersection of an infinite number of slabs

I am trying to illustrate the definition in Example 2.8 in Boyd & Vandenberghe's Convex Optimization. As I suspect, I should reach to something like the graph in Figure 2.13. but my plot looks different. I don't know what's wrong with my…
SaraK
  • 21
1
vote
1 answer

A problem about convex sets

Let $A,C_1,\dots,C_m$ be convex sets in $\mathbb{R}^n$ (Let's say $m \gg n$). Suppose that for any triple $(C_i,C_j,C_k)$ we always have a translation of $A$ such that $A\cap C_i\ne \emptyset, A\cap C_j\ne \emptyset$ and $A\cap C_k\ne \emptyset$.…
1
vote
1 answer

$K$ cone, $x\in K$ and $y\in E$. Does $x+\lambda y\in K$ for all $\lambda\geq 0 $ implies $y\in K$?

Suppose that $K\subset E$, where $E$ is a Banach space and $K$ is a closed convex cone. Fix $x\in K$ and $y\in E$. Assume that $x+\lambda y\in K$ for all $\lambda\geq 0$. Can we conclude that $y\in K$? Thank you
Tomás
  • 22,559