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
1 answer

geometric representations in convex analysis

Do you have any advices that help having geometric representations in convex analysis ? (for instance examples you always keep in mind when you are working, websites with simulations, graphs , ...) I have found some difficulties when I am following…
user2015
  • 125
1
vote
1 answer

Convexity of a perspective of affine function

I was reading the well-known convex optimization PDF lesson by Boyd and Vandenberghe (more specifically chapter 3), and ran into a problem which I haven't been to solve. On slide 3-20, the perspective function of a function f is defined as…
1
vote
1 answer

Distance from a compact convex "monotonicity''

If $C$ is a convex compact set in $\mathbb{R}^n$, we know that we can define the projection on $C$, $p : \mathbb{R}^3 \setminus C \to C $, such that : \begin{equation} \text{d}(x, p(x)) = \min_{y \in C} \text{d}(x,y) \end{equation} Now is is true…
hHhh
  • 861
1
vote
1 answer

Convex Hull = Boundary+Segments

If $A\subseteq\mathbb{R}^n$ is an non empty set and $H$ is the convex hull of $A$, how can I prove that the boundary of $H$ consists only of points that lie in the boundary of $A$ and segments that join points from the boundary of $A$?
Student
  • 55
1
vote
2 answers

Crossing of two convex functions with same asymptotic slopes

Suppose you have two continuous, positive convex functions $F(x)$ and $G(x)$, $x\in\mathbb{R}$ such that: $$\lim_{x\rightarrow\pm\infty}F'(x)=\lim_{x\rightarrow\pm\infty}G'(x)=\pm 1$$ and that $-1\leq F'(x)\leq 1$ and $-1\leq G'(x)\leq 1$. I'm…
user42397
  • 399
1
vote
0 answers

Is the ratio of a convex and linear function pseudoconvex?

Both functions are differentiable. I know from Chandra1 that the ratio of a nonnegative convex and a strictly positive concave function is pseudoconvex. Does this hold when the denominator is a strictly positive linear function? Can you direct me to…
Larusso
  • 125
1
vote
2 answers

how to show that$ n<{2n \choose n}$ in sets

what can be some methods to prove and explain $$n<{2n \choose n}$$ is true , Iam having diffuculty is proving and explain it though it seems easy . please can anyone help me with my small problem on sets?
1
vote
1 answer

Strongly convex, bounded from below by a quadratic function.

A strongly convex function $V: \mathbb{R}^d \rightarrow \mathbb{R}$ with negative parameter is given, i.e. $$ V(tx + (1-t)y) \leq tV(x) + (1-t) V(y) - \lambda t(1-t) | x -y |^2 , $$ with $\lambda<0$. Why is then $V$ bounded from below by a quadratic…
1
vote
1 answer

Lower bound on Hessian, mean-value theorem

Let $x \mapsto f(x) \in \mathcal{C}^2$ be convex, i.e. $\forall x \in \mathbb{R}^n$, $\nabla^2f(x) \succeq 0$. Let $A \in \mathbb{R}^{m \times n}$ and suppose $\nabla^2f(x) + A^\top A \succ 0$. Is it true that \begin{equation} \int_{0}^{1}…
1
vote
0 answers

Discrete concavity of a log function

I want to prove that the function $f_i(P)=f_i(P_1,..P_i,..,P_K)=log(1+(\frac{a_iP_i}{\eta+\sum\limits_{i'\neq i}a_{i'}P_{i'}}))$ is discetely concave, which means that I should prove: $\forall \lambda \in[0,1],\forall P \text{ and } P'\text{ }…
1
vote
1 answer

Showing that a given function is convex

I am trying to show that the function $$f(x,\vec{y})=\alpha\ln(1+\exp(x+\vec{y}\cdot \vec{z}))+(1-\alpha)\ln(1+\exp(-x-\vec{y}\cdot\vec{z}))$$ is a convex function of $(x,\vec{y})$, where $x\in\mathbb{R}$, $\vec{y}\in\mathbb{R}^n$,…
1
vote
1 answer

Can I assume $g$ is finite for proof involving infimal convolution

I am trying to show the following statement: Let $f,g:\mathbb{R}^n\to \mathbb{R}\cup \{\infty\}$ be two convex functions. Assume that there are constants $C_1,C_2>0,\alpha>1$ such that $f(x)\geq C_1|x|^\alpha+C_2$. Show that $f\Box…
John
  • 13,204
1
vote
1 answer

Additional assumption to have a convex image

Let $f\colon \mathbf{R}^2 \to \mathbf{R}^2$ a continuous injective function. In general, it is not true that the image $f[X]$ is convex whenever $X \subseteq \mathbf{R}^2$ is convex. Is there some additional assumption to ensure that $f[X]$ is…
user216009
1
vote
0 answers

Convex Convolution

Let $f: R^n\to R\cup\{\infty\}$ to be a convex function. Let $f_{\epsilon}(x)=\frac{|x|^2}{2\epsilon}$. Show that: $$\lim_{\epsilon\to 0}\inf_{x=y+z}f_{\epsilon}(y)+f(z) =f(x)$$ The $\leq$ part is trivial. But how to prove the other part?
Kira Yamato
  • 1,294
1
vote
0 answers

Containment of zero matrix in a convex subset of ${\mathbb R}^{m\times n}$

Does anyone know the answer (and proof) to this question: Suppose $S\subset {\mathbb R}^{m\times n}$ is a convex and compact subset of $m\times n$ real matrices with respect to the Frobenius norm, and suppose for each $v\in {\mathbb R}^m$ the set…
Abe
  • 41