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

Modulus of convexity

I am reading a proof in a textbook and the author uses an assumption of "convexity modulus" for a function $l$ which states: $$ l(u)+l(v)-l\left(\frac{u+v}{2}\right) \geq C |u-v|^2 $$ for some $C > 0$. Is this standard terminology?
1
vote
1 answer

Convex Extremal

I was asked whether this is true in a question paper: If p is a subset of q (where both p & q are convex), then an extreme point of q is also an extreme point of p. Ans.: Yes statement is correct. I disagree: take two squares with q larger than p.…
1
vote
1 answer

Jensen's inequality for quasiconvex functions

The definition of a quasiconvex function $f$ is this: $$\text{All $\alpha$-sublevel sets $S_\alpha$ of $f$ are convex.}$$ The modified Jensen's inequality as it applies to quasiconvex functions is this: $$\forall \theta \in [0,\,1],\,\forall x,\,y…
Nurmister
  • 335
1
vote
1 answer

A real-valued continuous function on a convex set $C$ in $\mathbb{R}^{n}$ is convex if it is convex on the relative interior of $C$.

I am self-studying a book named "Geometric methods and Optimization problems" by V. Boltyanski, and this problem is an exercise in page 14 of that book. Let $f$ be a real valued continuous function on a convex set $E\subset \mathbb{R}^n$ which is…
J. Doe
  • 1,011
  • 7
  • 19
1
vote
1 answer

$f(t)=(\text{det}(A+tB))^{\frac{1}{d}}$ is concave if $f(t)\leq f(0)+tf'(0)$?

Let $A$, $B$ be $d$ by $d$ matrices where $A$, $A+B$ are symmetric positive semi-definite matrices and $\text{det}B=0$. $f(t)=(\text{det}(A+tB))^{\frac{1}{d}}$ is my function where $t\in[0,1]$. If $f(t)\leq f(0)+tf'(0)$, then $f$ is concave over…
kayak
  • 1,031
1
vote
0 answers

Show a finite probability space of size n is convex

I'm attempting to prove that the set $\Delta X = \{π ∈ \mathbb{R}^n |\sum \pi_i=1, \pi_i \ge 0, \forall i\}$ is a convex subset of the vector space $\mathbb{R}^n$. It is specified that $X$ is a finite set of size $n$ and $\Delta X$ is the space of…
1
vote
4 answers

Why is $\{ \mathbf{x} \in \mathbb{R}^n | \sum_{k=1}^{n} x_{k}^2 = 1 \}$ not a convex set?

We know that a function is convex if it can be written as $$\sum_{k=1}^{n} \lambda_k \mathbf{g_k}(\mathbf{x}) $$ for every $\lambda_k \geq 0$ and $\mathbf{g_k}(\mathbf{x})$ is a convex function. In our set, the function (I ignore the constant 1) is…
1
vote
1 answer

Is the convex function of a DC function convex ? Or is it DC?

Suppose function $g(x)$ is convex in $x$ and $h(x)$ is DC in $x$ (i.e., is the Difference of two Convex functions), is the composite fuction $H(x):=g(h(x))$ convex in $x$? Here, DC is short for difference of convex functions, that is, $h(x)$ can be…
XWei
  • 39
1
vote
1 answer

When is the sum of a non-convex function with a quadratic function convex?

I am looking for conditions on parameters $a$ and $b$ and on non-convex function $g$ such that the scalar function $$f(x) = a g(x) + \frac b2 x^2$$ is convex. It would be a great help if someone can guide me on this problem.
1
vote
1 answer

Find conjugate function for $f(x) = -\sqrt{x_1 x_2}, x \in \mathbb{R^2_+}$

Let $f(x) = -\sqrt{x_1 x_2}, x \in \mathbb{R^2_+}$. First, I've proved that the function is convex and that it is positively homogeneous, so $sup_{x \in \mathbb{R^2_+}}\{\langle x, y\rangle - f(x)\} = +\infty$, for those $y \in \mathbb{R^2}$ for…
Nemanja Beric
  • 688
  • 3
  • 10
1
vote
1 answer

A sufficient condition for strict pseudoconvexity

Let $A \subset \mathbb{R}$ be an open set. A differentiable function $f:\mathbb{R} \rightarrow \mathbb{R}$ is strictly pseudoconvex in $A$ iif for all $x,y \in A$ $$ \frac{df}{dx} (y-x) \geq 0 \mbox{ we have } f(y) - f(x) > 0. $$ If we replace $f(y)…
jaogye
  • 963
1
vote
1 answer

Theorem 7.5 from Rockafellar

I am trying to understand the proof from Theorem 7.5 from Rockafellar's "Convex Analysis". The Statement is the following: Let $f$ be a proper convex function and let $x\in\text{ri(dom(}f))$. Then: $$\text{cl}f(y)=\lim_{\lambda\uparrow…
1
vote
1 answer

Convex Sets - Intersection

The question we had to complete was: Choose two points in the set whose line segment joining them is not in the set. For the question that I have posted, why is my answer (-sqrt(3),2),(sqrt(3),2) Not correct?
J-Dorman
  • 129
1
vote
1 answer

Facets of convex hull

Let $C$ be a convex hull of finite set of points and lets assume dimension on $C$ is $n>0$ (so not a single point). Can we then claim that $C$ has facets? Facet F on my definition is a $n-1$ dimensional set that can be presented as $F=C\cap H$…
Elq
  • 74
1
vote
1 answer

Boyd & Vandenberghe, problem 2.10 — sublevel set of quadratic is convex

Problem 2.10 of Boyd & Vandenberghe's Convex Optimization: Let $C \subseteq \Re^n$ be the solution set of a quadratic inequality, $$C = \left\{ x \in \Re^n \mid x^TAx +b^Tx + c \leq 0 \right\}$$ where $A \in \Re^{n \times n}$, b $\in \Re^n$ and c…
Frank Moses
  • 2,718