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

Strict concavity in the closure of a convex set

Is the following statement true? Let $f:X\to \mathbb R$, $X$ normed vector space, be a continuous function that is strictly concave function over a convex set $C$, then $f$ is strictly concave over $\bar C$ (the closure of $C$).
Condor5
  • 359
0
votes
2 answers

Does a scaled sum of square convex?

Is this kind of function convex ? $f\left( {{w_1},{w_2},..,{w_n}} \right) = {a_1}{\left\| {h_1^T{w_1}} \right\|^2} + {a_2}{\left\| {h_2^T{w_2}} \right\|^2} + .... + {a_n}{\left\| {h_n^T{w_n}} \right\|^2} + b$ where ${h_1},{h_2}...{h_n}$ are vector…
0
votes
2 answers

$f$ is convex and $f(10)$, $f(20)$ given. Find the smallest value of $f(7)$.

If a convex function exists $f:\mathbb R\to \mathbb R$ and satisfies $f(10) = -4$ and $f(20) = 30$, how should I find the smallest value for $f(7)$? I have tried finding the linear equations between the two points $f(10)$, $f(20)$ and just input…
jixubi
  • 59
0
votes
3 answers

Show $M=\{(x,y):y\geq x^2\}$ is a convex set

Show that the following set is convex. $$M = \left\{ (x,y) : y \geq x^2 \right\}$$ First I take two arbitrary points $(x_1,y_1)$ and $(x_2,y_2) \in M$. Then I need to show that $$\lambda(x_1,y_1)+[1-\lambda](x_2,y_2)= (\lambda x_1 + (1 − \lambda)…
0
votes
1 answer

How to check convexity of the following constraint $w_1^2 + w_2^2 - w_2^2\alpha + 1 \ge \eta$?

Usually for function of two variable checking the convexity of a constraint is quite simple since we just need to compute the Hessian. In this case, I am running into a problem where my constraint is a function of four non negative variable…
0
votes
0 answers

How do I prove that a theoretical set is Convex?

I am trying to get my head around convex analysis proofs and I am not sure how to begin. I think the definition I should use for proofs is that a set C is convex if for any $u,v\in C$, the point $tu+(1-t)v \in C \forall t \in [0,1]$ For example, How…
123123
  • 49
0
votes
0 answers

The empty set consists of the intersection of all the closed half-spaces that contain it.

I want to prove that the empty set consists of the intersection of all the closed half-spaces that contain it. While I am able to do the proof for every closed and convex proper subset of k-dimensional real space using the strict-separation…
HBasak
  • 1
0
votes
1 answer

How to prove the inverse image under an affine function is convex, if the image is convex?

Theorem in section 2.3.2 of Boyd & Vandenberghe's Convex Optimization: If $f:R^k \to R^n$ is an affine function and an set $ S \subseteq R^n$ is convex, the inverse image of $S$ under $f$ defined as $$f^{-1}(S)=\{\vec x|f(\vec x)\in S, x \in dom…
0
votes
1 answer

check convexity wrt generalized inequality

For $f(X) = X^2$, where $X \in \mathbb{R^{3 \times 3}}$. Check if $f$ is convex wrt the cone $\mathbb{R_+^{3 \times 3}}$. Is the only way to check if this statement false is to find counterexample? (which I felt hard)
user21
  • 265
0
votes
2 answers

Quasi-convexity of $x \mapsto \sqrt{| x |}$

I read that $x \mapsto \sqrt{\mid x \mid}$ is a quasi-convex function. However, the sub-level sets still look like two curves each with its opening facing downwards. Why is it called quasi-convex?
0
votes
1 answer

Is the following restatement of convexity wrong?

They claim equation 5 is restatement of convexity. What am I missing? $\lambda = 0, \lambda'=1$ seems wrong no? https://www.scihive.org/paper/1702.04877
mathtick
  • 147
0
votes
1 answer

Choice of a vector for supporting hyperplane theorem

I'm having trouble relating the content on these notes to these ones from MIT OCW here. Specifically, the question I'm having is the first set of notes describes the specific half space where $a^Tx \leq a^T x_0$ and the second concludes that any…
0
votes
0 answers

how can I show that this function is convex?

$x_1, x_2 > 0$ $f(x_1,x_2) = \frac{1}{x_1^3x_2}$ Is this function convex? I think it is because Hessian matrix is $$\begin{pmatrix} \frac{12}{x_1^5x_2} & \frac{3}{x_1^4x_2^2} \\ \frac{3}{x_1^4x_2^2} & \frac{2}{x_1^3x_2^3}\end{pmatrix}$$ How do i…
Adar
  • 31
0
votes
1 answer

Boyd & Vandenberghe, exercise 2.10 — two questions

The solution of the exercise 2.10 from the textbook Convex Optimization by Boyd & Vandenberghe, they say that the set: $\{\hat{x} + tv \space |\space \alpha t^2 + \beta t + \gamma \le 0\}$ $\space \space \space \space \space \space \space \space$ …
Le Noff
  • 125
0
votes
2 answers

Is the unit ball on the set of continuous functions of a space $X$ strictly convex?

I have been trying to show that $C(X)$ is not strictly convex but I have been having a tough time, any help would be appreciated.