Laplace operator
ラプラス作用素は、合同変換と可換である。すなわち、任意の級関数と任意の合同変換に対し、