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

Splitting the plane to fit convexes

I'm trying to show the following : Let $K,L$ two closed convexes of $\mathbb{R}^2,O=(0,0)$ If $O\notin K$ then there exists a straight line $D$ going through $O$ such that $K$ is in one of the half of plane defined by $D$ If $K$ is bounded and does…
2
votes
0 answers

Lower semicontinuity vs closed sublevel sets

Let $V$ be a real locally convex space. Let $F : V \to R$. Are the following equivalent? (a) $\{ u \in V : F(u) \leq a \}$ is closed for any $a \in R$. (b) $\liminf_{n} F(u_n) \geq F(u)$ whenever $u_n \to u$. (I see (a) $\Rightarrow$ (b) but not the…
user66081
  • 3,987
  • 17
  • 29
2
votes
3 answers

union and difference of convex set

suppose X,Y are two convex sets x1, x2 in X and y1, y2 in Y defn of X and Y being convex: tx1+(1-t)x2 in X ty1+(1-t)y2 in Y it is clear that: 1) X+Y is convex. 2) X intersection Y is convex 3) question: I know A union B is not convex but I don't…
1
vote
2 answers

Convexity and concavity of discontinuous functions

QUESTION F(x) =-x for x>=0 and F(x)=x for x<=0 Is the function convex/(strictly), concave/(strictly) I have attempted the answer but got strictly concave but isnt a discontinuous function meant to be neither convex nor concave? Thanks for you…
erin
  • 125
1
vote
1 answer

Quantitative aspect of Caratheodory theorem

Let A be a compact convex set in n-dimensional space. [ Of principal interest is n > 2 . ] A result of Caratheodory states that A is equal to the union of its simplices (i.e. simplices with all (n+1) vertices lying in A ). Suppose further…
user2052
  • 2,427
1
vote
0 answers

Why $\frac{\partial u((1-t)x+ty)}{\partial t} \mid_{t =0} \geq 0$, if $u(x) \geq u(y)$ and $u$ is quasiconcave and differentiable?

Let $u$ be quasiconcave and differentiable at $x$. If $u(x) \geq u(y)$, then how to show that $\frac{\partial u((1-t)x+ty)}{\partial t} \mid_{t =0} \geq 0$? $u$ is quasiconcave means that for all $\lambda \in [0,1]$,$u(\lambda a + (1 - \lambda)b)…
Epicurus
  • 407
1
vote
1 answer

Convexity problem

Let $S$ be a convex set. If $x\in$ int$S$ and $y\in$ cl$S$, show that relint[x,y] $\subset$ int$S$. I easily proved this for a case where y is in the interior of S, but am stuck if y is in the boundary. S need not be closed by assumption, so I…
user182475
  • 11
  • 1
1
vote
1 answer

Why should the points that define a simplex be affinely independent?

I have a question regarding the definition of a simplex. I am quoting the definition of a simplex from Wikipedia, which is similar to the definition in my textbook too "Specifically, a $k$-simplex is a $k$-dimensional polytope which is the convex…
Karthik Upadhya
  • 734
  • 7
  • 15
1
vote
2 answers

Existence of function $f:R^2 \rightarrow R$ s.t. f is convex in x- and y- directions and f has multiple minima.

Does there exist a function $f\colon \mathbb{R}^2 \rightarrow \mathbb{R}$ such that (1) for all $(x,y) \in \mathbb{R}^2$, f is convex in the x-direction and y-direction (2) $f$ has multiple non-degenerate minima? Non-degenerate: for any path P…
newling
  • 183
1
vote
3 answers

Inequality for concave functions

This shouldn't be too hard, but I'm stuck. Suppose $f$ is a concave function on the interval $[a,b]$, meaning $$\lambda f(x) + (1-\lambda) f(y) \leq f(\lambda x + (1-\lambda) y)$$ for every $x,y \in [a,b]$ and every $\lambda \in [0,1]$. I want to…
Paul Siegel
  • 9,117
1
vote
2 answers

Why am I getting a contradiction?

Let $f(x,y) = xy$ and define $$C = \{ (x,y) : xy \geq 1 \}.$$ The Hessian of this function is indefinite and has positive and negative eigenvalues. But we know the set $C$ is convex since this is just the epigraph of $1/x$. So what is wrong?…
Lemon
  • 12,664
1
vote
1 answer

Example of functions $f$ and $g$ such that $g \circ f$ is not convex

If $f$ and $g$ are strictly convex and $f$ is increasing, I know that $f\circ g$ is strictly convex. What would be an example of a function where $g\circ f$ is not strictly convex though... I first thought of $f(x)=-x$ and $g(x)=x^2$, and then…
1
vote
1 answer

Prove that function is convex

How can it be proved that the function $f(x) = \ln \bigl(\sum\limits_{i=1}^{n} e^{x_{i}}\bigr) $ is convex?
1
vote
1 answer

Concavity of a function

While I am reading a book I couldn't follow the following step. " By concavity of the function $x \sqrt{\log\frac{1}{x}}$ for $x \in (0,1)$ we have that " $O(x \sqrt{\log\frac{k}{x}})$ = $O(\sqrt{\log k})$ Can some one help me out.
Kumar
  • 2,259
1
vote
0 answers

Prove that a given function is convex

Consider the following convex set: $$S = \{m \in \mathbb{R}^N : m_i \geq 0 \text{ }\forall i=1, \ldots, N \wedge \sum_{i=1}^Nm_i = 1\}$$ and following function $f : S \rightarrow \mathbb{R}$: $$f(m) = \sum_{j=1}^M \left(X_j -…
the_candyman
  • 14,064
  • 4
  • 35
  • 62