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

strictly convex function when plotted but second derivative not unambiguously positve

I have a function $$ z(x) = (Kx)^{x/(1-x)}, x \in (0,1)\text{ and }K>1 $$ When I plot the function it has a U-shape. However when I take the second derivative wrt $x$ I have the following expression for it: $$ z\cdot \left[\left[\frac{1}{1-x} +…
0
votes
1 answer

infimum of a convex function over an open domain

Let $f: \cal D_0 \to [0, \infty]$ be a convex function on a compact set $\cal{D}_0$ and let $\cal D \subseteq \cal D_0$. I think the following holds: $$ \inf_{x \in \cal{D}}\ f(x) = \inf_{x \in \overline{\cal{D}}}\ f(x) \quad \textrm{if} \quad…
0
votes
2 answers

Is $g(x^n)$ a convex function of $x$, if $g$ is a convex function of $x$ and $n>2$; given $x$ is nonnegative?

Is $g(x^n)$ a convex function of $x$, if $g$ is a convex function of $x$ and $n>2$; given $x$ is nonnegative? like $g(x^2)$ or $g(x^3)$
Jingjings
  • 295
0
votes
2 answers

Prove that the set is convex

$$x\in \Bbb R^2$$ $$4x_1^2 + 4x_2^2 \le 2x_1x_2 - x_1 + 2$$ I don't know how to prove that this set is convex, I can't find anything understandable either. The only thing I found is: $f(\theta x + (1 - \theta)y) = \theta f(x) + (1 -…
khernik
  • 1,369
0
votes
1 answer

PSD matrices properties

If I have a matrix $X \in R^{n \times n} $ and an index set $ I \subseteq \{1,\dots,n\} $, Is $X_I$ also positive-semidefinite $\forall \ \ I $? Why ? $X_I $ is the submatrix that is formed by choosing all rows and columns from index-set $I $ Edit :…
Alice
  • 723
0
votes
1 answer

How to show this set is convex?

Let $f : \mathbb{R}^n \to \mathbb{R}$ be a convex function and let $c$ be some constant. Show that the following set $$s= \{x \in \mathbb{R}^n \mid f(x) \le c \}$$ is convex. Looking for a hint.
GBa
  • 1,046
0
votes
2 answers

If two convex sets have the same closure then their relative interiors are the same

I am having trouble seeing this. I have read and understood the proofs that cl(ri(C))=cl(C) and ri(cl(C))=ri(C). But to conclude that cl(C1)=cl(C2) iff ri(C1)=ri(C2) from the above two equalities? Do I need to show cl(ri(C)=ri(cl(C))? I'm not sure…
RV702
  • 111
0
votes
1 answer

Does a convex function with a Lipschitz continuous gradient always have a strong convex conjugate?

I got the answer is 'Yes' from a scribe. But I am confused because: Suppose there is a convex function $f(x)=x^THx$, where $x\in\mathbb{R}^N$ and $H\in\mathbb{R}^{M\times N}$ is positive semidefinite. Thus $f(x)$ is a convex with a Lipschitz…
Vivian
  • 583
0
votes
1 answer

convex function and convex set

Let $f$ be a convex function from $R_{++}^n$ to $R$. If $f(x_i)\geq f(y_i)$, where $x_i,y_i$ in $R_{++}^n$, $i=1,2,...,n$. The question is: is the following inequality true: $$f(\sum_{i=1}^n a_i x_i)\geq f(\sum_{i=1}^n a_i y_i),$$ where $a_i\geq 0,…
0
votes
1 answer

Convex Set Property

I have a question regarding Convex Sets. It seems that if a convex set S contains the vertices $A_1, A_2, ..., A_k$ of a polygon P = $A_1A_2...A_k$, it contains all points of the polygon P. But how can I prove it? Thank you in advance.
Jane Doe
  • 177
0
votes
1 answer

Convexity of a sum of functions

I need to check whether a functions is convex. The function is sum over fractions $ S(c, \sigma, r) = \sum_n \frac{\mu_n}{c(\mu_n^2 + \omega^2)}$ where $\mu_n = \frac{r\lambda_n + \sigma}{c}$ with $\lambda_n, \omega \in \Re^+$. I checked to Hessian…
0
votes
1 answer

When is the support function of a set strictly subbaditive?

Let $C\subset \mathbb{R}^n$ be a closed, convex set. The support function of $C$ is the function $\delta^*(\cdot|C):\mathbb{R}^n\rightarrow \mathbb{R}$ given by $$\delta^*(y|C)=\max_{x\in C}\sum x_iy_i.$$ The support function is strictly…
Henrique
  • 808
0
votes
1 answer

show that function is convex

Let $f:\mathbb{R}\to\overline{\mathbb{R}}$. Show that $$f\left(x\right)=\begin{cases} +\infty & \mbox{ if }x\in\left(0,\infty\right)\\ 0 & \mbox{ if }x=0\\ -\infty & \mbox{ if }x\in\left(-\infty,0\right) \end{cases}$$ is convex.
Muniain
  • 1,453
0
votes
1 answer

How to prove that $S = \left\{ \alpha \in \mathbb{R}^3 : \alpha_1 + \alpha_2 e^{-t} + \alpha_3 e^{-2t} \le 1.1 \right\} $ is convex but not affine?

So, I'm trying to see if my approach can show that the set $S$ is not affine and is convex with a similar argument for both cases $S = \left\{ \alpha \in \mathbb{R}^3 : \alpha_1 + \alpha_2 e^{-t} + \alpha_3 e^{-2t}\le 1.1 \right\} \\ \text{where }…
0
votes
2 answers

Convexity with certain properties implies a function is monotone

Why if $f$ is convex and $ a \ge 0 $ the the function $g(x)=f(x+a)-f(x)$ is increasing. [Attempt] I was thinking about the following property of convex functions: If $x\lt y \lt z$ then $$ \frac{f(x)-f(y)}{x-y} \le \frac{f(y)-f(z)}{y-z}$$ but I…