Chapter12球坐标系下分离变量法.docVIP

Methods of Mathematical Physics (2016.11) Chapter 12 Separation of variables in sphere coordinates, Legendre polynomials and harmonic functions YLMa@Phys.FDU PAGE PAGE 6 Chapter 12 球坐标系下的分离变量法 Legendre多项式和球谐函数 Abstracts 正交曲线坐标系及在此坐标系下Laplace算术的表示； 球极坐标系下的变量分离法及由此得出的特殊函数（例如， Legendre函数、连带Legendre函数和球谐函数等）。 函数空间概念(复习) 3D：基矢：；正交：；表示：, 这是3D Euclid space，直观、简单、符合常识。 (3+1)D：是加，还是加如何去加？时空观的变革：相对运动，不但有了相对时空位置，还有了scaling（标尺）、不变性和时空弯曲等概念。 D：基矢是，带权的正交归一性如下： D：Hilbert space. 基矢亦是函数，并且straight scalingcurve scaling.j：quantum numbers. 抽象、复杂、冲破常识！ 对于任意函数只要其定义域与的相同，总有 其中is a representation! 当已知时，是上式；当是的线性组合时，是其系数。 D向量空间: 有D向量的集合. 表述：个独立的单位矢量排成基向量，选为正交归一基矢，即，则和（在上的坐标值—表示）。 内积： 模方： 基矢的完备性：D空间有1D矢量系，若不能在此空间找出一个简单向量，使与正交，则称为完备系，. 函数空间（Hilbert space）：在域上分段连续、平方可积的函数[有限]的集合所排成的空间称为Hilbert space. 正交函数系：如 = 1 \* GB3 ①内的和 = 2 \* GB3 ②内的均为完备基。 一般带权正交函数系的定义：设,在上有 ， 则称是在上的带权[]正交函数系。把称为模之平方，若（对于所有的）称为为正交归一函数系 (A set of orthogonal complete normalized function bases). 广义Fourier展开(expansion)：若是上的正交完备系，则上任意分段连续（平方可积）的函数均可表示为 其中 正交曲线坐标系 从直角坐标系到正交曲线坐标系 球坐标系关系: 柱坐标系关系: 一般曲线坐标系关系: 满足Jacobi行列式 如果三族坐标线是处处相互正交的，则称这种坐标系为正交曲线坐标系。 如何判断一个坐标系是否为正交坐标系？可以通过计算弧元长度: 其中，. 如果，则称此坐标系为正交曲线坐标系。这是因为沿坐标轴的弧元长度为，而称为坐标曲线的度规因子； 如果 即各个坐标曲线的相互投影为零，则它们之间相互正交。 例如，对于球坐标系， 球坐标系是正交曲线坐标系，，，. 对于柱坐标系， 柱坐标系也是正交曲线坐标系，且 ，. 函数在正交曲线坐标系中的表达式 在直角坐标系中，. 设点对应于直角坐标系的新坐标为，即 ，并设在点附近为连续的任意函数，按函数的定义，有 左边的积分可以作变量代换，而右边的函数作上述变量代换，有 另一方面，由函数的定义，又有 比较上面两式，由于f是任意函数，得到 即在一般正交曲线坐标系中，函数的表达式为 在正交曲线坐标系中，由六个面所构成的体积元为 因此，. 球坐标系中，，，, . 柱坐标系中，，，, . 平面极坐标系中，，, . 由体积元知道，球坐标系中体积元为权重函数分别为柱坐标系中体积元为权重函数分别为 场量的梯度(grade:)，散度(divergence:)，旋度(rotation:)和Laplace算符等在正交曲线坐标系中的表达式 （1）标量的梯度是一个矢量，在直角坐标系中的表达式是 ， 其中分别是3D实空间中三个坐标轴的单位矢量。 在一般正交曲线坐标系中，的三个分量定义为沿三条坐标轴的变化率，如以分别表示点沿三条坐标线的单位矢量，就有 . （2）矢量的散度是一个标量，定义为： 以记体积元的边界面，表示大小为，方向为面积元外法线方向的矢量，则是通过边界面的通量，而点的散度是 . 通过坐标面的通量是， 通过坐标面的通量是； 通过坐标面的通量是， 通过坐标面的通量是； 通过坐标面的通量是， 通过坐标面的通量是. 因此， （3）矢量的旋度是一个矢量，它在方向的分量定义为：以l记坐标面上的面积元的边界线，其走向是关于成右手螺旋的，则 因为， 所以，. ，可以类似（指标轮换）地定义并推导出。最后有， （4）Laplace算符 利用 和，得到 . 球坐标系中，，，, . 柱坐标系中，，，,