Questions tagged [convex-analysis]
The convex-analysis tag has no usage guidance.
517
questions
2
votes
0
answers
57
views
How many Tverberg partition are in cloud of points?
Tverberg's Theorem: A collection of $(d+1)(r-1) +1$ points in $\mathbb{R}^d$ can always be partitioned into $r$ parts whose convex hulls intersect.
For example, $d=2$, $r=3$, 7 points:
Let $p_1, p_2,...
2
votes
0
answers
100
views
What's the number of facets of a $d$-dimensional cyclic polytope?
A face of a convex polytope $P$ is defined as
$P$ itself, or
a subset of $P$ of the form $P\cap h$, where $h$ is a hyperplane such that $P$ is fully contained in one of the closed half-spaces ...
4
votes
1
answer
287
views
An arrangement of hyperplanes [closed]
An arrangement of hyperplanes in $\mathbb{R}^d$ is simple if the hyperplanes are in general position (for every $1\leq k\leq d+1$, the intersection of $k$ hyperplanes is $(d-k)$-dimensional).
My ...
1
vote
0
answers
131
views
+50
Maximum and concavity of function
Let
\begin{align}
G(x_1,x_2,x_3)=\int_0^{2\pi}\int_0^{2\pi}\int_0^{2\pi} \frac{d\theta_1 d\theta_2 d\theta_3}{(2\pi)^3} p(\vec{x},\vec{\theta}) \log\left( p(\vec{x}, \vec{\theta})\right)
\end{...
6
votes
1
answer
156
views
+50
Determinantal inequality for difference of substochastic matrices
Let $A=(A_{ij})_{1\le i,j\le n}$ be a square matrix with nonnegative real entries. Recall that $A$ is called a substochastic matrix if
$$
\forall i,\ \ \sum_j A_{ij}\le 1\ .
$$
In the course of my ...
2
votes
0
answers
68
views
Reference request: books on convex analysis / geometry
I am interested in convex geometry and analysis, especially in its connections with high dimensional probability theory.
I was reading the book by Pisier, The volume of convex bodies and Banach space ...
2
votes
1
answer
291
views
Concavity of hypergeometric function ratio
I would like to show that the function,
$$
f(x) = \frac{{}_2\mathrm{F}_1\big(\frac{1}{2},\frac{1}{2};c+1\,;x\big)}{{}_2\mathrm{F}_1\big(\frac{1}{2},\frac{1}{2};c\,;x\big)}
$$
is concave for $0 < x &...
1
vote
1
answer
39
views
Does uniform convergence of suitable functions yield pathwise convergence of their convex envelopes?
For each $k\ge 1$, let $f_k:\mathbb R\to\mathbb R_+$ be $1-$Lipschitz, increasing such that $f_k(x)\ge x^+$ for $x\in\mathbb R$, $f_k(-\infty)=0$ and
$$\lim_{x\to+\infty} \big(f_k(x)-x\big)=0.$$
...
0
votes
1
answer
141
views
When are infimal convolutions contractions?
Let $X$ be a separable Fréchet space and $\varphi,\psi:X\to \mathbb{R}$ be a lower semi-continuous and convex function with $\psi$ bounded below and coercive. Consider the infimal convolution
$$
\...
1
vote
1
answer
79
views
Why are symmetric convex bodies with a smooth boundary and non-vanishing Gaussian curvature of particular interest in harmonic analysis?
I don't work in harmonic analysis or convex analysis, but in some literature of harmonic analysis, I often see the assumption that "let $K$ be a symmetric convex body with a smooth boundary and ...
1
vote
0
answers
90
views
Distance between two convex sets
Setting
If $A$ an $B$ are two symmetric matrices, we denote by $A >B$ when the matrice $A-B$ is definite positive.
In $\left(\mathbb{R}^{*}_{+} \right)^4$, consider the convex set $$ \Lambda = \...
5
votes
3
answers
549
views
An inequality in an Euclidean space
For $n\geq 1$, endow $\mathbb{R}^n$ with the usual scalar product. Let $u=(1,1,\dots,1)\in\mathbb{R}^n$, $v\in {]0,+\infty[^n}$ and denote by $p_{u^\perp}$ and $p_{v^\perp}$ the orthographic ...
2
votes
1
answer
174
views
Prékopa-Leindler style inequality?
Does anyone know a simple proof of the following Prékopa-Leindler style inequality:
If we have $f_1,f_2,g_1,g_2$ strictly positive functions on $\mathbb{R}$ such that, for any $x_1,x_2 \in \mathbb{R}$,...
0
votes
1
answer
48
views
Do separable cubic constraint and separable quartic constraint SOCP presentable?
I am an engineer who is doing some network modeling and optimization. During my work, I was running into a case that is quite strange. The problem that I am trying to solve seems to be convex and it ...
3
votes
0
answers
161
views
Interchange limit and supremum of functionals over a bounded convex set
Let $(H, \langle\cdot,\cdot\rangle)$ be a separable real Hilbert space and $B\subset H$ be (nonempty) convex and bounded, and suppose that $(\alpha_k)\subset H$ is a sequence for which the limit $\...