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

Is the norm of the gradient of a convex function convex (or any convex relaxations of it)?

Given convex set $\mathcal{X}$ and convex function $f : \mathcal{X} \to \mathcal{Y},\; x \mapsto y$ for , is the $p$-norm of the gradient function $\|\nabla f(x)\|_p$ convex in $x$? Does there exist a closed form convex relaxation for $\|\nabla…
2
votes
1 answer

Proof that $f^{**}=f$ for almost everywhere differentiable $f$, where $f^*$ is the Legendre transform

Let $D\subset\mathbb R^n$ be a convex set and let $f\colon D\to\mathbb{R}$ be a convex function. $f^*$ denotes the Legendre transformation of $f$. If $f$ is doubly differentiable, $f=f^{**}$ (there's a proof on Wikipedia). Problem: In thermodynamics…
Filippo
  • 3,536
2
votes
1 answer

For $C$ open, bounded, and convex, is it true that $x+r C\subset x + 3rC$, $x\in \mathbb R^d, r>0$?

I have a question regarding transformations of convex sets. Given an open, bounded and convex set $C$, is it true that $$ x+r C\subset x + 3rC \qquad x\in \mathbb R^d, \ r>0 \quad? $$ The reason I am asking is that the set $(x - a, x + a)$ is…
Mikosch
  • 191
2
votes
2 answers

How can we prove that $3-(x^2+y^2)$ is concave?

Since we can't use the same method to differentiate a function twice since it's not a linear function, how can one prove that this function is convex or concave? I checked the graph of this function on wolfram and it's concave. I tried this but it…
2
votes
2 answers

Local characterization for convex $C^1$ functions

Let $f:\mathbb R^n\to \mathbb R$ be $C^1$ and satisfy following condition: For every $x\in\mathbb R^n$ there exists some $\varepsilon_x > 0$ such that for every $y$ with $\|y - x\| < \varepsilon_x$ it follows $$ f(y) \ge f(x) + \nabla f(x)^T (y -…
user251257
  • 9,229
2
votes
1 answer

Are these two function convex?

Screenshot here $$f(x)=\left\{\begin{array}{ll}x \log x, & x>0 \\ 1, & x=0\end{array}\right. \\ f(x)=\left\{\begin{array}{c}x^{2}, \qquad x \geq 0 \\ 1+x^{2}, \quad x<0\end{array}\right.$$ first func is for $x\geq 0$ second func is for any $x$ How…
Adar
  • 31
2
votes
1 answer

Lengendre-Fenchel transform of infimal convolution

Wikipedia states the following interesting fact about the Lengendre-Fenchel transform: Define the infimal convolution of two functions as $$ (f\square g)(x) = \inf_y\big\{f(x-y) + g(y)\big\} $$ Then, with certain caveats listed below, the…
N. Virgo
  • 7,182
2
votes
1 answer

Proof of $Ax = b, x \ge 0$ is a closed subset

I'm trying to follow the The Farkas-Minkowski Theorem (Internet Archive) but I'm having a little bit of difficulty. On the second page the author states, Then we consider a set of the form $R_k := \left\{ z \mid z= \sum_{a}^{n} \mu_j a_j , \mu_j…
coderdave
  • 253
2
votes
2 answers

Prove that $\text{aff}(X) = \text{aff}(\text{closure}(X))$

I am trying to prove that the affine hull of a set $X \subseteq \mathbb{R}^d$ is equal to the affine hull of the clojure of that set: $$ \text{aff}(X) = \text{aff}(\text{cl}(X)). $$ Proving $\text{aff}(X) \subseteq \text{aff}(\text{cl}(X))$ is easy,…
ted
  • 1,725
2
votes
1 answer

Prove the concavity of $F(x,y) =\ln(x)+y$ by arguing the definition of concavity.

I need help with this problem. Prove the concavity of $F(x,y) = \ln(x) + y$ by arguing the definition of concavity. A function $f$ is concave is for any $x_0, x_1 \in \mathbb{R}^2$ and $t \in [0,1]$, $$ f((1 - t) x_0 + t x_1) \geq (1 - t) f(x_0) +…
2
votes
1 answer

Convex function on a set is still convex on its closure?

Let $A\subset\mathbb{R}^n$ be a convex set and $f$ be a function defined on $\mathbb{R}^n$. Suppose $f$ is convex on $A$. Is $f$ still convex on the closure of $A$? To add what conditions can we make $f$ convex on the closure of $A$? For example,…
Nate
  • 715
2
votes
1 answer

Rockafellar Theorem 6.5 - Intersection of relative interiors

I am currently reading through Rockafellar's "Convex Analysis" and I am trying to make sense of Theorem 6.5: I understand most of the proof except for why the assumption of a finite index set is required to prove the second statement in the…
2
votes
2 answers

Prove ${\{x \in \mathbb R_{>0}^2 \mid x_1x_2 \ge \alpha \}}$ is a convex set for positive x

Show that ${\{ x \in \mathbb R_{> 0}^2 \mid x_1x_2 \ge \alpha\}}$ is a convex set. Using Jensen's inequality, let $x_1x_2 \ge \alpha$, and $y_1y_2 \ge \alpha$. For all $0 \le \theta \le 1$, $$ \begin{align} (\theta x_1 + (1-\theta)y_1)(\theta x_2…
Rufus
  • 215
2
votes
1 answer

Is $g(x_1, x_2) = (\alpha - x_1)^2 + (\max \{\alpha, x_1\} + \beta - x_2)^2$ convex?

Let $\alpha \geq 0$ and $\beta \geq 0$. Can we prove or disprove the following function is convex on $x_2 \geq x_1 \geq 0$? $$ g(x_1, x_2) = (\alpha - x_1)^2 + (\max \{\alpha, x_1\} + \beta - x_2)^2 $$ My Approach: It is clear that the function…
2
votes
2 answers

Can anyone prove this function is concave?

Can anyone help me prove the following function $$f(x) = \frac{ax}{1-x^a}-\frac{x}{1-x}$$ is concave for any parameter $a \geq 1$ when $0
Lelouch
  • 25