Laplace operator
を満たすものをという。なおラプラス作用素は回転行列 に対し、