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

Prove that the set $C = \{(x,y) \in \mathbb{R}^2:\max \{ |x|,|y|\}\leq 1 \}$ is convex.

Prove that $C = \{(x,y) \in \mathbb{R}^2:\max \{ |x|,|y|\}\leq 1 \}$ is a convex set. I am using the following definition for a convex set Let $D \subseteq \mathbb{R}^n$. The set $D$ is said to be convex if, given $\bar{x},\bar{y}\in D$, we have…
Bergson
  • 1,647
1
vote
2 answers

Show that the set $\{x \in \mathbb{R}_+^3 \mid x_1 x_2 x_3 \geq 1 \} $ is convex

I found a similar question, but I do not understand how I can solve mine: Show that the set $\{x \in \mathbb{R}_+^3 \mid x_1 x_2 x_3 \geq 1 \} $ is convex. Can you help me with this?
Sim
  • 41
1
vote
1 answer

Minkowski's Theorem for Closed Sets, Lang's Algebraic Number Theory

On Pg 116 of Lang's Let $L$ be a lattice of dimension $N$ in $\mathbb{R}^N$. Let $C$ be a closed, convex, symmetric subset of $\mathbb{R}^N$. If $\mu(C) \ge 2^N \mu(F)$, where $F$ is a fundamental domain, then there exists a lattice point in $C$.…
Bryan Shih
  • 9,518
1
vote
0 answers

Show that the convex hull of a set S is the intersection of all convex sets that contain S

Show that the convex hull of a set $S$ is the intersection of all convex sets that contain $S$. Suppose $H$ is the convex hull of $S$, and $D$ is the intersection of all convex sets contain $S$. Certainly, it's easy to prove that $H \subset D$, but…
1
vote
1 answer

How to find a affine function$\ \leq \ $convex function?

let $f:\mathbb R^n \rightarrow \mathbb R$ be a convex function. for arbitrary $p\in \mathbb R^n$, how can I find an affine function $\ell_p(x)$ such that $$\ell_p(x)\leq f(x)\ \text{ and }\ \ell_p(p)=f(p)?$$ I could find it for $n=1$, but I don't…
456 123
  • 519
1
vote
0 answers

Is this function of one variable convex?

I need to show that this function is convex: $$f(x) = (m-1)e^{-\frac{s}{m+x}} + \left(1-\frac{s\cdot x}{m+x}\right)^{1+1/x},$$ for all values of the parameters $m\geq 1$ and $s\geq 0$, on the domain $x\in(0,u]$, where $$ u = \left\{\begin{array}{ll}…
guigux
  • 111
1
vote
1 answer

How to determine whether this set is convex?

I am given the following set $$\Omega_{1} = \{ (x,y) \in \mathbf{R}^{n} \times \mathbf{R}^{n} | \Vert y \Vert_{2}^{2} \leq 10 + x^{T}y - \Vert x \Vert^{2}_{2} \}$$ and would like to determine whether it is convex. I know that the set $$\Omega = \{…
Bee
  • 31
1
vote
2 answers

Convex hull of one point in $\mathbb{R}^{2}$

Let $S\in\mathbb{R}^{2}$ and let the size of $|S|=1$. If $x\in S$ then what is the convex hull of $S$? Is it $\{x\}$ or is it an empty set? Thank you.
1
vote
2 answers

An example to proper convex functions $f_1, f_2$ such that the infimal convolution of $f_1$ and $f_2$ is not proper.

An example to proper convex functions $f_1, f_2$ such that the infimal convolution of $f_1$ and $f_2$ is not proper. I need to find a function $g(x) = \inf\{f_1(x-y) + f_2(y)| y \in \mathbb{R}^n\}$ where $f_1$ and $f_2$ are proper convex functions…
abuchay
  • 602
1
vote
0 answers

Notation $K^+$ where $K$ is a cone

Is there a common meaning for $K^+$ if $K$ is a convex cone? For instance, it is claimed that $K=K^{++}$ iff $K$ is a closed convex cone (To be clear, I don't want help proving the claim.) Thanks in advance.
manofbear
  • 2,271
1
vote
1 answer

Hyperplane and associated Half spaces convexity

How to prove a Hyperplane and its associated half spaces as convex sets. I know the convexity condition that if $x,y$ belongs to convex set, then their linear combination should also lie in the set. (Linear combination such that their coefficients…
Aatsrh
  • 25
1
vote
0 answers

is the following log_exponential form affine

I know that log_sum_exp form is convex. Is the following sum_log_exp form convex? $$ \sum_{i=1}^n \log_2 (a\, 2^{x_i} + b) $$ where constants a,b >= 0 and $x_i \geq 0$
1
vote
1 answer

If $f\leq g$ and $f,g$ are positive, increasing convex functions, then $f'\leq g'$?

Suppose $f(x)\leq g(x)$ for all $x\in\mathbb R$ and $f,g$ are positive, increasing convex functions. Question: Can I conclude that $f'(x)\leq g'(x)$?
chlee
  • 131
1
vote
2 answers

Prove $C = \left\{ x \in \mathbb R^n : \bigwedge_{i=1}^K \| x - x_0 \|_2 \leq \| x - x_i \|_2 \right\}$ is a convex set

Prove $$C = \left\{ x \in \mathbb R^n : \bigwedge_{i=1}^K \| x - x_0 \|_2 \leq \| x - x_i \|_2 \right\}$$ is a convex set. Does that mean we have to show that $$x \mapsto \|x-x_0\|_2 - \|x-x_i\|_2$$ is a convex function? Any help? Thanks a lot.
Matata
  • 2,088
1
vote
2 answers

proof of any line joining two points lying in opposite half-spaces determined by a hyperplane in $\Bbb{R}^n$ intersects the hyperplane.

I am a student specializing in mathematics for economists. I have been struggling with proof question regarding hyperplane and was wondering if you could please give a helpful hand. The question is: Prove that any line joining two points lying in…