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

Difficulties to prove that a function is convex

Is the positive function $f(x) = \frac{{{x^D}}}{{x - A}}$ defined in $]A, + \infty[$ with $A \ge 1$ and $D > 1$ a convex function for all these $A$ and $D$ ? I think so but I have a hard time proving it. Thanks.
1
vote
2 answers

infimum over function

I have a question regarding the following solution, which seems to be wrong but I don't know why exactly. Suppose we have the problem: $$\inf_x \left\{ \frac{1}{2}e\|x\|^2_2-\langle m,x\rangle\right\}$$ for positive scalar $e$ and vectors…
swissy
  • 91
  • 1
  • 11
1
vote
1 answer

Taking derivatives inside of $\inf$

For convex $f$, I am to show that $$g(x) \equiv \inf_{\alpha \gt 0} \frac{f(\alpha x)}{\alpha}$$ is convex.1 The given answer recasts $g$ as a perspective transformation of $f$. But I used the following approach instead: $$\begin{align} g(x) & =…
Max
  • 1,257
1
vote
2 answers

How to prove convexity of $S=\{ (x_{1},x_{2}):x_{1}^2+x_{2}^2\leq1 \}$

$$S_{1}=\{ (x_{1},x_{2}):x_{1}^2+x_{2}^2\leq 1 \}$$ I cant solve trying with an alpha value $\in[0,1]$ by two dummy vectors. Please can anyone tell me how to prove it is not convex set ? what I tried is Defined two vectors $$a=(a_{1},a_{2})\in…
Samet Sökel
  • 115
  • 5
1
vote
1 answer

Proving a function to be L-smooth

I have a following question about proving the L-smoothness of a function: Let f: $\mathbb{R}^d\rightarrow\mathbb{R}$ be a differentiable function, and for any $x,y\in\mathbb{R}^d$, the following inequality holds: $$\frac{1}{2L}\|\nabla f(x)-\nabla…
Kufscrow
  • 325
1
vote
1 answer

Show that the product of two convex functions $f,g$ is convex, when both $f,g$ are positive and nondecreasing

From Boyd & Vandenberghe, Convex Optimization Ex. 3.32 (a) If $f$ and $g$ are convex, both nondecreasing (or nonincreasing), and positive functions on an interval, then $fg$ is convex. Related: $f, g$ are convex and positive $\Rightarrow f(x)g(y)$…
1
vote
0 answers

How does the closest point change with respect to variation of the set

Consider a one-parameter family of convex bodies $\Sigma_\varepsilon$ in $\mathbb{R}^n$, $-1 < \varepsilon < 1$. Let $z$ be a point not contained in $\Sigma_0$, and let $\pi^{\Sigma_\varepsilon}(z)$ be the unique point in $\Sigma_\varepsilon$…
nowhere
  • 1,056
1
vote
0 answers

Convexity of $\operatorname{tr}(ABA^{\top})$

Let $A$ be such that $\operatorname{det}A > 0$ and $B$ be symmetric positive definite matrix. Is it then true that $$f(A, B) = \operatorname{tr}(ABA^{\top})$$ is a jointly convex function in $(A, B)$? I'm familiar with the paper of Elliott Lieb but…
1
vote
1 answer

Relation about Gateaux differentiable and differentiable

Assume there is a multivariable function $f:\mathbb{R}^n\to\mathbb{R}$. I want to know the relation between Gateaux differentiable and differentiable. That is, if $f$ is differentiable, is it Gateaux differentiable? If $f$ is Gateaux differentiable,…
Zhou Heng
  • 553
1
vote
1 answer

Extreme points and positive linear combinations

Let $C$ be a non-empty convex subset of $\mathbb{R}^n$. We say that $x\in C$ is a extreme point of $C$ if for every $z,y\in C$ and $t\in [0,1]$ such that $x=ty+(1-t)z$ we have $x=z$ or $x=y$. Or equivalently, if for every $z,y\in C$ and $t\in…
user73564
  • 569
1
vote
1 answer

How to show the concavity of a function with an undefined point?

Look at this function: $f(x)=\left\{\begin{array}{ll} \frac{x(1-x^2)}{1-x^3}\\ 2/3 \end{array}\right.$. Here $2/3=\lim_{x\to1}\frac{x(1-x^2)}{1-x^3}$. I can show that the second derivative of $\frac{x(1-x^2)}{1-x^3}$ is non-positive for $0\leq x<1$…
Kaka
  • 81
  • 7
1
vote
2 answers

$A$ is convex if and only if $\frac{x}{2}+\frac{y}{2} \in A$ for any $x,y \in A$

I'm doing an exercise in a lecture note Let $A$ be a non-empty set of $\mathbb{R}^{n}$. Show that $A$ is convex if and only if $\frac{x}{2}+\frac{y}{2} \in A$ for any $x,y \in A$. I feel that this maybe not true. I construct a counter-example as…
Akira
  • 17,367
1
vote
1 answer

Are open sets locally simplicial?

So I read parts of Rockafellar's "Convex Analysis". When introducing "locally simplicial" sets, all the examples stated are convex sets, yet he mentions that they do not need to be convex. I wonder whether all open sets in $\mathbb{R}^n$ are locally…
1
vote
1 answer

Convexity of $g(x)$ when $f(x)=g(x)^2$ is convex.

I am reading a paper, in which the authors said that For given $0<\theta_{min}<\theta<\frac{\pi}{2}$, $h>0$, and $d>0$, a function $f(x)$ is defined as $$f(x)=g(x)^2=d^2+h^2+x^2-2dx\cos(\theta)+2hx\sin(\theta).$$ Since the second derivative of $f$…
Danny_Kim
  • 3,423
1
vote
2 answers

Example of a non-convex function with convex sublevel sets

I was reading the Wikipedia article about Convex Functions 1. The article states that: However, a function whose sublevel sets are convex sets may fail to be a convex function. However, I have trouble imagining a function like this. Can anyone…