 Spherical mean of a biharmonic function

For a smooth three-dimensional biharmonic function regular throughout a ball, its surface average has exactly this form. Taylor expansion and rotationally invariant spherical moments turn each even term into a multiple of an iterated Laplacian; terms from the fourth derivative onward vanish when ${\Delta }^{2}f=0$. This is the mean-value identity that converts the reciprocal surface average into Faxén's first law.