# Questions tagged [convex-analysis]

The convex-analysis tag has no usage guidance.

408
questions

4
votes

0
answers

131
views

### Generalized Jensen's inequality for positively homogeneous functions

The function $f:V \to \hat{\mathbb{R}}$ is said to be positively homogeneous iff $f(\alpha v) = \alpha f(v)$ for every $\alpha \in \mathbb{R}_{++}$. Here $V$ is a real vector space and $\hat{\mathbb{R}...

2
votes

1
answer

94
views

### Convex series and closed convex hulls in normed spaces

Let $(X, \lVert \cdot \rVert)$ be a normed space over $\mathbb{R}$ and $A = \{ a_1,a_2 \ldots \} \subseteq X$ be a closed bounded set.
Let $\overline{\mathrm{co}}(A)$ denote the closed convex hull of ...

3
votes

0
answers

86
views

### Does smoothing a non-log-concave distribution make it more log-concave?

Suppose that $p$ is a density on $\mathbb{R}^d$ that is $C^2$ and nonzero everywhere, and such that the Hessian of its negative logarithm is lower bounded:
$$-\nabla^2 \ln p\succeq L$$
for some matrix ...

2
votes

0
answers

31
views

### Convex optimization over compact sets defined as Aumann set-valued integrals

Let $(X,P)$ be a probability measure space. Let $K$ be a convex compact subset of $\mathbb R^d$ and let $F:X \to 2^{K}$ be a set-valued map. Assume that $F$ is:
closed (i.e $F(x)$ is closed for ...

2
votes

1
answer

93
views

### Multivariate inequality of floor function

Define $$f(x,a) := (2x-a)\lfloor\frac{x}{a}\rfloor-a\lfloor\frac{x}{a}\rfloor^2.$$
It seems that $$f(x,a)+f(x,b)\geq 2f(x,c),\forall a,b \in [1,x],a+b=2c.$$
I have written a program that has checked ...

1
vote

0
answers

26
views

### Support functions for subset and superset

I have an ellipse $\mathcal{E} = \{x^TAx = 1\}$, and I have a connected subset of an ellipse $U\subset \mathcal{E}$
For a given $\theta$ let $x_U^*(\theta) = \arg \sup\{\langle x,\theta\rangle, x\in ...

1
vote

0
answers

16
views

### Convex body with prescribed normals (i.e. the Gauss map of the boundary)

Let $\mathbf{S}$ be the unit Euclidean sphere in $\mathbf{R}^n$. I write $u \bullet v$ for the scalar product of two vectors and $A \sim B$ for the set-theoretic difference of sets.
Assume $g : \...

2
votes

0
answers

87
views

### Convergence in Hausdorff distance of intersection of closed linear subspaces with a given closed convex set

I've run into the following problem when doing some work with non-commutative metric spaces, which seems like something people may have thought about before but I can't find anything on this problem ...

1
vote

0
answers

54
views

### Maximizing a parametric integral over the unit sphere

I am trying to compute the nonnegative quantity
$$
\underset{y\in\mathbb{S}^{d-1}}{\sup}\int_{0}^{t}(\Vert A(\tau)y\Vert_{1}- \Vert A(\tau)y\Vert_{q})d\tau, \quad 1 < q < \infty
$$
where $\...

0
votes

0
answers

125
views

### Is this function concave? If it is, can we show it in a theoretical way?

Suppose we have a function:
\begin{equation}
\begin{aligned}
f(x_1,x_2,\cdots,x_n)&=\sum\limits_{i=0}^n\frac{(x_i e^{-x_i}-x_{i+1}e^{-x_{i+1}})^2}{e^{-x_i}-e^{-x_{i+1}}}\\
&=\frac{(x_0 e^{-x_0}...

1
vote

2
answers

142
views

### Can we substitute this KKT condition into this optimization problem to reformulate the optimization problem?

Suppose I have the following optimization problem
$$ \min\limits_{\mathbf{x},\mathbf{y}} f(\mathbf{x},\mathbf{y}) \tag{1} $$
It is already known that the target function $f$ is continuous and ...

1
vote

1
answer

125
views

### Is a convex, lower semicontinuous function that is bounded from below, actually continuous?

While thinking about convex functions, I managed to put together the following proof which I find a bit too good to be true. $X$ is a topological vector space that is also a Baire space.
Lemma: Let $f ...

1
vote

1
answer

119
views

### Convex/concave points of a differentiable function

I am wondering about the following question: A strictly convex (concave) differentiable function $f:\mathcal{R}\to\mathcal{R}$ has the geometrical property that its graph lies completely above (below) ...

0
votes

1
answer

94
views

### Estimation via projecting onto a convex body

Assume that $\theta$ is in a convex body $K \in \mathbb{R}^n$ and we observe $y = \theta + z$, where $z$ is a noise term (following, say, the normal distribution). Consider an estimator of $\theta$ by ...

8
votes

1
answer

545
views

### Is the square root of the Kullback-Leibler divergence a convex map?

$\newcommand{\KL}{\operatorname{KL}}$Let $X$ be a Polish metric space and $P(X)$ the space of probability measures on $X$. Given $\mu, \nu\in P(X)$, recall that
$$\KL(\mu\parallel\nu) = \begin{cases}\...

3
votes

1
answer

124
views

### On the convexity of certain set of random vectors

Let ${\cal X}$ be the set of pairs of random variables $(X,Y)$ with finite expectations. For constant $c\in[0,1]$, define set
$$
\{(X,Y)\in{\cal X}:\exists a\geq 0, \, b\geq 0 \text{ such that } E[\...

4
votes

1
answer

232
views

### Which set of functions admits the existence of the minimizer?

Let $a,b \in \mathbb R$ and consider the functional $J$ on $X$:
$$J[u] = \int_0^1 \left( (u'(x))^2 -a)^2 + b \ln (1+ u^2(x))\right) dx$$
Providing reasons specify if the $\inf J$ over $X$ is attained ...

0
votes

0
answers

51
views

### Projection onto a cone followed by a Schur-convex function

Let $Proj_C(x)$ denote the projection of a point $x$ onto a cone $C$. Let $f$ be a Schur-convex function. I'm considering $f(Proj_C(x))$ as a function of $x$.
Are there any conditions on the cone $C$ ...

1
vote

0
answers

24
views

### Sufficient condition for an $n$-tuple to be a convex conjugate

We say $(f_1,f_2,\dotsc,f_N)$ is a convex conjugate if for any $i=1,2,\dotsc,N$ and any $x_i\in\Bbb R^d$, we have:
$$f_i(x_i)=\sup\left\{\sum_{k=1}^{N}\sum_{j=k+1}^N x_k x_j - \sum_{j=1,j\neq i}^N f_j(...

2
votes

1
answer

97
views

### Smoothness of Minkowski functional is equivalent to smoothness of boundary

Let $C\subseteq \mathbb{R}^n$ be a convex body containing $0$ in its interior. I recently read that Minkowski functional of $C$,
$$
f_C(x):=\inf\Big\{t>0:\frac1{t}\cdot x\in C\Big\},
$$
is $C^1$ ...

1
vote

1
answer

174
views

### Proof of extended version of non-random "almost supermartingale"

In this question, a non-random version of "almost supermartingale" theorem is proved.
Here, I would like to extend/apply the non-random version to the slightly different situation. I wonder ...

1
vote

1
answer

67
views

### Sufficient conditions for the boundary unit-normal vector field of a closed convex set to be Lipschitz continuous

This is followup to the following question: On the Lipschitz continuity of the unit-normal vector field of a polytope
Let $C$ be a (nonempty) closed convex subset of $\mathbb R^n$. Note that to every ...

1
vote

1
answer

162
views

### Can we invoke "almost supermartingale" Theorem for deterministic sequences?

Perhaps stupid question.
Question: Can "almost supermartingale" theorem be equally applicable to prove the convergence of some algorithms solving non-random optimization problems?
Attempt ...

2
votes

1
answer

99
views

### On the Lipschitz continuity of $x \mapsto \arg\min_{c \in C}d(x,c)$ w.r.t Hausdorff distance

Let $C$ be a (nonempty) compact subset of euclidean $\mathbb R^n$, and consider the set-valued map $p_C:\mathbb R^n \to 2^C$ defined by
$$
p_C(x) = \{c \in C \mid \|x-c\| = \mbox{dist}(x,C)\},
$$
...

1
vote

1
answer

68
views

### On the Lipschitz continuity of the unit-normal vector field of a polytope

Let $\mu$ be a probability measure on $\mathbb R^n$ and let $P$ be a compact polytope in $\mathbb R^n$. For any $x \in \mathbb R^n \setminus P$, let $p(x) \in P$ be (unique!) point in $P$ which is ...

1
vote

1
answer

96
views

### Conditions for Lipschitzness of boundary normal vector, almost everywhere

Let $C$ be a nonempty closed subset of $\mathbb R^n$. It is known that any such set satisfies the following condition
(Unique CPP a.e). For almost every $x \in \mathbb R^n$, there exists a unique ...

2
votes

0
answers

60
views

### A truncated Frobenius norm of a matrix is convex or not?

Given a positive integer $k$ and a matrix $X\in \mathbb{R}^{m\times n}$. A truncated frobenius norm of a matrix $X$ is defined by
$$\Vert X \Vert_{k,F} = \sqrt{\sum_{i=k+1}^{m} \sigma_i^2(X)},$$
where ...

3
votes

1
answer

180
views

### Well-behaved trajectories

Call trajectory any continuous function $f: \mathbb{R}_{\geq 0} \to \mathbb{R}^n$ (here, $\mathbb{R}_{\geq 0}$ is interpreted as time).
A polyhedral partition of $\mathbb{R}^n$ is a finite set of ...

4
votes

0
answers

151
views

### Legendre-Fenchel transform

Suppose $F:\mathbb R^n\to \mathbb R$ is a convex continuous function.
Moreover, for any $x\in \mathbb R^n$,
$$
\limsup_{\lambda\to\infty} \frac {|F(\lambda x)|}{\lambda}<\infty.
$$
I would like to ...

3
votes

0
answers

65
views

### Projection onto level set of convex functional

Fix a probability space $(\Omega,\mathcal{F},\mathbb{P})$ and let $F:L^2_{\mathbb{P}}(\mathcal{F})\rightarrow (-\infty,\infty]$ be bounded-blow, convex, lower semi-continuous, and not identically ...

4
votes

1
answer

179
views

### On some convergence theorems by Felix E. Browder (1967)

I have been reading Felix E. Browder's Convergence Theorems for Sequence of Nonlinear Operators in Banach Space and I was hoping I could find answers to a couple of questions I have about the paper. ...

1
vote

1
answer

49
views

### Measure of intersection of convex set with hyperplane is concave function

Let $\Omega \subset \mathbb{R}^n$ be convex. We write points of $\mathbb{R}^n$ as $(x_1, x_2, \dots, x_n)$. Set $p(x) = m(\Omega \cap \{x_1 = x\})$, where $m$ is the $n-1$ dimensional Lebesgue measure ...

4
votes

2
answers

263
views

### Convexity of $(X, y) \mapsto y^T X^{-1} y$ [closed]

Let $y \in \mathbb{R}^n$, $X \in \mathcal{S}^n_{++}(\mathbb{R})$. Why would function $ f : (X, y) \mapsto y^T X^{-1} y$ be convex?
I tried with $(X, x) + t.(Y, y)$ with no result. Also, I thought ...

2
votes

1
answer

157
views

### Bounded variation of the partial derivatives of a convex function

Let $f:\mathbb R^2\to\mathbb R$ be a convex function. For simplicity, assume that $f\in C^1$. A general theorem which can be found in the book of Evans and Gariepy says that the gradient $\nabla f$ is ...

1
vote

1
answer

44
views

### Elementary inequality about integrals of exponentials of concave functions (possibly connected to log concave distributions)

I think the following inequality might be true and was hoping somebody might spot it or know a proof:
Suppose $f:\mathbb R\to \mathbb R$ is convex and suitably nice so that
$$\int_{\mathbb R} e^{-f(x)}...

0
votes

0
answers

47
views

### An inequality regarding operator concave function

Crossposted from math.SE
Let $\mathbb P_n$ be the space of all $n \times n$ self-adjoint positive definite matrices. Consider the function $\varphi: \mathbb P_n \longrightarrow \mathbb R$ defined by $...

2
votes

0
answers

91
views

### About Hilbert-Haar theory

The Hilbert-Haar theory says that functionals $\mathcal{F}(u,B)=\int_{B} F(\nabla u)\,dx$, where $F$ is a convex function and $B$ is a bounded domain in $\mathbb{R}^N$, take a minimum in the space of ...

0
votes

1
answer

82
views

### Log-concavity of the modified Bessel function of a second kind

I was searching for some results for the log-concavity of the modified Bessel function of a second type, but I failed. Has there been any known work on this? I am not even sure if it is the modified ...

0
votes

0
answers

40
views

### Subgradients of $|Du|(\Omega)$ and Hodge decomposition in dual spaces of measures

Let $\Omega \subset \mathbb R^d$ be open and bounded.
I have a function $u\in BV(\Omega)$ and a vector field $\mu \in L^\infty(\Omega)^d$ such that $-div\ \mu\in L^2(\Omega)$, and $-div\ \mu$ is in ...

4
votes

0
answers

59
views

### Length of curves on convex hypersurfaces

Let $\gamma\colon[a,b] \to \mathbb{R}^n$ be a smooth curve.
Let $f_i\to f$ be a sequence of convex functions on $\mathbb{R}^n$ converging uniformly on compact subsets to $f$.
Let $\hat\gamma(t):=(\...

1
vote

1
answer

154
views

### How to prove the convexity of a simple function involving a ratio of two polygamma functions?

Let
\begin{equation*}
\Gamma(z)=\int_0^{\infty}t^{z-1}\textrm{e}^{-t}\textrm{d}t, \quad \Re(z)>0
\end{equation*}
and
$$
\psi(z)=[\ln\Gamma(z)]'=\frac{\Gamma'(z)}{\Gamma(z)}.
$$
In the literature, ...

1
vote

1
answer

102
views

### Can the subdifferential become unbounded at interior points?

Consider $f: \mathbb{R}^n \to \overline{\mathbb{R}}$ a lower-semicontinuous, proper, closed and convex. My question is, can the subdifferential of $\partial f$ be unbounded in the interior of $\text{...

2
votes

0
answers

52
views

### Biconjugate of a quasiconvex lower semi-continuous function

Let $f:\mathbb{R}^d \to [0,\infty]$ be a quasiconvex lower semi-continuous function whose effective domain $C:=\{x \in \mathbb{R}^d:f(x) < \infty\}$ is nonempty and bounded (and convex since $f$ is ...

7
votes

1
answer

190
views

### A question on regularity of the Legendre transform

Let $f(x)$ be a strictly convex real-valued $C^{\infty}$ function on an open neighborhood of the origin in $\mathbb R^n$ with
$f (0, \ldots , 0)= \partial_j f(0, \ldots , 0)=0$ for all $j$. If the ...

0
votes

1
answer

121
views

### When is a convex function continuous on its domain?

Consider a lower-semicontinuous convex function $f\colon \mathbb{R}^n \to \mathbb{R}$ with domain $C = \{x \in \mathbb{R}^d: f(x) < \infty\}$. I am interested in understanding under what conditions ...

2
votes

1
answer

129
views

### Analytic expression for the Moreau envelope of $x \mapsto \|Ax\|$

Given an $m \times n$ matrix $A$ and a vector $c \in \mathbb R^n$, define $\eta(A,c) \ge 0$,
$$
\eta(A,c) := \sup_{u \in \mathbb R^n} u^\top c - \frac{1}{2}\|u\|^2 - \|Au\|.
$$
Note that $\eta(A,c) = \...

2
votes

0
answers

130
views

### Convexity of volume in terms of a deformation

In the context of convex optimization and mechanics, I am interested in the convexity of the potential energy $U$ of a pressure acting over some volume $V$ enclosed by a surface. Here pressure can be ...

0
votes

0
answers

52
views

### When is the optimal value of a problem convex in the constraint parameter?

Let $f:(0,1] \to [0,\infty)$ be a $C^2$ strictly decreasing function, $f(1)=0$. Define
$$
F(s):=\min_{xy=s,x,y\in(0,1]} f(x)+ f(y).
$$
Question: Can we characterize the functions $f$ which give rise ...

6
votes

1
answer

95
views

### Lower convex envelope of polynomial functions

Let $P\in{\mathbb R}[X]$ be a polynomial and $[a,b]$ be a bounded interval. Of course, the graph of $P$ is an algebraic set. I am interested in the lower convex envelope $\bar P$ of $P|_{[a,b]}$. It ...

4
votes

1
answer

137
views

### Is Axiom of Choice for convex sets of distributions on naturals necessary?

Take any family $(S_i)_{i∈I}$ such that each $S_i$ is a convex set of functions $f : ℕ→[0,1]$ where $\sum_{k∈ℕ} f(k) = 1$. By "convex" we mean that for any $f,g∈S_i$ and any $a,b∈[0,1]$ such ...