Rigidity of balls in the solid mean value property for polyharmonic functions

We show that balls are the only open bounded domains for which the mean value formula for polyharmonic functions holds. We do so by adapting an argument of Ü. Kuran for harmonic functions. Also, we provide a quantitative version of the same result.