麦克斯韦方程组自洽与完备性证明.pptVIP

§1.7 麦克斯韦方程组的自洽性和完备性 Self-Consistence and Completeness of Maxwell’s Equations ; Maxwell’s equations作为讨论电磁场理论的出发点，它描述了电磁场这种物质运动形态的运动、变化的根本规律。现在，我们必须要知道，作为一组联立的方程，它们之间有无内在矛盾？在场的初始条件和边界条件下，这组方程的解答是否唯一可靠？;1、麦克斯韦方程组的自洽性 Self-consistence of Maxwell ’s Equations 所谓自洽性，就是要求从不同角度出发导出的四个方程彼此之间不相互矛盾。 根据Maxwell ’s equations，将方程式 两边取散度，得到;因左边要求为零，故 即 若与 比较，可见它仅系前者的一个特例，因而不矛盾。 另外，对方程式 两边取散度，得到;左边要求为零，即 根据电荷守恒定律，则 故有 即;故得到 若与 比较，前者也是后者的一个特例。因而不矛盾。这就证明了Maxwell ’s equations是自洽的。 2、麦克斯韦方程组的完备性 Completeness of Maxwell ’s Equations 所谓完备性，就是说在给定电荷电流分布的条件下，如果初始条件和边界条件都已确定，那么Maxwell ’s equations的解是唯一的，亦即为了找出唯一解不需要再引入任何附加条件。 Maxwell ’s equations的完备性，亦称Maxwell ’s equations解的唯一性原理。; 这里采用反证法来证明： 设在给定的初始条件和边界条件下，方程组存在两组不等价的解，分别记为 、 和 、 。那么 显然，两组解都满足同一体系的Maxwell’s equations , 即;因为是同一体系，两组方程中的场源 是相同的，不仅如此，两组方程的解都满足同样的初始条件和边界条件。即 t=0时： 在边界面上： 把两组方程相减，得到; 对应新的方程组的初始条件和边界条件，直接得到 在t= 0时； 在边界面上： 因此 对应的电磁体系是无源(由方程组可知 )、无初始扰动、边界上值恒为零的体系。;根据玻印亭定理，我们得到 根据新的方程组和边界条件，则可见(对于真空情况) 从而得到;故 由于初始条件t =0时， ，所以上式中的常数为零。即 由于被积函数是恒正的，要使上式成立，只能是 即;可见所设的两组解是同解。这样，我们就证明了 Maxwell ’s equations解的唯一性，亦即完备性得证。