Random Steiner symmetrizations of sets and functions

In this article we prove almost sure convergence, in the L ₁ distance, of sequences of random Steiner symmetrizations of measurable sets having finite measure to the ball having the same measure. From this result we deduce analogous statements concerning the almost sure convergence to the spherical symmetrization of random Steiner symmetrizations of non negative L _p functions in the natural norm and uniform convergence of non negative continuous functions with bounded support. The latter result is finally used to prove that sequences of random symmetrizations of a compact set converge almost surely in the Hausdorff distance to the ball having the same measure, providing another proof of Mani-Levitska’s conjecture besides the one given in 2006 by Van Schaftingen (Topol Methods Nonlinear Anal 28(1): 61–85, 2006).