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 that half plane is convex

I'm having problems to prove this statement mathematically: Prove that the set $\{(x,y) \in \mathbb{R}^2| y\ge 0\}$ is convex.
Galymbek
  • 163
2
votes
2 answers

How to check whether a complex multivariable function is convex?

Given a convex function $f : \mathbb R^2 \to \mathbb R$ and real numbers $a$ and $b$, I want to check whether the following function $g : \mathbb R^2 \to \mathbb R$ is convex. First, I think I should use the lemma below: So I start to write…
Parting
  • 401
2
votes
1 answer

Is $ H(\operatorname{Pois}(\lambda)) $ concave in $\lambda$?

How to show that the entropy $H(\operatorname{Pois}(\lambda))$ of a Poisson distribution $\operatorname{Pois}(\lambda)$ is Concave in parameter $\lambda$? i-e $$f(\lambda)\equiv H(\operatorname{Pois}(\lambda))=-\displaystyle \sum_{x=0}^{\infty}…
kaka
  • 1,896
2
votes
2 answers

If a functions epigraph is a convex cone does this imply the function is convex?

I'm inclined to make this claim because the functions epigraph is $\{(x,t) : t \ge f(x)\}$. But to be a convex cone, it must be closed under the usual $$\theta_1 (x_1,t_1) + \theta_2 (x_2,t_2)$$ for $\sum \theta = 1$ and $\theta_i \in [0,1]$. But…
Palace Chan
  • 1,237
2
votes
3 answers

Proving whether a set is a Convex Cone, and whether it is a pointed Cone.

Consider the following set where n >= 1: $$A =\{(x_0,x_1,...,x_{2n}) \in R^{2n+1} | \sum\limits_{i=0}^{2n} c^ix_i \geq 0, \forall c \in [0,1] \}$$ Prove or Disprove whether this is a convex cone. Prove or Disprove whether this is a pointed…
73est
  • 69
2
votes
1 answer

Minkowski difference of two convex sets is convex?

Hi my question is quite straightforward, if we have two disjoint compact convex sets A and B, is their minkowski difference A-B then convex again? Thanks!
1233023
  • 543
2
votes
0 answers

convexity of a multivariable function

I have a function of the following type: $f(x_1,x_2,...,x_n)$ Each $x_i$ has domain $[0,\infty)$. The function is continuous and differentiable in each variable (It is an expectation of several continuous probability distributions). My numerical…
2
votes
1 answer

Legendre Transform - Convexity question

I know that the Legendre transform $F(p)$ of a given function $f(q)$ is well defined only if $f(q)$ has a definite convexity. Furthermore I know that I can take the Legendre transform twice to recover the original function $f(q)$. So my guess is…
MaJac89
  • 53
2
votes
1 answer

Convex and Symmetric subset of a Banach space

Let X be a Banach space and A be a convex and symmetric subset of X. Is it true then that the closure of A will be a subset of 2A=A+A? I doubt that this always holds, but can't seem to find a counter-example `
GeorgeK
  • 23
2
votes
2 answers

How to show $f(x)=(e^x-1)/x, x>0$ is convex?

How does one show that $f(x)=(e^x-1)/x$ is convex on $(0,\infty)$? I plotted the curve and it looks clearly convex. However, when I tried differentiating it, I cannot show the second derivative, $$ f''(x) = \frac{x^3e^x-2x^2e^x+2xe^x-2x}{x^4},$$…
tvk
  • 1,364
2
votes
3 answers

Convexity vs convexity on every line

I was reading this lecture on convex functions and I came across this $f\colon \Bbb R^n\to \Bbb R$ is convex if and only if the function $g\colon \Bbb R\to \Bbb R$, $g(t) = f(x+tv)$, $\operatorname{dom}g=\{t\mid x+tv \mbox{ belongs to domain of…
user31820
  • 943
  • 2
  • 10
  • 12
2
votes
1 answer

Convex conjugate of l1 norm function with weight

The conjugate of $f(x)=\|y\|_1$ is, by definition, $$ f^*(z) = \sup_y \{y^Tz - \|y\|_1\} $$ Also we can write $$f(y)=\|y\|_1 = \max_{\|p\|_\infty\leq 1} y^Tp $$ By using this, we can get the conjugate of $f$: $$ f^*(z) = \begin{cases}0 & \text{ if }…
jakeoung
  • 1,261
2
votes
1 answer

Proof about vertices of a convex hull

how to prove that, given a set defined as $S_{k}$ = {y: y = Ax, $\|x\|_{\infty}\leq$ 1} its convex hull conv($S_{k}$) has its vertices defined by those vectors $x$ such that $\|x\|_{\infty}$ = 1. How to do it? Thank you for your help!
buzz
  • 58
2
votes
1 answer

Is the inverse image of a set under a convex function convex?

So all I have is that $\mathscr{H}$ is a Hilbert space and that $f:\mathscr{H}\to\mathbb{R}$ is a convex function. i.e. for all $x,y\in\mathscr{H}$ and $\alpha\in[0,1]$, $f(\alpha x +(1-\alpha)y)\leq \alpha f(x)+(1-\alpha)f(y)$. Define $C =…
2
votes
1 answer

Show that a funcction is convex using epigraphs

The function $f: R^n \times S^n \rightarrow R $ defined as $ f(x,y)=x^TY^{-1}x$ is convex on $\operatorname{dom} f = R^n \times S_{++}^n$. One easy way to establish convexity of f is via its epigraph: $$ \operatorname{epi} f = \{(x,Y,t)\mid Y \succ…
lino
  • 1,151