韦格纳分布函数四个基本公式是什么