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
2 answers

How to check whether a given inequality is convex?

I have the inequality $$x_1^2+x_2^2\geqslant1$$ How do I check its convexity analytically?
1
vote
2 answers

Prove that a nest of sets has an empty intersection

Let $f$ be a real convex function and $S$ an arbitrary closed bounded subset of the relative interior of the effective domain of $f$. Let $B$ be a closed Euclidean unit ball. The nest of sets $$(S + \varepsilon B) \cap (\mathbb{R}^n \backslash…
1
vote
0 answers

Does the (strict) concavity of a function depends on the space in which we consider it?

For instance, $f(x)=\sqrt{x}$ is clearly strictly concave in $\mathbb{R}_+$ but if we consider that function in two dimensions, i.e. $f(x,y)=\sqrt{x}$ with $(x,y)\in\mathbb{R}^2_+$, it seems that it is not strictly concave anymore. I.e, for any two…
user_lambda
  • 1,398
1
vote
1 answer

Show that $f$ is convex if and only if $f\left( \sum_{i=1}^m\lambda_ix_i \right) \leq \sum_{i=1}^m\lambda_if(x_i)$

I need to prove the following statement Let $S \subset \mathbb{R}^n$ a nonempty convex set and $f: S \to \mathbb{R}$. Then $f$ is convex in $S$ if and only if $f\left( \sum_{i=1}^m\lambda_ix_i \right) \leq \sum_{i=1}^m\lambda_if(x_i)$ for al $m \in…
user313212
  • 2,176
1
vote
1 answer

Are odd functions that are concave and increasing everywhere necessarily linear?

The title gives away pretty much the entire question except for the fact that the class of functions I am interested in is a subset of twice continuously differentiable functions. I think that if an odd function (defined on the whole real line) is…
Calculon
  • 5,725
1
vote
1 answer

Proving convexity from 2-dimensional convexity

I have a function $f(x_1,x_2,\ldots,x_m):\mathbb{R}^m\rightarrow \mathbb{R}$ ($m\geq 2$) that is jointly convex in $x_i$ and $x_j$ for all $i$ and $j$. Can I prove that this function is convex in $\mathbb{R}^m$? Thanks for any help!
Alt
  • 2,592
1
vote
0 answers

How to say $\text {log}\ \ a^{-1} \geq 1-a$ from the concavity of $\text{log}(\cdot)$

I am reading a paper and confront the following small trick: $\text {log}\ \ a^{-1} \geq 1-a$, where $0\leq a \leq1$. By the concavity of $\text{log}(\cdot)$. From the formula: $f(\alpha x_1+(1-\alpha)x_2)\geq \alpha…
sleeve chen
  • 8,281
1
vote
1 answer

Convexity of $f(x,y)=\frac{x}{y^2}$

I would like to ask the convexity of function $$f(x,y)=\frac{x}{y^2}$$ where $x\geqslant0, y>0$. Since $f(x,y)$ is differentiable but not twice differentiable, I used the first order condition and…
Dylan Lan
  • 327
  • 1
  • 2
  • 9
1
vote
1 answer

Is the following function convex?

Consider $1\le p,q < \infty , t\in \mathbb R , f,g>0$ then is $g(x)^q[f^pg^{-q} (x)]^t$ convex in the following context? Thanks for help .
Theorem
  • 7,979
1
vote
2 answers

Some equivalences for convex sets

For a subset $A\subset V$ of a vector space over $\mathbb{R}$, let $\mbox{conv}(A) := \left\{ \sum_{i=1}^n a_i x_i\, \middle| \,x_i\in A, a_i \ge 0\text{ with } \sum_{i=1}^n a_i = 1 \right\}$. I want to show that if for all $x,y\in A$ and…
Sh4pe
  • 2,120
1
vote
0 answers

Proof that $\nabla f(x) = \nabla f(y)$ if and only if $x = y$

Trying to tackling a convexity problem. Let $f(x)$ be a real-valued differentiable function on $R^n$. If $f(x)$ is strictly convex, prove that $\nabla f(x) = \nabla f(y)$ if and only if $x = y$.
1
vote
0 answers

Approximating disjoint convex sets by subsets with positive separation

If $A$ and $B$ are disjoint convex sets, is it possible to write $A=\bigcup_{n\in\mathbb{N}}A_n$ where: 1) each $A_n$ is a convex set and 2) The distance between $A_n$ and $B$, $d(A_n, B)=\inf\{\|x-y\|:x\in A_n, y\in B\}$ is greater than zero for…
Justin
  • 139
1
vote
1 answer

If $y\in C$ then $||x-y||>||y-z||$.

I'm trying to prove the Separating Hyperplane Theorem. Let $C\subset \mathbb{R}^n$ be a closed and convex set, and $x\not \in C$. Then there exists $d\in \mathbb{R}^n$ and $\delta\in \mathbb{R}$ such that $$\langle d,x\rangle <\delta<\langle…
1
vote
1 answer

I dont't understand a proof for the second-order condition for convexity

I find a proof [here] (http://mathhelpforum.com/advanced-math-topics/129503-second-order-condition-convexity.html). But I don't understand the second part. For example, what does it mean to say For the converse, if f is convex, then certain…
1
vote
1 answer

Convex function and local extrema problem

Let $f$ be twice differentiable and strictly convex on $[a,b]$. Assume also that at a point $x_0 \in (a,b)$ the derivative $f'(x_0) = 0$. Show that $x_0$ must be a strict local minimum. I find that when $xx_0, f'>0$. So if I…
ash
  • 11