Simone为什么 空间二阶导（拉普拉斯算子）这么重要？
的有关信息介绍如下：
注：该回答需要读者有一定的多元微积分基础。
Laplace 算子描述了邻域平均函数值与函数值的差
所以我更愿意叫它均差算子。
总是用数学家的名字来命名数学概念会让人摸不着头脑，例如把 叫成微分比叫成 Leibniz 映射更好。
为了弄清楚这一点，我们从一维情形开始，这时算子就是二阶导数：
高阶导数可以用高阶差分来近似。如果没听说过，可以参考附录，那里给出了一个简短的说明。
利用数学归纳法与 Lagrange 中值定理不难证明，在高阶导数存在且连续的条件下，高阶导数与高阶差分有如下关系
因此有
为了看出二阶导数的几何意义，写出它的有限差分的近似表达式
很明显，中括号内就是 在点 的邻域内的平均值与该点函数值 的差。
推广到多元函数情形，我们构造对应的表达式：函数 在球面 上的平均值 与 之差，其中引入因子 是为了类比一元函数的 ，
其中 是以 为球心， 为半径的高维球面 的面积（不要被数学家发明的这些符号吓到，它们实际上说的是很简单的东西）。
利用公式(参见附录)
就可以得到
取 的极限，积分就可以变为
而对于 维球 来说，
就有
因此我们最初构造的表达式在极限情况下与 Laplace 算子仅仅相差一正常数因子。
或者，用做数学的人更喜欢的方式，把要描述的东西放在等号的左边（别忘了 是空间的维数）：
知道了 Laplace 算子的意义，我们就能简单的理解那些含有 Laplace 算子的方程了。例如
在静电学中我们学过电势要满足如下 Poisson 方程它描述了电荷密度与电势的关系。按上面 Laplace 算子的理解，Poisson 方程说的就是，如果某点处是正电荷，那么表示该处的电势会比周围平均电势要高；如果是负电荷，那么该处的电势会比周围要低。
如果空间中处处没有电荷，Poisson 方程就化为 Laplace 方程它也是复变函数中解析函数的实部和虚部需要满足的方程。
Laplace 方程就描述了一件事：函数 在空间中的每一点都是均匀的，也就是每一点的值等于其邻域内的平均值，这也是 Laplace 方程的解称为调和函数（Harmonic Function）的原因所在：这些函数完美地贯彻平均主义。
数学家们通过一些技巧可以把函数的局域性质转化为函数的广延性质，换句话说，从微分表述变为积分表述。调和函数的局域平均性可以转换为一定范围内的平均性：在空间的一个区域 内如果 Laplace 方程处处成立，那么其中 是区域 内的任意以 为球心， 为半径的球 的球面。
简单说，就是我们可以把之前的无限小的邻域放大为有限大的球，调和函数无论是在球面上的平均还是整个球上的平均都等于球心处的函数值。
调和函数的平均性质有很多著名的推论，这里就不一一介绍了。
它描述了每时每刻区域内中每一点的温度会如何变化： 其中 是该区域的温度函数。因此热传导方程无非就是说，如果空间某一点的温度低于（高于）周围的平均温度，那么该点的温度就会以正比于该差值的速率上升（下降）。
我们知道对于两个点，可以定义函数在这两个点的差
这称为一阶差分，它也可以视为是的函数。
对于三个点,,，我们可以定义差分的差分
称之为二阶差分，我们归纳地定义高阶差分为
利用一元微积分的 Lagrange 中值定理和数学归纳法可以证明，如果函数 在点附近处有连续的阶导数(或称光滑)，那么
因此在处的阶导数就能用有限差分来近似
我们应该都知道所谓的 Newton-Leibniz 公式
它把一个函数在一段区间上的积分转化为另一个函数在区间端点处的某个表达式。但它只适用于一维情形，倘若我们要计算一个高维积分，有没有类似的公式呢？
答案是有，我们还是把它叫做微积分基本定理。它的表述是
我来解释一下每一个符号是什么意思，首先是维空间中的一个区域，是一个元函数，是这个函数对变量的偏导数，是区域的边界(边界不一定是闭合的，所以积分不一定要画一个圈)，是的单位外法向量的第个分量(单位外法向量是指垂直于，指向外，且模为的向量)。
我们来建立一些对这一公式的感觉，例如，对于，区域若为区间，偏导数化为通常的导数，体积微元化为长度微元，那么就是区间的边界，也就是两个点(显然这并不是闭合的)，边界上的积分化为离散求和，单位外法向量只有一个分量，在左端点处为，在右端点处为，于是
此即
我们可以用它来推导出一些我们更熟悉的公式，为此把改写为，那么就有
或者写为
这是我们熟悉的分部积分公式的推广。
如果将进一步用来替代，那么就有
类似的应该有
上面两式相减可以得到
如果对对上式进行相加，就得到
这是在求解 Poisson 方程和 Laplace 方程中用到的 Green 公式，取就得到本文中需要的公式
如果在中将改写为，即把视为有个分量的向量值函数，而是其分量，于是得到
对求和，就变成了
这就是关于散度的 Gauss 公式。
