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

Is $xy\leq z$ or $xy\geq z$ quasi convex or quasi concave in some infinite subset of $\mathbb R_{\geq 0}^3$?

Is $xy\leq z$ or $xy\geq z$ quasi convex in some infinite subset with positive measure of $\mathbb R_{\geq 0}^3$? If not is it quasi-concave in some infinite subset with positive measure of $\mathbb R_{\geq 0}^3$?
Turbo
  • 6,221
0
votes
1 answer

Intersection between two convex functions with some specific properties

Given two strictly concave, strictly increasing and everywhere derivable functions $f,g: \mathbb{R}^+_0 \to [0,1]$ where $f(0)=g(0)=0$ and $$\lim_{x\to\infty} f(x)=\lim_{x\to\infty} g(x)=1$$ Excluding $x=0$, what is the maximum number of the other…
Fili7.5
  • 3
  • 2
0
votes
1 answer

Is $f(x,y) = x - y$ convex?

I know that linear functions are both convex and concave, except the negative summation does not uphold the convexity. Due to this fact, is it safe to assume that $f(x,y) = x-y$ is not convex?
0
votes
0 answers

Proof that $M$ is a convex set

I need a help with proving that M is a convex set: $$M = \{x = (x_1, x_2)^T \mid xa^T ≥ b, x_1 \geqslant 0\}$$ I know the definition of convexity. I tried to apply this to this set but I don't know how to prove so that it works... Thanks in advance…
0
votes
1 answer

Computing the Fenchel Conjugate of $f(x) = -\sqrt{a^{2} - x^{2}}$

I am trying to learn some convex anaylsis and have just met the concept of Fenchel Conjugates in Rockafellar's book. On page 106 in the section titled "Duality Correspondences" he gives the following example of a function and its conjugate $$ f(x) =…
0
votes
2 answers

Need help understanding the scaling properties of the Legendre transformation

At the wikipedia page for the Legendre transformation, there is a section on scaling properties where it says $$ f(x)=ag(x) \rightarrow f^{\star}(p)=ag^{\star}(p/a)$$ and $$ f(x) = g(ax) \rightarrow f^{\star}(p) = g^{\star}(p/a)$$ where…
ben
  • 2,155
0
votes
1 answer

For a convex problem $\min_x f(x) + g(x) $, KKT point $x^*$ satisfies $0 \in \nabla f(x^*) + \partial g(x^*) $

Apologies for a basic question. For a convex problem $$\min_x f(x) + g(x) ,$$ where assuming $f(x)$ is differentiable with $m$-Lipschitz continuous gradient, while $g(x)$ is closed convex proper. Then, KKT point $x^*$ satisfies $$0 \in \nabla…
learning
  • 661
0
votes
0 answers

How to draw the conic hull (i.e., geometry interpretation)?

Recently, I am learning the optimization project and I have encountered the concept of conic hull. As the picture shows, the literal interpretation is clear, but I want to know what's the meaning of the two pictures that in the bottom. Do they…
0
votes
0 answers

What does "$R_{++}$" mean in "$x \log(x)$ is convex function either on $R_{++}$ or on $R_{+}$"?

$x \log(x)$ is convex function either on $R_{++}$ or on $R_{+}$. $R_{+}$ is a common symbol that I know, but I don't know what $R_{++}$ is referring to.
0
votes
1 answer

The sum of vector and convex functions (of several variables) is convex?

Let consider two convex and vector functions of several variables $f:\mathbb{R}^n \rightarrow \mathbb{R}^m$ and $g:\mathbb{R}^n \rightarrow \mathbb{R}^m$. Somebody can suggest me a reference where I can find the proof that $f + g$ is also…
Ana
  • 63
0
votes
2 answers

Proof about concave functions

Let $f(x)$ be an increasing, strictly concave function with $f(0)=0$. I have to show that given $x
Alessandro
  • 169
  • 1
  • 1
  • 8
0
votes
0 answers

$\sup$ of a family of convex functions is convex?

I am trying to understand a step in this proof. Let $\{f_j\}_{j \in J}$ be an arbitrary family of convex functions: $f_j: X \to \mathbb{R}$ where $X \subseteq \mathbb{R}^n $ is convex. Show that $f(x):= \sup\{f_j(x)| \; j\in J\}$ is…
0
votes
0 answers

Convexity of set defined by quadratic inequality

I'm very confused on the following two-part question. Part a) requires just some small clarification, I think, but I'm a bit more lost on part b). We have $C \subseteq \mathbb{R}^n$ defined by $$C := \left\{ x \in \mathbb{R}^n : x^TAx + b^Tx + c…
Aux
  • 11
0
votes
1 answer

Rockafellar theorem 7.4 - Agreement of cl f with f within the relative interior of dom f

I am trying to make sense of Theorem 7.4 in Rockafellar's "Convex Analysis" After applying lemma 7.3, Rockafellar uses Corollary 6.5.1 to establish equality between three intersections. I understand that the first equality comes directly from…
0
votes
0 answers

Prove or disprove: $\big\{\sum_{i=1}^n x_i^2 = 1\big\}$ is convex.

I have to prove or disprove that $$ \left\{x \in \Bbb R^n : \sum_{i=1}^n x_i^2 = 1\right\}\text{ is convex.} $$ I already know that it is not convex, so a disprove is the right way. I know that I gotta use the following for a prove: $$ \text{A…