静电场高斯定理的数学证明

静电场高斯定理的数学证明

---

描述

设在原点有一场源电荷$Q$，任取一闭合曲面$S$，设其包围的区域为$\Omega$，求证：
$$\iint \vec{E}\cdot d\vec{S}=\frac{q}{{\epsilon }_0}$$

---

证明

(下面的$r^2$均为$x^2+y^2+z^2$)

首先，据
$$\begin{array}{rl}\vec{E}& =\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r^2}{\vec{e}}_r\\ & =\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r^2}\cos \alpha \vec{i}+\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r^2}\cos \beta \vec{j}+\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r^2}\cos \gamma \vec{k}\end{array}$$
其中，
$$\cos \alpha =\frac{x}{\sqrt{x^2+y^2+z^2}},\cos \beta =\frac{y}{\sqrt{x^2+y^2+z^2}},\cos \gamma =\frac{z}{\sqrt{x^2+y^2+z^2}}$$
则
$$\iint \vec{E}\cdot d\vec{S}=\frac{Q}{4\pi {\epsilon }_0}\iint \frac{xdydz+ydzdx+zdxdy}{r^3}$$
则设$P(x,y,z)=x/r^3,Q(x,y,z)=y/r^3,R(x,y,z)=z/r^3$，
$$\frac{\partial P}{\partial x}=\frac{(x^2+y^2+z^2{)}^{3/2}-3x^2(x^2+y^2+z^2{)}^{1/2}}{(x^2+y^2+z^2{)}^3}=\frac{y^2+z^2-2x^2}{r^5}$$
同理，
$$\begin{gathered} \frac{\partial Q}{\partial y}=\frac{z^2+x^2-2y^2}{r^5} \\ \frac{\partial R}{\partial z}=\frac{x^2+y^2-2z^2}{r^5} \end{gathered}$$
容易看出，三者在$(0,0,0)$处都没有偏导数，则若用积分高斯定理需采用“挖洞法”

取外侧面$\Sigma :x^2+y^2+z^2={\epsilon }^2,\epsilon \to 0$,则据高斯定理，有
$$\iint \vec{E}\cdot d\vec{S}+\iint \vec{E}\cdot d\vec{S}={\iiint }_{\Omega }(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z})dxdydz=0$$
由于在$\Sigma$面上，$\vec{E}$与$\vec{S}$处处垂直
$$\begin{array}{rl}\iint \vec{E}\cdot d\vec{S}& =\iint \vec{E}\cdot d\vec{S}\\ & =\iint \frac{1}{4\pi {\epsilon }_0}\frac{Q}{{\epsilon }^2}dS\\ & =\frac{1}{4\pi {\epsilon }_0}\frac{Q}{{\epsilon }^2}\iint dS\\ & =\frac{1}{4\pi {\epsilon }_0}\frac{Q}{{\epsilon }^2}\cdot 4\pi {\epsilon }^2\\ & =\frac{Q}{{\epsilon }_0}\end{array}$$
得证!

---

补充

如果在闭合曲面有多个场源电荷又怎么分析呢？这时，我们就可以根据静电场的电场的叠加原理将其独立，再根据上面的证明过程可以证得.

---

其实可以看出电磁学的高斯定理可以直接由微积分中的高斯定理推出，所以才都叫高斯定理吧！