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

Proving that the sublevel set of a quadratic function is convex

Let $$C := \{ x \in \mathbb{R} : 2x^2 \le 1 \}$$ Prove that $C$ is convex. I started with the definition: for $ x_1, x_2 \in C$ $$ \lambda x_1 + (1-\lambda)x_2 = \dots $$ but didn't make any progress. How should I approach this problem?
ChaosPredictor
  • 303
  • 3
  • 12
1
vote
1 answer

Show that sublevel set $C$ is convex if $A \succcurlyeq 0$

Let $C \subseteq \mathbb{R}^n$ be the solution set of a quadratic inequality, $$ C = \{ x \in \mathbb{R}^n \mid x^TAx + b^Tx + c \le 0 \}$$ with $A \in \mathbb{R}^{n \times n}$ and $b \in \mathbb{R}^n$. Show that $C$ is convex if $A \succcurlyeq…
CEP
  • 421
1
vote
1 answer

Support function is the Minkowski functional of polar body?

Let $K \subset R^d $ be an compact convex set with $0 \in int (K)$ let: $$h_K(x) = \max_{y \in K } \langle x,y\rangle$$ be the support function of $K$ the Minkowski functional of $K$ is define as $$\|x\|_K = \min \{\lambda \geq 1: x \in \lambda…
ShaoyuPei
  • 642
1
vote
0 answers

How to prove that the following function is non-convex?

How to prove that the following function is non-convex? $$f(\mathbf{c}) = \left( \|\mathbf{V}\|_{2}^2 - \|\mathbf{A}\cdot\mathbf{c}\|_{2}^2 \right)^2$$ I am trying to do it by demonstrating that $f$ does not fulfil $$f(\alpha x+\beta y) \leq \alpha…
1
vote
2 answers

Show convex function is increasing in both variables of difference quotient using alternative definition of convexity

Let $\phi$ be a function that satisfies $$\frac{\phi (t) - \phi (s)}{t - s} \leq \frac{\phi (u) - \phi (t)}{u - t}$$ where $s < t < u$. Is it possible to directly use this definition of convexity to prove that $\phi$'s difference quotients are…
Coriolanus
  • 1,725
  • 2
  • 8
  • 16
1
vote
1 answer

Alternate definition of convexity

For any real-valued function, $f$, if for all, $x, y, z \in \mathbb{R}$ and $x \leq z$ $$ f(x+y) - f(x) \leq f(z+y) - f(z)$$ then $f$ is convex. Is this argument generic? Edit: Sorry for the obvious typographical error. It is easy to note that the…
Eval
  • 407
1
vote
1 answer

Is the set of all concave functions a convex set?

How can I prove this? I saw a similar question here: (But this was only for when g(x) is ≥0) Prove that a set defined by concave functions on $R^n$ is convex
1
vote
1 answer

Equivalent definition of infimal convolution.

The infimal convolution of two functions f and g is defined as: $(f \square g)(x)=\inf\limits_{y \in \mathbb{R}^n} \{ f(y) + g(x-y) \}$ I'm asked to prove that $(f \square g)(x)=\inf\limits_{\lambda \in \mathbb{R}} \{ (x,\lambda) \in epi(f)+epi(g)…
Lecter
  • 449
1
vote
1 answer

Recession cone of the subgradient of a convex function.

Let $f {}:{} \mathbb{C} \longrightarrow \mathbb{R}$ be a convex function over $\mathbb{C}$. Let $\hat{x} \in \mathrm{bd}(\mathbb{C})$ and $\partial f(\hat{x}) \neq \emptyset$. Characterize $\mathrm{recc}(\partial…
Lecter
  • 449
1
vote
1 answer

Given a set, prove that it is affine

I'm struggling with a simple question of the homework. Consider a set P s.t $$P = \{x \in R^{3} : x_1 + 2x_2 + 3x_3 = 1\}$$ Then it was asked to prove that this set is an affine set. I heard that one way to answer this question is to select two…
1
vote
3 answers

Inequality for convex functions

If $f$ is a convex function then, for all $a
Viktor
  • 221
1
vote
1 answer

Recession cone characterization.

Let $\mathbb{C} \subset \mathbb{R^n}$ be a convex, closed and not-bounded set. Let $d$ be a vector which $||d||=1$, then show that: $d \in recc(\mathbb{C})$ $\iff$ $\exists$ $\{x_k\}_{k\in\mathbb{N}}\subset\mathbb{C}$ which $\lim\limits_{k…
Lecter
  • 449
1
vote
1 answer

Convex sets and expected value problem.

I am quite stuck in this problem: Show that if $C\in\mathbb{R^n}$ is a convex and closed set and $X$ is a continous n-dimensional random vector (i.e., exists a probability density function such that $P\{X\in C\}=1$ and wich expected value…
Lecter
  • 449
1
vote
1 answer

How to prove that the norm of an affine function is coercive?

Let $h : \mathbb{R}^n \to \mathbb{R}$ be defined by $h(x) := \|Ax+b\|$. Prove that $h$ is a coercive function. Maybe I can do it by some inequality, but I can't find wich.
Lecter
  • 449