附录 场论基础.doc

附录 场论基础附1 Hamilton 算子在直角坐标系中定义Hamilton 算子为 （附1.1）这里，既可以看成是一个微分算子，作用到一个标量函数或者是一个矢量函数上；也可以看成是一个向量，和其他的向量进行普通的点乘()运算和叉乘()运算。附1.1 梯度运算对于一个标量场，我们定义相关的梯度运算为 （附1.2）那么标量函数的梯度运算结果为一向量。下面我们来看梯度运算的数学意义。对于函数的方向导数，我们有 （附1.3）因此有 （附1.4）从中可以看到，当单位向量的方向和梯度的方向一致时，取到极大值，而极大值就为。这就是说，梯度为函数变化最快的方向，也是等值函数的外法线方向，梯度的大小为函数方向导数的最大值。从上面的分析我们可以看到，梯度的定义和坐标系是无关。梯度在数值计算方法中有很重要意义。附1.2 散度运算 对于一个向量场，沿某一个曲面的通量定义为 (附1.5)更进一步，如果是个封闭曲面，其所包围的区域，体积为，那么当 (附1.6)存在时，我们称相应的值为该向量的散度(此时区域退化成一点)。下面我们来看散度和Hamilton 算子之间的关系。在直角坐标中，如果向量场为那么由高斯公式 根据中值定理 其中为区域中某一点，当时，所以 从而有 （附1.7）而高斯公式也可以表示为 （附1.8）特别地，当在区域内恒成立时，则。这样的场我们称之为无源场。在平面坐标系中，我们记通量为其中为向量在曲线外法线的方向上的分量。曲线的外法线方向为容易得到 在三维问题中若记为单位高的柱体，则而式(附1.5) 、(附1.6) 和(附1.8) 变为 (附1.9) (附1.10) (附1.11)因此，平面上的格林公式也可以视为高斯公式在平面情形中的退化。附1.3 旋度运算 对于一个向量场，沿某一个封闭曲线的环量定义为 (附1.12)在直角坐标中，如果向量场为那么环量为如果为向量场中某一点，在点上有一个固定的方向，以为外法线取一个小曲面，曲面的面积为，曲面的封闭边界为，的正向与一起构成右手坐标系。我们定义环量面密度为 (附1.13)根据斯托克斯(G. G. Stokes)公式，根据中值定理从而有 (附1.14)其中我们称该向量为向量场的旋度，记为。和标量场的方向导数类似，当外法线方向和旋度方向一致的时候，环量面密度的值最大，大小为旋度的模。沿某一方向的环量面密度为旋度在该方向上的投影。斯托克斯(G. G. Stokes)公式可以表示成旋度的形式 (附1.15)把旋度记成行列式形式有也就是说 (附1.16)特别地当在某一区域内恒有，我们称该向量场为无旋场。附1.4 几种比较重要的场附1.4.1 有势场对于一向量场，存在一个单值函数使得 (附1.17)我们称该向量场是一有势场，或者是一个梯度场。性质1 向量场为有势场的充要条件为其旋度在该区域内处处为零。附1.4.2 管形场(无源场)对于一向量场，如果其散度处处为零，我们称该向量场是一管形场。性质1 管形场中任意一个矢量管上两个截面的通量保持不变。性质2 矢量场为管形场的充要条件为它是另外一个矢量场的旋度场。附1.4.3 调和场对于一向量场，如果恒有及，我们称该向量场是一调和场。也就是说，调和场既无源又无旋。根据有势场性质，向量场为有势场的充要条件为其旋度在该区域内处处为零，所以对于调和场，一定存在势函数，使得，又根据定义有，因此有写成Hamilton算子形式为或者记为 (附1.18)其中为拉普拉斯(Laplace)算子, 上述方程称为拉普拉斯方程，满足拉普拉斯方程的函数称为调和函数。在直角坐标中，拉普拉斯算子为在平面问题中，对于调和场， 我们可以找到一对调和函数和，它们满足 (附1.19)我们称它们为共轭调和场。附1.5 Hamilton算子性质先引入两个关于向量的恒等式:向量的混合积和二重矢量积等式(1) (附1.20)证明: 设某一平行六面体三条棱分别为, 从平行六面体的体积出发可以证明上式。(2) (附1.21)证明:很明显必定在与所在的平面, 假设那么从中可以得到所以上式对所有的都应成立。为了求出的值, 我们假设, 那么比较可得，从而，式(附1.21) 成立。 以下是哈密尔顿算子的常用公式1) 2) 3) 4) 5) 高斯公式 6) 格林公式 7) 斯托克斯(G. G. Stokes)公式 附2 正交曲线坐标系附2.1 Lame系数正交曲线坐标系和直角坐标系的关系为或者沿曲线坐标线的微元长度(平分)为 如果记 (附2.1)那么 我们把称为Lame系数。同样我们可以得到在曲线坐标系中面元和体元分别为 (附2.2) (附2.3)在直角坐标系统中一般弧线的长度为 在曲线坐标系中的长度表示为 (附2.4)空间中任意一点在直角坐标系中的表示为 (附2.5)其中为直角坐标系中沿坐标轴的单位矢量。在曲线坐标系中 (附2.6)其长度为 所以有 (附2.7)其中为沿曲线坐标系的单位矢量。附2.2 曲线坐标系中的Hamilton算子 (附2.8)如果取，那么 所以 (附2.9)而Hamilton算子为 (附2.10)习题1. 证明以下各式(1) ；(2) ;(3) ;(4) ;(5) ;(6) 为常向量;(7) ;(8) .2. 求在曲线坐标系、