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
1 answer

Is this a convext set?

Is this one a convex set? how to prove it? I failed to prove it through the definition of convex set. Thank you. $$\left\{(x_1,x_2)\mid\sqrt{x_1^2+x_2^2}+|x_1|+|x_2|\le 1\right\}$$
1
vote
4 answers

Average in an open set, does it imply convexity?

Let $C$ be an open subset of $\mathbb{R}^n$. If for all $a,b \in C$, $(a+b)/2 \in C$, then prove that $C$ is convex.
Pagol
  • 364
1
vote
1 answer

How to prove a corollary of this theorem about affine hull?

$\newcommand{\span}{\operatorname{span}}$ $\newcommand{\aff}{\operatorname{aff}}$ Thm: Let $S\subseteq \mathbf{R}^n$. Then for any $m\in \aff S $ (in particular, for any $m\in S$) $\aff S=\left\{ m \right\}+ \span(S-S)$ Cor:Let $S\subseteq…
user64066
  • 2,480
1
vote
0 answers

norm-to-weak* usc of the subdifferential of continous convex function

I am looking at the proof of Proposition 2.5. from Convex Functions, Monotone Operators and Differentiability, which asserts that the subdifferntial map $x \to \partial f(x)$ of a continous convex function $f: D\to \mathbb R$ on Banach ($D \subset…
Petar
  • 330
1
vote
0 answers

Is distance between element and set is convex function

Let $K \subset \mathbb{R}^2$ is closed convex set. Is $f(x) = \rho(x, K) = \min\limits_{k \in K}\rho(x,k)$ is also convex function? I know that without the convexity assumption, this is not true. I can only prove reverse statement: if function $f$…
LightM
  • 61
1
vote
1 answer

Show the convexity of the following function

Let $u \in X$, let $G$ be a Eucildean space and let $L:X \to G$ be a linear operator. Show that convexity of the following function: $h(x)=\begin{cases} -\sqrt{|\langle x, u \rangle|^2 - \lVert Lx \rVert^2}, & \text{if } \langle x, u \rangle > 0…
lone_wolf
  • 175
1
vote
0 answers

Does the Kachurovskii's theorem characterize monotone operators?

I'm interested in the Kachurovskii's theorem in the Euclidean case: Let $m \ge 1$ be an integer and let $g: \mathbb{R}^m \to \mathbb{R}^m$ be a function that is an increasing monotone operator, i.e., $$(g(x) - g(y))^\top (x-y) \ge 0$$ for all $x, y…
beeflavor
  • 881
1
vote
0 answers

Convex conjugate of sum of a convex function and an indicator

Let $X$ be some topological vector space with dual $X^*$. Let $f$ be a proper convex function from $X$ to the extended reals, and let $1_C$ denote the indicator function for some convex set $C$. Is there a nice general expression for $(f+1_C)^*$,…
1
vote
2 answers

$f: \mathbb R^n \rightarrow \mathbb R$ is concave if and only if $\lambda \mapsto f(\lambda x + (1 - \lambda)y)$ is a concave map

I'm not sure I properly understand how the below question is being posed. This is a question asked following lectures on linear operators and concavity, for context. To repeat, not looking for an answer, just help in understanding what's being asked…
1
vote
2 answers

Can a closed convex cone not containing a line passing through the origin contain a line?

Suppose that $K$ is a closed convex cone in $\mathbb{R}^n$. We know that $K$ does not contain any line passing through the origin; that is, $K \cap -K = \{0\} $. Does it imply that $K$ does not contain any line of the form $x_{0} +…
Yez
  • 143
  • 7
1
vote
1 answer

$g$ - Convex function

For $x>0$, let $y=f(x)$ be a function satisfying $f'''(x) \geq 0$ (third derivative). Prove that $g(x)=\dfrac{f(x)-f(2m-x)}{x-m}$ is a convex function on $(0;m)$, where $m>0$. I take the second derivative as follows: $$ g^{\prime…
1
vote
0 answers

Is the function $(x,y) \mapsto \frac{x}{y}$ convex in the region $x,y>0$?

Is the function $f(x,y) = \frac{x}{y}$ convex in the region $x, y > 0$? I think the Hessian matrix is not positive semidefinite and the function is not convex as well: \begin{equation} H =\begin{bmatrix} 0 & -\frac{1}{y^2} \\ -\frac{1}{y^2} …
alireza
  • 205
  • 1
  • 7
1
vote
0 answers

convex set radially on a sphere ball

Suppose that $C$ is a convex set such that $0\in C\subset\mathbb{R}^n$ and $$\forall x\in \mathbb{R}^n\backslash\{0\},\exists\{x_k\}_k\subset C\text{ s.t. }\lim_{k\to\infty} \frac{x_k}{\|x_k\|}=\frac{x}{\|x\|}$$ The question is whether it can be…
1
vote
1 answer

Check the function for convexity

I am currently trying to complete my optimisation methods assignment. I have a function $$f(x,y) = \left(y - x^2\right)^2 + (1-x)^2$$ and I need to check it for convexity. I have found the Hessian matrix $$ H = \begin{pmatrix} 12x^2 - 4y + 2 & -4x…
zenitsu
  • 13
1
vote
1 answer

A convex function with a Lipschitz continuous always has a strong convex conjugate function.

A smooth convex functions with $C^1$ has not always a Lipschitz continuous gradient. Please see the answer. If $F$ is convex and has a Lipschitz continuous gradient with modulus L, then $F^*$ is $1/L$-strongly convex.
Vivian
  • 583