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

Elements of a Convex Set

Let $ S \subset \mathbb R^n $ be a convex set. Given $ \vec x, \vec y, \vec z \in S $ and three positive numbers such that $ a+b+c=1 $, show that $a\vec x+b\vec y+c\vec z$ is in $S$ also. Ok, so, I have the solution for this, but it doesn't make any…
1
vote
3 answers

How to prove that $x \mapsto \log(1+e^{-x})$ is convex?

How to prove that $x \mapsto \log(1+e^{-x})$ is a convex function? I have tried with the basic definition of convex function, i.e., $f(ax+by) \leq af(x)+bf(y)$, but was not able to solve further.
tourism
  • 137
1
vote
1 answer

Normal cone to the tangent cone of $\mathbb{R}_+$

These are the definitions I'm using (cf Rockaffeller): normal cone to a convex set $C$: $$\mathcal{N}_C(x)=\{d\ | \leq 0,\ \forall y\in C\}$$ tangent cone to a convex set $C$: $$\mathcal{T}_C(x)=\{u\ | \leq 0,\ \forall…
anderstood
  • 3,504
1
vote
0 answers

convex function divided by convave function is quasiconvex

$p(x) \geq 0$ is convex, and $q(x) > 0$ is concave. How to prove $f(x) = \frac{p(x)}{q(x)}$ is quasiconvex? My proof is using t-sublevel set: $\{x | \frac{p(x)}{q(x)} \leq t\}$ is equivalent to $\{x | p(x)-tq(x) \leq 0\}$ So, if $t \geq 0$,…
sleeve chen
  • 8,281
1
vote
2 answers

Is this set of matrices convex?

The set of positive definite matrices is convex. But what about this set? $$\Omega = \left\{ (\mathbf{A}, \mathbf{b}) \in \mathbb{R}^{n \times n} \times \mathbb{R}^n : (\mathbf{A} - \mathbf{b}\mathbf{b}^\top) \text{ is p.d. } \right\}$$ I didn't…
Lucas
  • 147
1
vote
1 answer

A proof of property of log-concave

How to prove the $f$ is NOT log-concave? (or equivalently, log$f(x)$ is not concave) log$f(d)+$log$f(a) < $log$f(b) + $log$f(c)$ where $a = x_2 - y_2$, $b = x_2 - y_1$, $c = x_1 - y_2$, $d = x_1 - y_1$. $\forall x_1 \leq x_2$ and $y_1 \leq y_2$ …
sleeve chen
  • 8,281
1
vote
1 answer

improper convex function

In Rockafellar's convex analysis there was an example of improper convex function: $$ f(x) = \begin{cases} -\infty & \text{if } ||x||<1, \\ 0 & \text{if } ||x|| =1, \\ +\infty & \text{if } ||x||>1 \end{cases} $$ How to verify that this is…
1
vote
1 answer

Legendre transformation of a convex function and primal minimum

I am having trouble in proving following property: If $f$ is convex (and consequently $f^{**} = f$) and minimal in set $X$ exists, i.e. there is $x^* \in X$ such that $f^* = f(x^*) = \inf_{x \in X} f(x)$. Then it holds that $$f^* = \min_{x\in X}…
1
vote
2 answers

Function on convex set is convex if all rays are convex

Consider the function $f:D\rightarrow\mathbb{R}$ for $D\subset\mathbb{R}^n$ an open convex set. Furthermore, suppose that $g(t)=f(t\boldsymbol{x})$ is convex for all $\boldsymbol{x}\in D$. Is it true that $f$ is convex? Or is there a counter…
Set
  • 7,600
1
vote
1 answer

Convex hull of finite union

Suppsose $A\subset\mathbb{R}^n$ and let co$(A)$ be its convex hull. Then does the following hold for $A_1,\cdots,A_k$: $\text{co}(A_1\cup\cdots\cup A_k)=\text{co}(\text{co}(A_1)\cup\cdots\cup\text{co}(A_k))$?
BigM
  • 3,936
  • 1
  • 26
  • 36
1
vote
1 answer

discussing the existence of a convex function

If $g$ is a positive function on $[0,1]$ such that $g(x)$ tends to $\infty$ as $x$ tends to $0$, then there is a convex function $h$ on $[0,1]$ such that $ h \leq g$ and $h(x)$ tends to $\infty$ as $x$ tends to $0$. Is that true or false and why?
Butterfly
  • 1,443
0
votes
1 answer

About hyperplanes on the boundary (with no $C^1$ regularity ) of compact convex sets

I am reading a paper and the authors use the following property: "Let $K$ a compact and convex set in $R^n$ with nonempty interior. Let $x_0 \in \partial K$ and suppose that the boundary is not $C^1$ in $x_0$. Then $x_0$ has at least two supporting…
math student
  • 4,566
0
votes
1 answer

If$ -log(f)$ is convex, is $f $automatically convex?

Say I want to know if $f(x)$ is convex. Can I apply any convex function, strictly increasing function to it and preserve convexity? Say $f(x),g(x)$ are convex and strictly positive and I want to know if $f(x)g(x)$ is convex, then can I…
0
votes
1 answer

checking for convexity/concavity of a function

i'm having some problem in establishing the convexity/concavity of the following two functions. Check for the concavity/convexity of the following functions: (a) $f_1:\mathbb{R}^2_+\rightarrow\mathbb{R}$ defined as $f_1(x, y) =\min\{\max\{x, 2y\},…
0
votes
1 answer

Explanation for zeroth order condition for convexity

First of all, please let me admit that my math is very rusty so that I may not understand some basic concepts. I'm reading Boyd & Vandenberghe's Convex Optimization. In the book, the authors state that: A function is convex if and only if it is…
user12635
  • 103