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

How can I prove that every point in the boundary of the unit disc in $\mathbb{R}^2$ is a extreme point?

I know that a point in the circunference can't be in a segment with the edges inside de disk, but I'm having problems at proving it formally. We defined extreme point of a set $S$ as a point $x_0 \in S$ such that $x_0 = \alpha x + (1-\alpha)y…
kartzs96
  • 21
  • 3
0
votes
1 answer

Necessary and Sufficient Conditions for which an affine mapping with a convex function is convex?

For a convex function $h(x)$, what conditions must hold for $$g_2(x) = ah(x) - b, \\ a, b \in R$$ is also convex? My intuition is that for a convex $h(x)$ then $a > 0$ because if $a < 0$ then we 'flip' the function and it becomes concave. I also…
0
votes
0 answers

A function is quasilinear if its domain and all level sets are convex

From section 3.4.1 of Stephen Boyd & Lieven Vandenberghe's Convex Optimization: A function is quasilinear if its domain and every level set $\{x \mid f(x) = \alpha \}$ is convex. How to prove it?
Tony
  • 113
0
votes
0 answers

Proving a property of closed convex sets

I have some doubts when it comes to my approach to this problem and I would appreciate any feedback. Let $C\subset E$ be a closed subset of a topological vector space. I want to show that $C$ is convex if and only if $\frac{1}{2}(x+y) \in C$ for all…
btfm
  • 177
0
votes
1 answer

max of absolute value of log convex, concave or neither?

$$f(x)=\exp\left\{\max_{i=1,\ldots,n}\left|\log(a_i^Tx)\right| \right\}$$ where $a_i \in \mathbb{R}^m$ and $\operatorname{dom} f = \{x \in \mathbb{R}^m_+ \mid a_i^Tx>0, i = 1,\ldots,n \}$ I know that $|\log(a_i^Tx)|$ is neither convex or concave but…
darisoy
  • 121
0
votes
2 answers

Is the set $\{(x, y, a)\in\mathbb{R}^3\mid x^2+y^2\le 4 \}$ convex?

Is the set $\{(x, y, a)\in\mathbb{R}^3\mid x^2+y^2\le 4 \}$, where $a\in\mathbb{R}$ is a fixed parameter, a convex set? I know that the set $\{(x, y)\in\mathbb{R}^2\mid x^2+y^2\le 4 \}$ is convex (in $\mathbb{R}^2$), but I don't know if it holds for…
Daniel
  • 558
0
votes
0 answers

For which $p \in (0, +\infty)$ is the set $\{x \in \mathbb{R}^n : (\sum_{i=1}^n |x_i|^p)^{1/p} \leq 1\}$ convex?

For which $p \in (0, +\infty)$ is the set $\{x \in \mathbb{R}^n : (\sum_{i=1}^n |x_i|^p)^{1/p} \leq 1\}$ convex? I should be able to answer this question just using the definition of a convex set: A set $S$ is said to be convex if for every $x$ and…
Salae
  • 19
0
votes
1 answer

Example on Correspondences

Giva an example of correspondence $F : \mathbb{R} \rightarrow \mathbb{R}$ such that the closure of $F$ is $ \overline{F}: \mathbb{R} \rightarrow \mathbb{R}$, upper semi continuous on $\mathbb{R}$, but $F$ is not, if any. I got stuck with this…
0
votes
0 answers

Minkowski difference of two disjoint convex closed sets is a closed convex set?

So I have seen this result mentioned a few times but never with a proper proof. I know that the Minkowski difference of two disjoint convex sets is convex and that the Minkowski difference of two closed sets is not necessarily closed (?) I've tried…
0
votes
1 answer

Is preimage of interval by concave function a convex set?

I have a concave function $F:A \rightarrow \mathbb R$ and an interval $I=[\underline y,\bar y ]$ for which I consider the preimage $$f^{-1}(I) := \{ x \in A \lvert f(x) \in I\} = \{ x \in A\lvert \ \underline y \leq f(x) \leq \bar y \}$$ my…
Jesper Hybel
  • 147
  • 10
0
votes
0 answers

extreme points of a circular disc and a right circular cone

I thought that a circular disc in $\mathbb{R^2}$ is a convex set with the extreme points being that of the perimeter, and the right circular cone in $\mathbb{R^3}$ is similar in that it is the convex set with the extreme points being its vertex and…
Jam
  • 1
0
votes
1 answer

Geometric intuition for Properties of the Orthogonal Projection

Properties of the Orthogonal Projection: (Firm) Nonexpansivness Let $C$ be a nonempty closed convex set Then: 1. For any $v,w\in\mathbb{R}^n$: $\begin{aligned} (P_C(v)-P_C(w))^T(v-w)\geq||P_C(v)-P_C(w)||^2 …
convxy
  • 1,878
0
votes
0 answers

$f$ is differentiable convex function and $x_0$ is a critical point for f

I have the following theorem: Let $f:(a,b)\rightarrow \mathbb{R}$ be differentiable function. Then $f$ is convex if and only if $f(y)\geq f(x)+f'(x)(y-x)$ for every $x,y\in (a,b)$ Then i am given the following: Suppose that $f:(a,b)\rightarrow…
0
votes
0 answers

Prove, that function is convex

How to prove, that $$f(x)=\frac{||Ax-b||^2}{1-||x||^2}, ||x||^2<1, x \in \mathbb{R}^n$$ is convex? UPDATE: I've tried the following approach. The function $$g(x) = log(||Ax-b||^2)$$ is convex (proof is straightforward), the same with function $$h(x)…
0
votes
1 answer

secant method twice on convex decreasing function

I have a continuous, decreasing and convex function $f$. Given an interval $[a, b]$ such that $f (a)>0 $and $f (b)<0$, if I apply the secant method twice, where the outcome point will be located? I know if we apply once it will be $r <=x < b$, where…
chp
  • 1