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

Meaning of convexity in a graph

A differentiable and also convex function has the following property. $$ (\nabla f (x) - \nabla f (y))^T(x-y) \geq 0 $$ I can derive it from the first order condition for a convex function, $$ f(y) \geq f(x)+\nabla f(x)^T(y-x) \\ f(x) \geq…
0
votes
0 answers

Log concave as composition of inverse and expectation

If f is defined as $f(t,p) = g^{-1}(E(g(t,p))$ for any random variable $p$ and natural number $t$, what properties does $g$ have to have to make $f$ log concave in $t$? Here, $g^{-1}$ is the inverse function of $g$. We can think of $p$ as a random…
user
  • 356
0
votes
0 answers

Some naive questions about the convexity of functional and the type of its critical point.

I want to ask some naive questions about the convexity of the functional. Consider $I:E \rightarrow \mathbb{R}$. The definition of the convexity: is it given by the second derivative that for every $u \in E$ $$\frac{d^2 I(u+tv)}{dt^2} \ge 0$$ at…
Elio Li
  • 557
0
votes
0 answers

Is it correct to write functions as infinite convex combinations over extreme points of their feasible sets, like this?

The function $f: [0,1]\rightarrow [0,1]$ and constant $k \in \mathbb{R}$ are given. We have the following maximization problem: $$ \max _{g: [0,1]\rightarrow \mathbb{R}}\int_0^{1}f(x) g(x) d x\\ \text{s.t. } g \in [0,1], g \text{…
Canine360
  • 1,481
0
votes
2 answers

Boyd & Vandenberghe, example 3.14 — How is convexity established?

From Boyd & Vandenberghe's Convex Optimization, the second last example of 3.14 is as follows. I am not able to follow why $h(z)$ would be convex. We can write it as $h(z) = (g(z))^{\frac1p}$, where $$g(z) = \sum_{i=1}^k \max \{z_i, 0\}^p $$ I am…
user1953366
  • 191
  • 7
0
votes
1 answer

Why affine function definition doesn't have requirements for its domain?

The convex and affine function definition I am seeing is this: $f:R^n \to R$ is convex if $dom f$ is a convex set and if for all $x,y\in domf$, and $\theta$ with $0\leq\theta\leq 1$, we have $f(\theta x+(1-\theta)y)\leq\theta…
0
votes
1 answer

Testing for Convexity for a function

Please any one can help figure out if this funcion is concave or convex, any help is greatly appriciated. Any links on how to test fo convexity for such a function is also greatly appriciated. I tried to find the Hessian and I have some terms…
user92636
  • 3
  • 1
0
votes
0 answers

Separating two convex sets through supporting hyperplanes on extreme points

Consider two sets in $\mathbb R^n$, $A = \{x_1,\ldots,x_k\}$ and $B=\{y_1,\ldots, y_m\}$. Suppose that $co(A) \cap co(B)$ are disjoint, where $co(S)$ denotes the convex hull of $S$. I am interested in doing the following: Pick some point in $A$,…
avk255
  • 431
0
votes
1 answer

Separation of two convex cones that partition the vector space

Let $A$ and $B$ be nonempty convex cones in an infinite-dimensional vector space $V$. Assume that $A$ and $B$ partition $V$, that is, $A\cap B=\varnothing$ and $A\cup B=V$. Can $A$ and $B$ be separated by a linear functional on $V$? (I have tried to…
Mikhail
  • 427
0
votes
0 answers

Find values where the function is convex

Given the function $f(x,y)=x^2y-3xy+y^2$ how can i find the subset of $R^2$ where $f$ is convex? I already know there are saddle points in $(0,0)$ and $(3,0)$ and a local minimun in $(\frac 32, \frac 98)$.
Alex_28
  • 11
0
votes
0 answers

Covering properties of an cube of an $\epsilon$-covering of a circumscribed cube with different orientation

I am facing a problem. Suppose to have a cube $Q=[0,1]^d$ and another cube $Q^{'}$ which is a circumscribed cube with different orientation. Let us consider a $\epsilon$ covering of $Q^{'}$ with kind of $||\cdot||\infty$ boxes oriented according to…
aleand
  • 31
0
votes
0 answers

Construction of largest convex minorant of a sequence

Given a sequence $a_n$, construct the largest minorant $b_n$, i.e. $b_n \leq a_n$, that is convex. A natural candidate is $$ b_n = \inf \left\{\frac{(r-n)a_l + (n-l)a_r}{r-l} \mid l \leq n < r\right\} $$ assuming that this is well-defined. This is…
0
votes
1 answer

Is $f(x,y) = x^\beta/y$ quasi-convex for positive $x,y$ for any real $\beta \geq 1$?

A multivariate function $f:{\mathbb R}^d \to {\mathbb R}$ is quasi-convex on a convex set $S \subset {\mathbb R}^d$ if $f(\lambda z + (1-\lambda)z') \leq \max\{f(z),f(z')\}$ for all $z,z' \in S$ and $0 \leq \lambda \leq 1$. Equivalently $f$ is…
user2566092
  • 26,142
0
votes
0 answers

Question about proper separation of two convex sets

I would like you to give me some advice on how I can use the advice that this problem gives me, I managed to solve the problem using only properties but I did not use the suggestion. Let $C, D \subset \mathbb{R}^{n}$ are non-empty and convex, such…
ruka
  • 118
0
votes
2 answers

A "reversed" Jensen inequality

Let $S= \langle v_0, \ldots, v_n \rangle$ be a non-degenerate simplex in some affine space, Consider $(x_i)_{i\in I}$ a (finite) family of points in $S$ and $\lambda_i\ge 0$, $\sum_{i\in I}\lambda_i =1$ a family of weights. Write $\sum_{i\in I}…
orangeskid
  • 53,909