Regularity of mean-values

Abstract

AbstractLetXbe either thed-dimensional sphere or a compact, simply connected, simple, connected Lie group. We define a mean-value operator analogous to the spherical mean-value operator acting on integrable functions on Euclidean space. The value of this operator will be written as ℳf(x, a), wherex∈Xandavaries over a torusAin the group of isometries ofX. For each of these cases there is an intervalpO<p≦ 2, where thep0depends on the geometry ofX, such that iffis inLp(X) then there is a set full measure inXand ifxlies in this set, the function a ↦ℳf(x, a) has some Hölder continuity on compact subsets of the regular elements ofA.