Smoothing properties of the discrete fractional maximal operator on Besov and Triebel--Lizorkin spaces

Motivated by the results of Korry and Kinnunen and Saksman, we study the behaviour of the discrete fractional maximal operator on fractional Hajlasz spaces, Hajlasz-Besov and Hajlasz-Triebel-Lizorkin spaces on metric measure spaces. We show that the discrete fractional maximal operator maps these spaces to the spaces of the same type with higher smoothness. Our results extend and unify aforementioned results. We present our results in general setting, but they are new already in the Euclidean case.