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

Bounded convex function over convex set is constant

I'm trying to solve the following problem I found in a convex analysis book but I don't know how to proceed: Let $f: C \longrightarrow \mathbb{R}$ be a convex function over the convex set $C \subset \mathbb{R}^n$: If $f$ is bounded above on $C$…
Eparoh
  • 1,275
0
votes
1 answer

Question about conjugate functions: $f^*(u+v)=f^*(v)$

if we have $f: \mathbb{R}^n \longrightarrow \bar{\mathbb{R}}$ we define its conjugate as the function $f^*: \mathbb{R}^n \longrightarrow \bar{\mathbb{R}}$ given by $$f^*(u)=\sup_{x \in \mathbb{R}^n}\{u'x-f(x)\}$$ My question is if given $u, v \in…
Eparoh
  • 1,275
0
votes
1 answer

Is the multi variable function convex when it is convex for all of it's arguments?

Let $f=f(x,y)\in C^1(\Omega)$ for some convex domain $\Omega\in\mathbb{R}^2$. Suppose $x\mapsto f(x,y)$ is convex $\forall y$ possible and $y\mapsto f(x,y)$ is also convex $\forall x$ possible. Is $f$ convex on $\Omega$? I think it is not true, but…
0
votes
1 answer

How can I prove the function is convex?

how can I determine if the conditioned function is convex? If so, how can I prove it? The function is $$ f(x,y)=\frac{x^2}{y^2}+y^2,\\y\geq\sqrt{x}\quad\text {and} \quad x>0, $$ That's the question, I can't tell if it's convex.[![function figure…
Jack
  • 45
0
votes
1 answer

Prove $S = (S^\circ)^\circ$

$S$ is a closed and convex subset of $\mathbb{R}^n$ with $0 \in S$; $$S^\circ := \left\{ x \in \mathbb{R}^n : \sum_{i=1}^{n}{x_i s_i} \leq 1, \quad \forall s \in S \right\}$$ Prove that $S = (S^\circ)^\circ$. I am stuck on this problem. My…
sednes
  • 3
  • 1
0
votes
1 answer

Concavity of $x \rightarrow \sqrt{f(x)g(x)}$ with $f,g$ concave and positive

I want determine whether the following function is concave: $f,g: R^n \rightarrow R, x \rightarrow \sqrt{f(x)g(x)} $ $f,g $ are concave and positive I due to the definition of concavity I know: $ \sqrt{f(\lambda x + (1- \lambda)y) \cdot g(\lambda x…
0
votes
0 answers

A counterexample for Polar Calculus in J. M. Borwein A. S Lewis book P70 Q8 (b)

The question is: Suppose P is a cone in E and C is a compact and convex set of a Euclidean space $Y$. $K$ is a cone in $E \times Y$. Prove: $$ (K\cap (P \times C))^{\circ} = (K\cap (P \times C^{\circ \circ}))^\circ $$ where $C^\circ=\{y|y^T x≤1$…
Zhang
  • 1
0
votes
1 answer

Convexity and lower semi-continuity

Let : $f : [0,1] \rightarrow (0,\infty)$ continuous function. For all $x \in [0,1]$ define $$ \Lambda(x) = log \int_{0}^{1} e^{xy}f(y)dy,~~ \Lambda^{*}=sup_{z \in [0,1]}~(xz-\Lambda(z)).$$ (a)Prove that both $\Lambda $ and $\Lambda^{*}$ are convex…
fivestar
  • 919
0
votes
1 answer

Find the extremal points of $\{x \in \mathbb{R}^n \mid \sum_{i=1}^n \lvert x_i \rvert \le 1\}$

I am working on the following exercise: Find the extremal points of $K_1 := \{x \in \mathbb{R}^n \mid \sum_{i=1}^n \lvert x_i \rvert \le 1\}$ I have shown that $K_1$ is convex and that the following set is extremal: $$M_{K_1} := \biggl\{ \pm e_i…
3nondatur
  • 4,178
0
votes
1 answer

Show that $\lim_{x\rightarrow\infty} f(x) = \infty$ if $f$ is a convex function such that $ \lim_{x\rightarrow -\infty}f(x) = −\infty$

I need to prove the theorem Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a convex function such that $ \lim_{x\rightarrow -\infty}f(x) = −\infty$. Show that $\lim_{x\rightarrow\infty} f(x) = \infty$ I can see clearly why this must hold by…
0
votes
0 answers

Prove that sum of multiple variable convex function is also convex

Suppose I have a multiple variable function $f(X,Y) = \sum_i \sum_j k_{ij} g(x_i,y_j) + \sum_j h(y_j)$ where $X = \{x_i\}$ and $Y = \{y_j\}$. $k_{ij}$ is a non-negative constant. I want to show whether $f(X,Y)$ is convex. It is difficult to directly…
JYY
  • 169
0
votes
0 answers

Convexity of a set of constraints

Given the equations $||x||_2=1$, $\sum_{i=1}^n x_iy_i=0$ and some of the $y_i$ values sum to zero, e.g., $y_5+y_3+y_2=0$ is it possible to prove that the set $$\mathcal{Y} = \{ y~|~ ||x||_2=1, \sum_{i=1}^n x_iy_i=0, \sum_{i\in\{5,3,2\}}y_i=0\}$$ is…
Thoth
  • 863
0
votes
1 answer

In-radius of a convex set with prescribed volume

Assume you have an $n$ - dimensional convex body $C$ with prescribed volume $V$. Let $diam(C)$ be the diameter of $C$. Is there an inequality relating the in-radius of $C$ with these quantities?
guest61
  • 123
0
votes
0 answers

How to determine the convexity of a function with restriction?

Suppose I have a function $f(x)=||Ax-b||_2^2$. So, its hessian is as follows $\nabla^2(x)=2A^TA$ which is positive definite if $A\ge0$ which means $f(x)$ is convex. But how to determine its convexity if there is additional restriction like $f(x) =…
0
votes
0 answers

for un-convex f we have $epi\,g =conv \,epi f$ for any convex function like $p(x)$ that $f(x)\ge p(x)$ do we have $g(x)\ge p(x)$?

$f(x)$ is un-convex and we have $g(x)$ that $$epi \ g =conv \ epi \ f$$ for any convex function like $p(x)$ that $f(x)\ge p(x)$ prove that $$g(x)\ge p(x)$$
Reza
  • 25