Operations on maps on random variables
Source: Alibaba Global Math Competition 2021, Problem 4
July 4, 2021
random variablescollege contests
Problem Statement
Let be a standard probability space, and be the set of all bounded random variables. For , defined the mapping by
R_t(X)=t\log \mathbb{E}[\exp(X/t)], X \in \mathcal{X},
and for define the mapping by
Q_t(X)=\inf\{x \in \mathbb{R}: \mathbb{P}(X>x) \le t\}, X \in \mathcal{X}.
For two mappings , defined the operator by
f\square g(X)=\inf\{f(Y)+g(X-Y): Y \in \mathcal{X}\}, X \in \mathcal{X}.
(a) Show that, for ,
(b) Show that, for with ,