Rotational commutator for the Laplacian

ID: rotational-commutator-for-the-laplacian

The infinitesimal rotation commutes with the Laplacian: the extra terms cancel. It is tangent to every sphere, so it preserves zero Dirichlet traces on spherical shells. If and is radial, uniqueness applied to forces all these rotation derivatives to vanish, hence is radial.

New to topics? Read the docs here!