In his book Problèmes concrets d'analyse fonctionnelle, Paul Lévy introduced the concept of the mean of the function on Hilbert space over the ball of radius with center at the point , and investigated the properties of the Laplacian
but he did not determine which functions have means. Moreover, the mean and the Laplacian are not invariant, in general, under rotation about the point . In the present paper we give a class of functions with invariant means on Hilbert space. An example of such a class is the set of functions for which , where the function is uniformly continuous and has invariant means, is the identity operator, and is a symmetric, completely continuous operator whose eigenvalues, arranged in decreasing order of absolute value , have the property that uniformly in (§3). The invariant mean of such a function exists and is given by the formula
and its Laplacian is . In §4 we consider the Dirichlet problem and the Poisson problem for the ball and give sufficient conditions for the solution to be expressed by the Lévy formulas. Bibliography: 7 entries.