Properties of extremal sequences for the Bellman function of the dyadic maximal operator
We prove a necessary condition that has every extremal sequence for the Bellman function of the dyadic maximal operator. This implies the weak- uniqueness for such a sequence.