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

Basic question: why and how smooth convex function $f(x)$ with domain $R^n$ is equivalent to $g(x):= \frac{L}{2} x^T x - f(x)$?

I am so sorry to ask probably the most trivial and fundamental question. But it is just bothering me and not able to understand, why and how smooth convex function $f(x)$ with domain $R^n$ is equivalent to another convex function $g(x):=…
learning
  • 661
0
votes
1 answer

Is this function strictly convex and why?

Is this function strictly convex? $(x_1+x_2+x_3+x_4+x_5+x_6-30)^2+(x_7+x_8+x_9+x_{10}+x_{11}-24)^2+(x_1+x_7+x_8+x_4-14)^2$ variables are $x_i$ and we have $1 \le x_i \le 9$.
0
votes
1 answer

Is a function with optimal points at the endpoints convex?

I know the maximum and minimum values of a bounded convex function occurs at the endpoints of the function. Is the converse holds: If the maximum and minimum of a function are at the endpoints, is the function convex?
0
votes
0 answers

How can I prove that a differentiable pseudoconvex function is also quasiconvex?

How can I prove that a differentiable pseudoconvex function is also quasiconvex? Is it possible to do it simply using the definition of pseudoconvexity? Thanks.
Andrea
  • 35
0
votes
1 answer

The unit cube is the convex combination of its vertices

I want to prove this statement: $[0,1]^d = conv(v_1,...,v_n)$, with $n = 2^d$ and $\{v_1,...,v_n\} = \{0,1\}^d$. Geometrically this is evident, I'm looking for a pure algebraic proof.
0
votes
1 answer

Is the set of points in $\mathbb R^n$ for which the sum of all distances from fixed $k$ points is $\le1$, convex?

Is it true that the set of points in $\mathbb R^n$ for which the sum of all distances from fixed $k$ points is $\le1$, is convex?
Ashot
  • 4,753
  • 3
  • 34
  • 61
0
votes
1 answer

Convexity of a function

Define function $F$ as $F(x,y,x,t)= (xy-zt)^2$ where $x,y,z,t \geq 0$. Question: Is this function Convex? Thanks!
Star
  • 333
0
votes
0 answers

General question about Convexity of Multivariate Functions (Convexity in only some (i.e. not all) of the variables)

Let a general multivariate function of $n$ variables, $f : \mathbb{R}^n \to \mathbb{R}$ say, be given. Suppose we want to prove that $f$ is convex (concave) in just some of the $n$ variables, not all. In general, if one wants to prove that a…
Anna D.
  • 525
0
votes
2 answers

Is the Legendre transform connected to identity in any sense

Is the Legendre transform connected to identity in any sense? Is there a "good" way to interpolate continuously between a convex function and its Legendre transform in the sense that $\gamma: [0,1] \rightarrow \{ \text{mappings of convex functions…
dan-ros
  • 179
0
votes
5 answers

What do the coefficients $\lambda$ and $1- \lambda$ represent in the convexity condition of $f$?

I am trying to understand why the formulation $\lambda f(x_1)+(1-\lambda)f(x_2)$ should be greater than $f[\lambda x_1+(1-\lambda)x_2]$ and what does it mean geometrically. Convexity condition of $f$: $$f[\lambda x_1+(1-\lambda)x_2]\leq\lambda…
0
votes
1 answer

Is the following function convex F(t;C) in C. Where $F(t;C) = {\exp({\sum_{k = 0}^p {{C_k}\cos (2\pi tk)} })}$

Prove that the following function is convex F(t;C) in C. Where $F(t;C) = \frac{1}{{{e^{\sum\limits_{k = 0}^p {{C_k}\cos (2\pi tk)} }}}}$ and $ - \frac{1}{2} \le t \le \frac{1}{2}$. I tried the convexity definition assuming the domain set is a…
Jordan
  • 1
0
votes
1 answer

Convex functions - multi variables

I have $ x_1,x_2,..,x_n\in\left[0,1\right] $. Suppose $ x=(x_1,x_2,..,x_n), F(x,i,j,\epsilon)=g(x_1,...,x_i+\epsilon,...,x_j-\epsilon,..,x_n) $ . We know that $F$ is convex with respect to $\epsilon$. How do you show that $F(x,i,j,\epsilon)\geq…
Shmoopy
  • 325
0
votes
0 answers

What is the support function of a convex set in $\mathbb{C}$?

Question: How is the supporting function of a convex set on $\mathbb{C}$, or $\mathbb{C}^n$, defined? I seem to not be able to find anything on this. Wikipedia has the case for $\mathbb{R}^n$, but so far I haven't come across anything for sets of…
Plue
  • 149
0
votes
1 answer

Show that the support of a solution of $Ax=b$ is closed and convex

For a vector $x \in \mathbb{R}^n$, the index set $\text{supp}(x):=\{i \mid x_i \neq 0\}$ is called the support of $x$. Suppose a nonzero matrix $A \in \mathbb{R}^{m \times n}$ and a nonzero vector $b \in \mathbb{R}^m$ are such that the equation…
user494522
0
votes
1 answer

A natural concave function

Let $\mathcal{S}$ denote a compact, convex set, $\mathcal{B}$ be it's boundary and $\mathcal{D}(.,.)$ a convex symmetric distance defined on it. i.e. $$\mathcal{D}(x,y)=\mathcal{D}(y,x)$$ and $$\mathcal{D}(x, \lambda…
K. Sadri
  • 929