关于数学物理中旋度方程的一点理解.PDFVIP

关于数学物理中旋度方程的一点理解 刘长礼 （liucl78@pku.org.cn ） 摘要：线性代数方程中线性独立方程个数和未知量个数需相等才能保证解的 唯一性。在线性偏微分方程组中，如果方程解具有唯一性，一般情况下需方程个 数和未知量个数相等；但在特殊个例中两者可以不等。典型的例子就是Maxwell 方程组；此方程组6 个未知量，8 个方程。另外一个典型例子是以应力表示的弹 性力学平衡方程；此方程组6 个未知量，9 个方程。其实这两个方程组中方程个 数多于未知量个数主要是由于旋度方程引起的。本文定义一个微分线性相关的概 念，从不同的角度来理解方程个数和未知量个数不等的问题。 关键字：Maxwell 方程组；弹性力学平衡方程；旋度；散度 PACS ：02.30.Jr，02.10.Ud 1. 引言 在线性代数方程组中，如果独立方程个数多于未知量个数，方程超定，无解； 如果方程数少于未知量数，则有无穷多解；两者相等则有唯一解。这是早已熟知 的定论。对于线性偏微分方程组，如果解具有唯一性，一般要求两者相等。对于 绝大多数具有解唯一性的线性偏微分方程组，两者是相等的；然而有些例外。典 型的有两个：一个是Maxwell 方程组。此方程组6 个未知量，8 个方程[1]。另外 一个例子是以应力表示的弹性力学平衡方程；此方程组6 个未知量，9 个方程[2]。 需要注意的是上述两个方程组在适当定界条件下方程解都有唯一性。 对于线性偏微分方程组中未知量个数和方程个数是否需要相等，有着不同看 法。我个人认为方程个数仍需等于未知量个数，这是方程组解的唯一性的必要条 件。然而对于上述两个方程组的问题又如何理解呢？很多人如下解释。 对于Maxwell 方程组，文献[1,3]把两个散度方程解释成旋度方程的初始条件 （详见文献中论述，此处不赘述）。我个人认为这种解释有些小问题。散度方程 在含时的Maxwell 方程组中被当成初始条件；而在不含时的Maxwell 方程组（也 就是静电场、静磁场）中，散度方程又成了基本方程。这前后多少有些悖论。 以应变表示的弹性力学平衡方程组的未知量个数和方程个数是相等；而以应 力表示的平衡方程两者却不等。与Maxwell 方程类似，文献[2]把散度方程解释 成边界条件。同样这多少有些不合理。 以上两组方程有一个共同特点：就是都包含旋度方程。下面我从不同角度来 理解方程个数与未知量个数不等的问题。本文并未引进任何新的定理，所有内容 均是成熟的；只是理解角度不同罢了。为了从不同角度来解释这个问题，需要引 入微分线性相关的概念。 2. 旋度、散度方程 首先叙述一个定理 （有人称之为Helmholtz 定理。）：对于在给定区域的某未 知矢量场，如果给定其散度和旋度，在适定边界条件下，则矢量场唯一确定。用 数学语言描述就是：在给定区域Ω 中有未知矢量场E ，如果有 E  0 (1) E S 0 其中标量ρ 和矢量S 是已知量，且S 0 （相容性条件），在适定边界条件下， 方程组(1)有唯一解。 这个定理的证明十分简单，很多文献都有详细论述（如[4] ），此处不再赘述。 可以看到方程(1)只有3 个未知量（矢量E 的三个分量）；而方程个数却是4 个， 散度方程是一个，旋度矢量方程包含三个分量方程，总共是4 个方程。两者并不 相等。 可以很容易看出靠4 个方程间的加加减减是不可能使之恒为0 的，即没有不 全为0 的系数 使得 a Y  0 ；其中 代表方程(1) 各个分方程左端项。也就 a  n n Y n n 是说从代数学角度讲4 个方程是线性独立的。 然而，我们都知道E 0 ，也就是任一矢量的旋度再求散度恒为0，这 相当于一个约束方程，因此旋度方程之间应该有某种内在联系。 现在我将线性相关的概念加以推广。在线性偏微分方程构成的线性空间中， 定义微分线性