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

Prove Convexity

Suppose we have a function $f: \mathbb{R}^n\to \mathbb{R}$ that is given by $f(x) = \prod_{i=1}^n\,(1+x_i^2)$. How can we prove or disprove that the function is convex?
2
votes
3 answers

Relative interior of the sum of two convex sets

I'd like to show ri(C1-C2)=ri(C1)-ri(C2) without using the fact that relative interior is preserved under linear transformations. I.e. Is there a way to show this by showing both inclusions?
RV702
  • 111
2
votes
1 answer

Matrix convexity of -log

Is $-\log$ a matrix convex function? That is, taking the function $\log:(0,\infty)\rightarrow \mathbb{R}$ is the matrix inequality $$ \log\left((1-t)A+tB \right)\geq (1-t)\log A+ t \log B $$ satisfied for all matrices $A$ and $B$ with positive…
2
votes
1 answer

Show that projections on a convex closed cone and its polar cone are orthogonal

Let be $ K \subset \mathbb{R}^n $ a convex and closed cone, $ x \in \mathbb{R}^n $. Show that the following asserts are equivalent: $x_1$ is the projection of $x$ to $ K $ and $x_2$ is the projection of $x$ to $ K^* $, where $ K^* $ is the polar…
2
votes
0 answers

Convex, closed, symmetric sets as open balls

So we recently saw the way that we can, given a convex symmetric body in $\Bbb R^n$, construct a norm such the closed unit ball is the convex set. We're wondering whether this holds for infinite dimensions. We keep looking at the argument, but it…
2
votes
2 answers

Prove a function is non convex

I have a simple function dependent on two variables $x_1$ and $x_2$: $$ f(x) = \ln\left(\frac{x_1}{x_2}\right) $$ where $x_1, x_2 > 0$ (strictly positive). I know this function is non convex as, given $0 < \lambda < 1$, I can easily find a numerical…
2
votes
1 answer

When is Multiplication of Convex Functions Convex?

It is generally known that multiplication of convex functions is not convex. Take for example: $f_1(x) = 1-x$, $f_2(x) = 1+x$, Then $f_1(x)f_2(x) = 1-x^2$ Which is not convex However, I've encountered situations where convexity appears to hold true…
2
votes
0 answers

An interesting function. Is it convex, quasi-convex, or pseudo-convex?

The function is described as follows: I have found that it is not convex when N>=3, and I feel that it shall be pseudo-convex. Can anyone help to prove it? Thanks.
Jerry
2
votes
2 answers

Show that $ (x_1, \dots, x_n) \mapsto \ln \left(\sum_{i=1}^n \frac{1}{x_i} \right)$ is convex in the positive orthant

Show that the function $f : \mathbb{R}^n_{++} \to \mathbb{R}$, where $\mathbb{R}^n_{++} = \left\{x \in \mathbb{R}^n \mid x_i > 0 \right\}$, $$ f(x) = \ln \left(\sum_{i=1}^n \frac{1}{x_i} \right)$$ is convex. My approach In the case of one dimension…
2
votes
1 answer

On first-order convexity conditions

I have the following proposition: Proposition 1.3 (Alternative form of the first-order convexity condition) The first-order convexity conditions $$ f({\bf y}) \geq f({\bf x}) + ( {\bf y} - {\bf x} ) \cdot \nabla f( {\bf x}) $$ and $$ ( {\bf y} -…
2
votes
1 answer

Is there a non-convex domain for which this function is not injective?

I am asked to prove the following: Let $\Omega\subseteq\mathbb C$ a convex open subset and let $f$ be a holomorphic function in $\Omega$ such that $|f'(z)-1|<1$ for all $z\in\Omega$. Then $f$ is injective. I proved this result, but then, I am asked…
ECD56163
  • 363
  • 1
  • 9
2
votes
0 answers

Separating hyperplane condition for complex vector spaces

I am only learning convex analysis properly now for the first time, and most of the references I am using only deal with topological vector spaces over $\mathbb{R}$. Is there any serious stumbling block to simply generalizing everything to complex…
Christopher A. Wong
  • 22,445
  • 3
  • 51
  • 82
2
votes
1 answer

Convexity of a sum

I am revisiting a book and came across the following problem: Let $$\begin{align*} f(\boldsymbol{x}) = \sum_{i=1}^{r} |x|_{[i]} \end{align*}$$ where $\vert x \vert_{[i]}$ is the $i$ th largest component of $|x_1|, \cdots,…
2
votes
1 answer

Boyd & Vandenberghe, exercise 2.12 — How to prove this set is convex?

In Exercise 2.12 (e) on Stephen Boyd & Lieven Vandenberghe's Convex Optimization: The set of points closer to one set than another, i.e., $$\big\{x \mid \text{dist}(x, S)\leqslant\text{dist}(x,T)\big\}$$ where $\,S,T\subseteq\mathbb R^n$, and…
2
votes
1 answer

Fenchel conjugate of the power function

From Wikipedia, I have learned that the Fenchel conjugate of $f(x)=\frac{|x|^p}{p}$, where $0