拉普拉斯定义式和线性性质