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

Prove $-\sqrt(x)$ is a convex function

I need to prove it's strictly concave up by using the definition $f(tx + (1-t)y) < tf(x) + (1-t)f(y)$. I'm stuck on plugging the values in then to show the inequality. $-\sqrt { (tx+(1-t)y) }
tooooony
  • 127
2
votes
0 answers

When is the infimum of the sum of two functions equal to the sum of their infima?

Let $g: \mathbb{R}^n\times\mathbb{R}^m \rightarrow \mathbb{R}$. Is there a condition under which $$\inf_{y\in\mathbb{R}^m} [g(x_1,y) + g(x_2,y)] = \inf_{y\in\mathbb{R}^m} [g(x_1,y)] + \inf_{y\in\mathbb{R}^m}[g(x_2,y)],$$ where $x_1,x_2 \in…
Ad22
  • 97
2
votes
1 answer

Does $f$ is convex implies $\frac{f(nx)}n$ is convex?

I'm stuck at proving this statement: Let $f$ be a convex real-valued function in $\mathbb R^d$. Then, for every $n\in\mathbb N$, the function $x\mapsto\frac{f(nx)}n$ is convex as well. (In my case $f$ is a cumulant generating function…
Formyer
  • 503
2
votes
2 answers

If $S $ is a convex subset of a vector space $V$ then is it true that the null vector $\theta \in S$ ?

If $S $ is a convex subset of a vector space $V$ then can we say that the null vector $\theta \in S$ ? Actually I was reading proof a lemma for a theorem "The Pyramidal Construction for nonconvex case" , where it is directly written that " $0…
Mini_me
  • 2,165
2
votes
0 answers

convexity/concavity of product of powers

From griva,nash,sofer ex 3.10 page 53. Given the function $f(x_1,x_2)= \alpha x_1^p x_2^q$ on $S=\{x:x>0\}$, say for which values of $\alpha,p,q$ the function is convex/strictly convex, concave/strictly concave. I first tried computing the Hessian…
jcsun
  • 31
2
votes
1 answer

Strong set order

I am reading about Monotone Comparative Statics in Levin's lecture notes. At page 35 there is this picture, which provides an example of two subsets of $\mathbb{R}$. By the usual definition (Tokpins, 1998): For two sets of real numbers A and B,…
Mino
  • 129
2
votes
0 answers

subdifferential of indicator function

For simplicity, let $X=\mathbb{R}$ and $K=[0,1]$. Consider $I_K:\mathbb{R}\to \{0,+\infty\}$ given by $I_K(x)=0$ if $x\in K$ and $+\infty$ otherwise. What is the subdifferential (in the sense of convex analysis) of $I_{K}$? Since $R\simeq R^{*}$ it…
zorro47
  • 1,467
2
votes
2 answers

From Hessian to Lipschitz continuity

Let $f$ be convex and twice differentiable. I can't prove that $$ \nabla^2f(x)\preceq LI \implies ||\nabla f(x)-\nabla f(y)||_2\leq L||x-y||_2 $$ I only established the converse. edit: There exists a $z\in\text{conv}\{x,y\}$ such that $$ \nabla f(y)…
Kiuhnm
  • 746
2
votes
1 answer

Minimal point of a intersection of N convex sets

I would like to prove that the minimal point of a intersection of $N$ convex sets in $\mathbb{R}^2$ is also the minimal point of the intersection of two of the aforementioned sets. Rephrasing the statement for real functions of one variable: I would…
Ander G
  • 21
2
votes
1 answer

Proving convexity of a set with sin(x) <= 1

I am having trouble determining if the following set is convex $$\ \{x \in R^{n}: \sum_{i=0}^n i\sin(x_i) \le 1 \}$$ My intuition tells me that it is not convex, because of the periodicity of trig functions, but on the other hand, a sin(x) is less…
2
votes
1 answer

Concept of Open and Closed Convex set

Given two convex set below: $C = \{ x \in \mathbb{R}^2 | x_2 \leq 0\}$ and $D = \{ x \in \mathbb{R}_+^2 | x_1 x_2 \geq 1\}$ Which one is closed/open and how that is determined? My idea about a closed set is that it will be closed when its bounded…
jhon_wick
  • 593
2
votes
1 answer

externally convex M-space

A metric space (X, d) is called externally convex if for all distinct points x, y such that $d(x, y) = \lambda$, and $r >\lambda $ there exists a unique z of X such that $$d(x, y) + d(y, z) = d(x, z) = r.$$ A convex metric space (X, d) is called an…
user409807
  • 21
  • 3
2
votes
1 answer

Is the function $\frac1x\log\sum\exp\left(c_i x^2\right)$ convex for every nonnegative $c_i$s?

While reading a machine learning paper, I came across the following statement: The function $\dfrac{f(x)}{x}$ is convex, where $$f(x) = \log\left(\sum_{i = 1}^m \exp\left(c_i x^2\right)\right),$$ with $c_1, \dots, c_m \geq 0$ and $x>0$. I know…
EMV
  • 139
  • 5
2
votes
2 answers

Definition of convexity

We know that a function is convex if we have $$\lambda f(x_1) + (1-\lambda)f(x_2) \ge f(\lambda x_1 + (1-\lambda)x_2)$$ where $0\le\lambda\le1$ But I don't know where is it come from ? Unfortunately , I can't understand it. I searched in the…
S.H.W
  • 4,379
2
votes
1 answer

gauge function of convex set and closures

Let $C$ be a non-empty convex set of $\mathbb{R}^n$. The gauge function of $C$ is defined as $\gamma(x|C) = \inf\left\{\lambda \ge 0 | x \in \lambda C \right\}$ (Rockafellar, Convex Analysis). According to my intuition, $\gamma(\cdot |C)$ is in…
Manos
  • 25,833