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

Prove or disprove {$\sum_{i=1}^n x_i^2 = 1$} is convex

I have to prove or disprove that {x ∈ $\mathbb{R}^n$: $\sum_{i=1}^n x_i^2 = 1$} is convex. I don't even understand what kind of set this is, i.e. which values of $x$ are in this set. I know that I gotta use the following for a prove: A set…
0
votes
0 answers

Convexity of $f(x) = \log \left( \sum_{i = 1}^N \varepsilon_i\left( Q(a_i + b_i\sqrt x ) \right) ^2 \right)$

I know that for $x,a,b\ge0$; ${Q({a_i} + {b_i}\sqrt x )}^2$ holds convexity because the $Q$ function holds the convexity (monotonicity) . I dont know how should I approach to prove $$\log \left( \sum_{i = 1}^N \varepsilon_i\left( Q(a_i + b_i\sqrt x…
hasan
  • 137
  • 1
  • 9
0
votes
1 answer

Why should we define improper convex function so?

Now I'm reading Rockafellar's book. I don't understand why he defines improper convex function as $+\infty$ outside $\mbox{cl}(\mbox{dom} f)$. From page 54: Why isn't it $-\infty$?
0
votes
1 answer

Is $C=\{x\in\mathbb{R}^n\; :\; \max \{x_1,x_2,x_3,\dots,x_n\}\leq 1\}$ convex or not?

Is $C=\{x\in\mathbb{R}^n\; :\; \max \{x_1,x_2,x_3,\dots,x_n\}\leq 1\}$ convex or not? As it has been mentioned in book of optimization that every max function on $\mathbb{R}^n$ is convex. So, I think for it may not effect whether it is equal to…
TariqS
  • 11
0
votes
1 answer

Concavity and Convexity of a piecewise function

I am given the following two functions, and I am to figure out if they are concave. I used the formula for determining if it is concave or convex. If my calculations are correct, this function is convex in certain cases and concave in certain…
0
votes
0 answers

Is this set concave?

I want to check does this set is concave $$\{ (x,y,z) : 0 < z < xy \}$$ My solution: it isn't concave as For example: $A_{1} (1; 1; 0.1)$ and $A_{2} (-1; -1; 0.1)$. Both of this points in the set. But their linear combination with $\lambda = 0.5$…
David
  • 3
0
votes
1 answer

Check set for convexity

I have a set: $$\{ (x, y, z) : z < x^{2} + y^{2} + 4xy \}$$ I want to prove that this set is convex or not. - I used general definition of convex set i.e.: $$z_{1}\alpha + (1-\alpha)z_{2} < (x_{1}\alpha + (1-\alpha)x_{2} + y \alpha +…
David
  • 3
0
votes
1 answer

Intersection of affine halfspaces is convex

Given any finite amount of affine halfspaces, $H_1,\ldots,H_n \subset\mathbb{R^d}$, are their intersection, $\bigcap_{i=1}^{n}H_i$, necessarily closed and convex?
0
votes
4 answers

How to show $f(x) = \sqrt{x}$ is not convex using the definition of convexity?

Using the definition of convexity $$f(\lambda x + (1−\lambda)y) \leq \lambda f(x) + (1−\lambda) f(y)$$ I would try to cause this inequality to fail. $$\sqrt{(\lambda x + (1-\lambda)y)} \leq \lambda \sqrt{x} + (1-\lambda) \sqrt{y}$$ And from here I…
Cj C.
  • 1
0
votes
2 answers

Proving convexity via the definition in $\mathbb{R}^2$

Using the definition of convexity in $\mathbb{R}$, $$f \left( \lambda x + (1 − \lambda) y \right) \leq \lambda f(x) + (1 − \lambda) f(y)$$ I am able to prove the convexity of function $f$. However, for a function in $\mathbb{R^2}$, I am not sure…
Cj C.
  • 1
0
votes
4 answers

Quasi-concavity of $f(x_1,x_2)=x_1^2 x_2^2$ for non-negative $x_1,x_2$

Show that $f(x_1, x_2) = x_1^2 x_2^2$ is quasiconcave for non-negative $x_1,x_2$? This is a coursework question. I tried showing the upper contour set is convex by picking $\alpha \in [0,1]$, $x=(x_1,x_2)$, $w =(w_1,w_2)$ with $f(x)=x_1^2x_2^2>r,…
0
votes
2 answers

$f(x)=\log(e^{x_1}+\cdots+e^{x_n})$ is convex or not?

Question: If $x\in\mathbb{R^n}$, then $f(x)=\log(e^{x_1}+\cdots+e^{x_n})$ is convex or not? For $x\in\mathbb{R}$, $f(x)=\log(e^x)$ is convex since it is a line. Or using the definition of linearity, $$\alpha f(x)+\beta f(y)=\log(e^{\alpha…
Lee
  • 1,910
  • 12
  • 19
0
votes
0 answers

Convexity of $f(A)=x^TA^{-1}x$ and $f(x,A)=x^TA^{-1}x$.

For $x\in\mathbb{R}^n$ and $A\in\mathbb{S_{++}^n}$ (symmetric positive definite), it is very well known that $f(x)=x^TA^{-1}x$ is convex since $A^{-1}$ is positive definite. I wonder what if we change the function input, i.e. 1)…
Lee
  • 1,910
  • 12
  • 19
0
votes
0 answers

Convex function at two points has a bottom limit?

I am still trying to find a true statement :-( Assume that for $x(\alpha,\beta) > 0$, $y(\alpha,\beta) > 0$ and $\alpha > 0$ and and $\beta > 0$ and for all $q>1$ holds $\alpha \leq \frac{\beta(x(\alpha,\beta)^q) + y(\alpha,\beta)^q}{x+y}$. It…
Paul
  • 45
0
votes
1 answer

Specific problem with general convex functions

"Assume that for $z$ and $y$ with $z\geq y$ and $\alpha> 0$ holds $\alpha z -\alpha y -z^q + y^q \geq 0$ for all $q>1$. It follows for $z$ and $y$ that $\alpha z -\alpha y - f(z) + f(y) \geq 0$ holds for all strictly convex functions $f(x)$ with…
Paul
  • 45