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
4
votes
2 answers

Proof that the set $M=\{ (x_1,x_2)\in \mathbb{R}_{++}^2 \mid x_1 x_2\geq k \}$ is convex

$$k\in \mathbb{R}_{+}$$ $$M=\left \{ (x_1,x_2)\in \mathbb{R}_{++}^2 \mid x_1 x_2\geq k\right \}$$ Prove that the set $M$ is convex. A hint is given (quoted from the text): We could choose to exploit the fact that if $a$ and $b$ are positive…
4
votes
2 answers

Computation of convex conjugate

I am learning convex analysis by myself and I need help. How to show that if $X=U=\mathbb{R}$ and $f\left(x\right)=\frac{|x|^{p}}{p}$ then the convex conjugate $f^{*}\left(u\right)=\frac{|u|^{q}}{q}$ when $\frac{1}{p}+\frac{1}{q}=1$? There…
Thinker
  • 173
4
votes
2 answers

Convexity of $ {\bf x} \mapsto ({\bf x} - {\bf a})^\top \left( \sum_i x_i {\bf A}_i \right)^{-1}({\bf x} - {\bf a}) $

Given the positive vector ${\bf a} \in {\Bbb R}_{>0}^n$ and symmetric positive definite $n \times n$ matrices ${\bf A}_1, {\bf A}_2, \dots, {\bf A}_n$, define the scalar field $f : {\Bbb R}^n \to {\Bbb R}$ by $$ f({\bf x}) := ({\bf x} - {\bf…
user_lambda
  • 1,398
4
votes
1 answer

Find a precise range of the perimeter of a convex region inside a square

I'm assigned a task. The problem can be described as follows : We have a square of side length $1$, a convex region inside the square and a number $p$ between $0$ and $1$. The number $p$ defines the total area taken up by the convex region. $p$ is…
4
votes
4 answers

Prove that the function is convex

Question is reopened due to the problem found in the original solution. I have the following function: $$ A(v) = -\dfrac{k-1}{\displaystyle\sum_{i=1}^k \frac{1}{v_i}}, $$ where $k\geq 2$ is some integer constant and $1 \leq v_i \leq k-1$. I am…
Oleh
  • 164
  • 10
4
votes
1 answer

Show the umbra & penumbra of a convex set are convex

It is with some degree of reluctance that I ask and answer my own question, but someone may find it curious. It is not particularly difficult to answer, but it took me an inordinate amount of time which I can only attribute to experience. In Convex…
copper.hat
  • 172,524
4
votes
2 answers

Non-convex function in 2D that is $m$-restricted strongly convex

Assume that $f:\mathbb{R}^2\to \mathbb{R}$ is a differentiable restricted $m$-strongly convex function as follows: $$ f(y) \geq f(x) + \left<\nabla f (x),y-x\right>+\frac{m}{2}\|y-x\|^2$$ for all $x,y \in \mathbb{R}^2$ such that ($x=[x_1,0]^{\top}$…
Saeed
  • 175
4
votes
2 answers

Prove that every exposed point is a extreme point

Let $C$ be a non-empty convex subset of $\mathbb{R}^n$. We say that $x\in C$ is a extreme point of $C$ if for every $z,y\in C$ and $t\in [0,1]$ such that $x=ty+(1-t)z$ we have $x=z$ or $x=y$. Or equivalently, if for every $z,y\in C$ and $t\in…
user73564
  • 569
4
votes
1 answer

Convexity of $x \mapsto \frac{\|Ax-b\|^2_2}{1-\|x\|^2_2}$

Given matrix $A \in \Bbb R^{n \times n}$ and vector $b \in \Bbb R^n$, determine whether the following function is convex. $$ f: \{x \in \Bbb R^n : \|x\|_2 < 1\} \to \Bbb R, \qquad x \mapsto \frac{\|Ax-b\|^2_2}{1-\|x\|^2_2} $$ The numerator…
4
votes
2 answers

How can we prove the harmonic mean is a concave function?

How can we prove that the following function (harmonic mean) is concave? $$f (x_1, x_2, \dots, x_n) := \frac{n}{\displaystyle\sum_{i=1}^n \frac{1}{x_i}}$$ Because this is not a function of one variable, I am not sure how to do so.
mallea
  • 829
4
votes
4 answers

How to prove the set $\{(x,y,z)\in \mathbb R^3|z\geq 0,x^2+y^2\leq z^2\}$ is convex?

How to prove the set $S=\{(x,y,z)\in \mathbb R^3|z\geq 0,x^2+y^2\leq z^2\}$ is convex? So to prove this I took $(x,y,z),(x_1,y_1,z_1)\in S$ and $\lambda\in (0,1).$ Then $x^2+y^2\leq z^2$ and $x_1^2+y_1^2\leq z_1^2$ and $z,z_1\geq 0.$ Now to prove…
Mini_me
  • 2,165
4
votes
1 answer

Support function of a subset

Given $L,K$, two compact and convex set, with $L, K \subseteq R^p$. Their support functions will be, $supp(K,p): R^p \to R$ and $supp(L,p):R^p \to R$, respectively. In the article "$L_p$ Metrics for Compact, Convex Sets" of Richard Vitale of $1984$…
4
votes
1 answer

How to characterize the convex hull/closure operator

From Wikipedia Every subset $A$ of a vector space $S$ over the real numbers, or, more generally, some ordered field, is contained within a smallest convex set (called the convex hull of $A$), namely the intersection of all convex sets containing…
Tim
  • 47,382
4
votes
1 answer

Sum of a quasi-convex and convex function

Let $\Omega$ be a set, e.g $\mathbb{R}^n$ for $n \in \mathbb{N}$. Let $f$ be a convex function from $\Omega$ to $\mathbb{R}$. Let $g$ be a quasi-convex function from $\Omega$ to $\mathbb{R}$. Is $f+g$ quasi-convex? The proof is not straightforward…
4
votes
0 answers

Convexity of cubic vector function?

First question in these forums so go easy on me. I have a function $f_i(x):\mathbb{R}^N\to\mathbb{R}$ which is defined by $$f_i(x) = \frac{(x^TAe_i)x^TAx}{(x^TA+b^T){\bf 1}}$$ where $x\in\mathbb{R}^N$, $b\in\mathbb{R}^N$, $A\in\mathbb{R}^{N\times…
Erik M
  • 2,391