查看“︁唯一性定理 (泊松方程)”︁的源代码

{{no footnotes|time=2018-08-10T13:45:24+00:00}}
'''唯一性定理'''指出，很大一部分的具有边界条件的[[泊松方程]]，可能有很多个解，但所有解的梯度都是相同的。在静电学的情况下，这意味着在边界条件下的泊松方程所解得的势函数具有唯一确定的电场。

== 证明 ==
在[[高斯單位制|高斯单位制]]，静电学中的泊松方程的一般表达是

: <math>\mathbf{\nabla}\cdot(\epsilon\mathbf{\nabla}\varphi)= -\rho_f</math>

其中 <math>\varphi</math> 是[[电势]]， <math>\mathbf{E}=-\mathbf{\nabla}\varphi</math> 是[[电场]]。

对于很大一部分的边值条件，势函数的梯度的唯一性（即电场的唯一性）可以如下证明。

反证，假设电势有两个解 <math>\varphi _{{1}}</math> 和 <math>\varphi _{{2}}</math> 。 令 <math>\phi =\varphi _{{2}}-\varphi _{{1}}</math> ，也就是两个解的差。 已知 <math>\varphi _{{1}}</math> 和 <math>\varphi _{{2}}</math> 均满足泊松方程， <math>\phi</math>  必须满足

: <math>\mathbf{\nabla}\cdot(\epsilon \mathbf{\nabla}\phi)= 0</math>

应用一个恒等式

: <math>\nabla \cdot (\phi \epsilon \, \nabla \phi )=\epsilon \, (\nabla \phi )^2 + \phi \nabla \cdot (\epsilon \, \nabla \phi )</math>

注意到右边第二项恒等于零，于是可以将方程改写为

: <math>\mathbf{\nabla}\cdot(\phi\epsilon \mathbf{\nabla}\phi)= \epsilon (\mathbf{\nabla}\phi)^2</math>

在边值条件所确定的边界内对体积进行积分

: <math>\int_V \mathbf{\nabla}\cdot(\phi\epsilon \mathbf{\nabla}\phi) d^3 \mathbf{r}= \int_V \epsilon (\mathbf{\nabla}\phi)^2 \, d^3 \mathbf{r}</math>

应用[[散度定理]]，上式可以改写为

: <math>\sum_i \int_{S_i} (\phi\epsilon \mathbf{\nabla}\phi) \cdot \mathbf{dS}= \int_V \epsilon (\mathbf{\nabla}\phi)^2 \, d^3 \mathbf{r}</math>

其中 <math>S_{i}</math> 是边值条件确定的曲面边界。

由于 <math>\epsilon >0</math> 且 (<math>{\mathbf  {\nabla }}\phi )^{2}\geq 0</math> ，那么当上式左边的曲面积分等于零的时候， <math>{\mathbf  {\nabla }}\phi</math> 必须处处为零（即得 <math>{\mathbf  {\nabla }}\varphi _{{1}}={\mathbf  {\nabla }}\varphi _{{2}}</math>)。

这就意味着，该方程的解的梯度是唯一确定的，当且仅当如下条件成立

: <math>\sum_i \int_{S_i} (\phi\epsilon \, \mathbf{\nabla}\phi) \cdot \mathbf{dS} =
0</math>

使得上式成立的边值条件包括：

# [[狄利克雷边界条件]]：<math>\varphi</math> 在曲面边界有定义。 因此 <math>\varphi _{1}=\varphi _{2}</math> 。于是，在边界任意位置 <math>\phi = 0</math> ，上式成立。
# [[诺伊曼边界条件]]：<math>{\mathbf  {\nabla }}\varphi</math>  在曲面边界有定义。 因此 <math>{\mathbf  {\nabla }}\varphi _{1}={\mathbf  {\nabla }}\varphi _{2}</math> 。于是，在边界任意位置 <math>{\mathbf  {\nabla }}\phi =0</math> ，上式成立。
# 修改过的[[诺伊曼边界条件]] （也称为罗宾边界条件——其中假设边界都是带有已知电荷的导体）：只需在边界应用高斯定律，<math>{\mathbf  {\nabla }}\varphi</math> 也是有定义的。 因此，上式成立。
# 混合边值条件（上述三个条件的组合）：唯一性定理仍然成立。

边界曲面还可以是无穷远的边界（即所求的电势所在的区域没有边界）。在这种情况下，只要上述的曲面积分等于零，唯一性定理仍然成立。举个例子，当被积函数下降的速度比表面积快的时候，该积分趋近于零。

== 参看 ==

* [[泊松方程]]
* [[高斯定律]]
* [[库仑定律]]
* [[鏡像法|镜像法]]
* [[格林函數|格林函数]]
* 其他[[唯一性定理]]
* [[球谐函数]]

== 参考文献 ==

* {{Cite book|title=The Classical Theory of Fields|last=L.D. Landau, E.M. Lifshitz|publisher=[[Butterworth–Heinemann]]|year=1975|isbn=978-0-7506-2768-9|edition=4th|volume=Vol. 2}}
* {{Cite book|title=Classical Electrodynamics|last=J. D. Jackson|publisher=[[John Wiley & Sons]]|year=1998|isbn=978-0-471-30932-1|edition=3rd}}
[[Category:静电学]]
[[Category:向量分析]]