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

Discontinuous semiconcave functions

A function $u: \mathbb{R}^n \to \mathbb{R}$ is defined to be semiconcave if there is a positive constant $c$ such that for all $x,z$ $$ u(x-z) + u(x+z) - 2u(x) \leq c |z|^2. $$ Alternatively, one defines $u$ to be semiconcave if, for some constant…
thomas
  • 515
0
votes
1 answer

Are unions, sums (...) of quasiconvex functions again quasiconvex?

for a project I need to prove quasiconvexity of several general functions. Can I argue that the union (or sum, or difference...) of quasiconvex functions is again quasiconvex? I do know that the sum of convex functions is again convex, does this…
0
votes
1 answer

Parametrizing the Boundary of a Convex Set

Let $K$ be a compact convex set in $\mathbb{R}^2$. In the proof of a proposition in a paper I am reading, they are concerned with parameterizing $\partial K$ in the following way: If $K$ is strictly convex, then given $\hat{\mathbf{n}} \in \{x \in …
0
votes
1 answer

Ensuring strict concavity on log utility functions

Given a vector $\vec{x}={x_1,x_2,\ldots,x_n}$ ($x_i \geq 0$), why is it that in a function $U(\vec{x})=w \log \left ( \sum_{i=1}^n x_i \right ) + \varepsilon \sum_{i=1}^n \log (x_i)$ the $\varepsilon$ term is is said to ensure strictly concavity for…
0
votes
1 answer

convexity and first derivative

Let $\phi$ be a differentiable function on an interval $(a,b)\subset R^1$. If $\phi '$ is non-decreasing, then $\phi$ is convex. But, is the converse true? Does the convexity of $\phi$ necessarily imply that $\phi '$ is non-decreasing?
0
votes
1 answer

Is this sequence of concave functions unbounded?

Let $h_1, h_2,$ etc. be a sequence of positive real numbers such that $$\sum_nh_n = \infty.$$ Let $x_1, x_2,$ etc. be a sequence of real numbers in $(0, 1)$. Let $f_0, f_1,$ etc. be of sequence of functions $[0,1]\to [0,\infty)$. Define $f_0 \equiv…
Ben Derrett
  • 4,592
0
votes
2 answers

Is this function of Semi-definite matrices, convex?

Is the following function is convex. Consider the following function $$ f(X)=\langle X,D\rangle-c \cdot \sqrt{\langle X,E\rangle}$$ where $X,D,E$ are all semi-definite matrices. Is this function convex?
user85361
  • 845
0
votes
1 answer

Convex, non-negative function starting from 0

Let $h(x)$ be defined for $x \ge 0$. Suppose that $h(x)$ is non-negative and convex with $h(0) = 0$. I need to show that for $x_2 \ge x_1$ $h(x_2)\ge h(x_1)$. I need to do this from the definition of convexity: for $\lambda \in[0,1]$, and $x_1,x_2…
user7348
  • 474
0
votes
1 answer

Is multiplication of monotonically decreasing convex functions convex?

I'm aware that if $h(x)$ and $f(x)$ are convex functions, $g(x) = h(x)f(x)$ may not necessarily be convex. I'm curious whether $g(x)$ is convex if both $h(x)$ and $f(x)$ are also monotonically decreasing along being convex, e.g. $f = e^{-x}$. I…
Adam I.
  • 359
0
votes
1 answer

What is the definition of convexity from $f : \mathbb{R}^2 \rightarrow \mathbb{R}$?

$f(\lambda x + (1-\lambda y) \leq \lambda f(x) + (1- \lambda) f(y)$. This is the definition of convexity I am used to. If $f$ is a convex function, then $f : \mathbb{R} \rightarrow \mathbb{R}$. What if I am doing something like $f : \mathbb{R}^2…
0
votes
3 answers

Is the norm of a convex function convex?

I know that the norm of $x\in R^n$, $(\sum\limits_{i=1}^n|x_i|^2)^{0.5}$ is a convex function. Also, not any composition of two convex functions is convex. So my question is: Lets say we have a real convex function $f_i=f(x_i)$, $i=1,...,n$. Is…
0
votes
0 answers

Proof of the direction of directional derivative is convex

Consider the directional derivative: http://en.wikipedia.org/wiki/Directional_derivative How to prove the following is cvx in $v$ (the direction of directional derivative): $h(v) = $inf $_{a \geq 0} \frac {f(x+av)-f(x)}{a}$ with $f$ is cvx and…
sleeve chen
  • 8,281
0
votes
0 answers

How to prove convexity of a function below with multiple variables?

Let a function $f$ on $[0, 1]^n$ be defined as $$f(x_1,\cdots, x_n)=\frac{1-\prod_i x_i} {\sum_i (1-x_i)}.$$ It is known that $1/n \le f(x_1, \cdots, x_n) \le 1$ and it is convex when $n=2$. Does the convexity hold for general $n$ and how to prove…
yml
  • 71
0
votes
1 answer

About vertices of the convex hull of any finite set of points in $\mathbb R^n$

Let $S$ be a finite subset of $\mathbb R^n$ , we know that $x \in S$ is a vertex of $Conv (S)$ , the convex hull or convex polytope of $S$ , iff $x \notin Conv\Big(S$ \ $\{x\}\Big)$ ; then is the no. of vertices of $Conv(S)$ finite ? Is it true that…
user123733
0
votes
1 answer

Concavity of a multivariate function

Let f be a function such that f is Frechet differentiable. Prove that f is concave if and only if the following inequality holds: $$ 0\le f(x)+f(y)+\left+\left,\forall x,y\in{\mathbb{R}^n} $$ where…