ラプラス作用素
Δ を "G"0/"K"0 上のラプラス作用素、Δc を "G"/"U" のラプラス作用素とすると、