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

Mixing coordinates of vectors living in convex sets

Suppose we have finitely many convex sets $c_1,\dots, c_m$ in $\mathbb{R}^n$ all include zero. For simplicity let $m=2$. Let $x\in c_1$ and $y \in c_2$. Suppose we create a vector $z$ by picking some coordinates from $x$ and some from $y$. Is $z \in…
Saeed
  • 175
0
votes
1 answer

Showing convexity as intersection?

How do I show that the following sets can be written as the intersection of hyperplanes and half-spaces and hence is a convex set: $\{p\in\mathbb{R^n}|p_i\in[0,1],\sum_{i=1}^n p_i=1\}$
0
votes
0 answers

Affine mapping preserves strict convexity?

I have a function $f:X \to \mathbb{R}$ strictly convex, where $X \subset \mathbb{R}^{n}$ is a convex compact space. Also, given $A \in \mathbb{R}^{n \times m}$ and $b \in \mathbb{R}^{n}$, consider an affine mapping $u \mapsto Au + b$ for $u \in…
0
votes
0 answers

How are the boundary points on a circle also extreme points?

Can someone please explain how the boundary points on a circle are also extreme points? If i take a point inside the circle and one point on the boundary, I can take a convex combination of those two to get a third point on the boundary?
0
votes
0 answers

The tangent and normal cones of a convex set are polar of each other

If $K$ is a convex subset of $\mathbb{R}^{n}$, then for any $x \in K$, we have the following result: $$ \mathcal{T}(x;K)^{*}=-\mathcal{N}(x;K), $$ where $\mathcal{T}(x;K)$ is the tangent cone of $K$ at $x$, $\mathcal{T}(x;K)^{*}$ is the dual cone of…
Kim
  • 91
0
votes
1 answer

Sum of a strongly convex function and a function with Lipschitz continuous gradient

Suppose we have a $\alpha$-strongly convex function $f(x)$; and another function $g(x)$ with $L$-Lipschitz continuous gradient; and $\alpha>L$. Is it true that $g(x)+f(x)$ is $(\alpha-L)$-strongly convex? Similarly, is it true that $g(x)-f(x)$ is…
Zang San
  • 61
  • 3
0
votes
1 answer

Is log locally strongly concave?

Is $g(x) = \log f(x)$ locally strongly concave if $f$ is a linear function? What if $f$ is a homogeneous function of degree 1?
smz
  • 283
0
votes
0 answers

Prove a kernel is SR(2)

A kernel $K(x,y)$ is SR(2) if it is sign-regular up to order 2, as defined by Samuel Karlin based on work of I. J. Schoenberg on variation diminishing kernels. One criterion for sufficiently differentiable kernels is: $\frac{d^2}{dx\hspace{1pt}dy}\,…
0
votes
0 answers

Does strict convexity imply proper convexity?

Consider a function $f: X\rightarrow \bar{\mathbb{R}}$ where $X$ is a convex set and is not a singleton. Suppose $f$ is strictly convex. Does it imply that $f$ is properly convex? My tentative proof is as follows. Suppose there exists $x^*\in X$ and…
Ypbor
  • 787
  • 2
  • 8
0
votes
1 answer

Under what conditions the square of a linear function is strictly convex?

Consider the function $f: \mathbb R^n \to \mathbb R$ defined by $$ f(x) = (w_0 + x_1w_1 + x_2w_2 + ... + x_nw_n )^2 $$ , where $w_i \in \mathbb R$. Is this function strictly convex? If no, is there any condition about $w_i$ under which we can be…
alireza
  • 205
  • 1
  • 7
0
votes
0 answers

Given a convex set, does there always exist a convex function whose 0-sublevel set is the convex set?

Given a convex set $U \subset \mathbb{R}^{n}$, can one always construct a convex function $f: \mathbb{R}^{n} \to \mathbb{R}$ such that its $0$-sublevel set $\{ u \in \mathbb{R}^{n} | f(u) \leq 0 \}$ is the convex set $U$?
0
votes
1 answer

Prove or disprove the convexity of a quotient

It seems that the function $$q(x,y)=\frac{\langle x, y \rangle^2}{\|x\|^2}$$ is convex over $\Omega\times \mathbb{R}^n_+$ where $\Omega$ is the unit simplex defined by $$\Omega = \{x\in \mathbb{R}^n: \sum_{i=1}^n x_i = 1, x\geq 0\}.$$ Can anyone…
kaienfr
  • 199
0
votes
0 answers

If a convex set has non-empty algebraic exterior, does the exterior contain a convex set spanning the whole space?

I am investigating convex analysis (unfortunately without a book) and currently I am trying to understand and clasify the algebraic structure of convex sets. Related questions that I have studied are, for example, this and this. The question: Let…
donaastor
  • 1,677
0
votes
1 answer

Is there a convex set with "exterior" but no "interior"?

I put the words in quotes because this question is NOT about topological affine spaces. My definitions: Let $A$ be a real affine space and let $K$ be a convex subset of $A$. We define a point $x\in A$ to be an interior point of $K$ if every line $p$…
donaastor
  • 1,677
0
votes
1 answer

Prove if $C1\subseteq C2$ then $DualCone(C2)\subseteq DualCone(C1)$

Suppose C1 and C2 are two cones; I should prove this statement: $$ C1\subseteq C2\Rightarrow DualCone(C2)\subseteq DualCone(C1)$$ And this is the definition of DualCone in my textbook:$$DualCone(C) = \{y ∈ R^n: 〈y,x〉 ≥ 0, x ∈ C\}$$ My try: By the…