All Questions
8 questions
18
votes
1
answer
3k
views
How bad can the second derivative of a convex function be?
One can easily construct an example of a measurable function $f:(a,b)\to \mathbb{R}$ which satisfies the following property:
$$\label{p}\tag{P}
f\notin L^1(I),\ \mbox{for each interval}\ I\subset (a,...
- 409
7
votes
1
answer
856
views
Compactness of set of indicator functions
Let $\chi_A(x)$ denote an indicator function on $A\subset [0,1]$. Consider the set
$$K=\{\chi_A(x): \text{ A is Lebesgue measurable in }[0,1]\}.$$
Is this set compact in $L^\infty(0,1)$ with respect ...
- 395
4
votes
0
answers
481
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}...
- 519
2
votes
0
answers
146
views
Prove the equicontinuity of a maximizing sequence
Let $X$ be a compact subset of $\mathbb{R}$ and $c(x_1,x_2,x_3,x_4)$ be a fixed bounded continuous functions on $X^4$. Assume $\mu,\nu$ are probability measures on $X^2$, and $\mu\otimes\nu$ is the ...
- 323
1
vote
1
answer
192
views
Log-concavity of function
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
My goal is to show that
$$ G(y):=\frac{(f_2*f_0)(y)}{(f_0*f_0)(y)}- \left(\frac{(f_1*f_0)(y) }{(f_0*f_0)(y)}\right)^2$$
is log-concave.
Let us ...
- 173
1
vote
1
answer
644
views
Most general form of Jensen's inequality
What is the most general form of Jensen's inequality?
Wikipedia gives for example this more general form, which holds in every topological vector space.
Are there even more general forms, for ...
- 2,129
1
vote
1
answer
114
views
Reference request: regularity of functionals on the space of probability measures
Let $\mathcal M=\mathcal M(\mathbb R^d)$ be the space of finite measures on $\mathbb R^d$, and $\mathcal P=\mathcal P(\mathbb R^d)\subset\mathcal M$ be the space of probability measures. Let $F:\...
- 1,835
1
vote
1
answer
206
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 ...
- 13