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

Relation between sum of a max and max of a sum?

Consider $\frac{1}{T}\sum_{t=1}^{T}\max\{ 0,a_t\}$. Can we say whether this is greater or equal then $\max\{ 0,\frac{1}{T}\sum_{t=1}^{T}a_t\}$?
Star
  • 222
1
vote
1 answer

L1 ball contained in convex hull of L0 ball

Consider the set $S$: the set of vectors whose $L^0$ pseudo-norm is upper bounded by $s$. Also, consider the $L^1$ ball of radius $\sqrt{s}$. It is apparently a well known fact that the $L^1$ ball is contained in 2 x the convex hull of $S$. I am…
NSR
  • 864
1
vote
1 answer

Is $f(H)=H^TH$ convex? $H$ is a $m\times n$ matrix

I tried to prove $f(H)=H^TH$ convex, where $H$ is a matrix. We know when $h$ is a vector, then $f(h)=h^Th$ is convex. Can I prove it using the following equation? $[\theta H_1 + (1-\theta) H_2]^T[\theta H_1 + (1-\theta) H_2] \leq \theta H_1^TH_1 +…
E.J.
  • 939
1
vote
0 answers

Proving convexity of the Schatten 1-norm

Is it possible to show that the Schatten 1-norm is convex by the definition of convexity? I can't seem to find any way to derive an expression of the sum or matrix of singular values of a convex combination.
Thing1
  • 13
1
vote
2 answers

computation of subdifferential

This question mainly deals with subdifferential of a convex function with respect to the cost function $c(x,y)=\frac{|x-y|^2}{2}$ I want to compute the cost-subdifferential $\partial^{c}\phi$ of the cost-convex…
ali
  • 169
1
vote
2 answers

The convexity of $f(x)/x$ if $f(x)$ is concave/convex?

I was wondering if you know a theorem that states that the function $f(x)/x$ is convex in $x$ if $f(x)$ is concave or convex in $x$. $f(x)$ is convex and increasing in $x$. when $\lambda>0, \mu>0,k>=0$, k is an integer OR I know this A function…
1
vote
0 answers

An extreme point that is not strongly exposed

I want to construct an example that a point is extreme but is not exposed. This example can be in the following : A compact convex subset $K‎\subset‎\mathbb{R}^{2}$ and a point $u\in K$ such that $u$ is an extreme point of $K$, but is not an…
Ali Qurbani
  • 491
  • 3
  • 13
1
vote
3 answers

region between two concentric circles are not convex set in eucledian space of order 2.

I want a counterexample to show that the region between two concentric circles in $\mathbb{R}^2$ is not a convex set. I think we need to find two points in the common region of concentric circles and then will show that their convex linear…
hafsah
  • 305
1
vote
1 answer

$ d $ is ascent direction iff $ (\nabla\theta(w))^t d > 0 $

I have a doubt in this exercise. Let be $ \theta: R^n \rightarrow R $ a concave function differentiable at $w$. $ d $ is a ascent direction of $ \theta $ i.e. exists $ \delta > 0 $ such that \begin{equation} \theta(w+\lambda d) > \theta(w) \quad…
1
vote
1 answer

Characterizations of convexity relying only on gradient

Suppose $f:\mathbb{R}^n\rightarrow \mathbb{R}$ is once (and only once) continuously differentiable. Are there any characterizations of convexity that rely only on the gradient $\nabla f$? In the one-dimensional case this would be that $f'$ is…
Thilo
  • 255
1
vote
1 answer

How to determine convexity of the set

Let $S=\left\{(x_1,x_2)\in \mathbb{R}^2: \sqrt[4]{2x_1^4+2x_1^2x_2+x_2^2}\leq 5 \right\}\cap\left\{(x_1,x_2)\in \mathbb{R}^2: \cos(x_1)+3x_1^2+x_2\leq 5 \right\}$ I want to determine, whether S is convex. Set $\left\{(x_1,x_2)\in \mathbb{R}^2:…
PatG
  • 93
1
vote
1 answer

Example of conjugate function of a biquadratic form

An exercise asks me to prove that given the function $$f(\omega) = \frac{\omega^TQ\omega}{2}$$ where $Q$ is invertible, the conjugate function $f^*(\theta) = \sup_{\omega} \left(\langle \omega,\theta \rangle - f(\omega)\right)$ is $$f^*(\theta) =…
gosbi
  • 687
  • 6
  • 21
1
vote
0 answers

Characterizations of convex hull

Let $X = \{x_1,\dotsc,x_n\} \subset \mathbb{R}^2$ be a finite set of points in the plane. No $3$ of them are collinear. I am trying to think of ways to characterize the convex hull $\operatorname{conv}(X)$. Here is one particular attempt I'm…
Gils
  • 1,019
  • 8
  • 15
1
vote
1 answer

Problem in convex analysis

I found this problem in one of the old exams for convex analysis: Let $A \subseteq \mathbb{R}^n$ be a convex set and $f:A \rightarrow \mathbb{R}$ a convex function. a) Show that $f^{-1}(-\infty,a)$ is a convex set for every $a \in \mathbb{R}$. b)…
eta
  • 47
1
vote
2 answers

$f, g$ are convex and positive $\Rightarrow f(x)g(y)$ is convex?

Prove or provide a counterexample: if $f$ and $g$ are real convex positive functions on some intervals, then $f(x)g(y)$ is convex.