在高斯单位制,静电学中的泊松方程的一般表达是
-
其中 是电势, 是电场。
对于很大一部分的边值条件,势函数的梯度的唯一性(即电场的唯一性)可以如下证明。
反证,假设电势有两个解 和 。 令 ,也就是两个解的差。 已知 和 均满足泊松方程, 必须满足
-
应用一个恒等式
-
注意到右边第二项恒等于零,于是可以将方程改写为
-
在边值条件所确定的边界内对体积进行积分
-
应用散度定理,上式可以改写为
-
其中 是边值条件确定的曲面边界。
由于 且 ( ,那么当上式左边的曲面积分等于零的时候, 必须处处为零(即得 )。
这就意味着,该方程的解的梯度是唯一确定的,当且仅当如下条件成立
-
使得上式成立的边值条件包括:
- 狄利克雷边界条件: 在曲面边界有定义。 因此 。于是,在边界任意位置 ,上式成立。
- 诺伊曼边界条件: 在曲面边界有定义。 因此 。于是,在边界任意位置 ,上式成立。
- 修改过的诺伊曼边界条件 (也称为罗宾边界条件——其中假设边界都是带有已知电荷的导体):只需在边界应用高斯定律, 也是有定义的。 因此,上式成立。
- 混合边值条件(上述三个条件的组合):唯一性定理仍然成立。
边界曲面还可以是无穷远的边界(即所求的电势所在的区域没有边界)。在这种情况下,只要上述的曲面积分等于零,唯一性定理仍然成立。举个例子,当被积函数下降的速度比表面积快的时候,该积分趋近于零。