球坐标,也称为球极坐标(Walton 1967, Arfken 1985),是一种曲线坐标系,自然用于描述球体或椭球体上的位置。定义 为 -平面内从 x轴开始的方位角,其中 (当被称为经度时,记为 ), 为从正 z轴开始的极角(也称为天顶角和余纬度,其中 , 为纬度),其中 , 为从点到原点的距离(半径)。这是数学中常用的约定。
在这项工作中,遵循数学惯例,径向、方位角和天顶角坐标的符号分别取为 、 和 。请注意,此定义提供了常用极坐标符号的逻辑扩展,其中 仍然是 -平面内的角,而 成为该平面外的角。在这项工作中,此约定的唯一例外是在球谐函数中,其中保留了物理文献中使用的约定(希望这比愚蠢的严格一致性可能产生的混乱要少一些)。
不幸的是,符号 和 的含义和列出顺序都相反的约定也很常用,尤其是在物理学中。这尤其令人困惑,因为相同的符号 通常对数学家来说意味着(径向,方位角,极角),但对物理学家来说意味着(径向,极角,方位角)。符号 有时也用于代替 , 代替 ,以及 和 代替 。下表总结了不同作者使用的一些约定。因此,查阅文献时需要格外小心。
顺序 | 符号 | 参考 |
(径向,方位角,极角) | 本工作 | |
(径向,方位角,极角) | Apostol (1969, p. 95), Anton (1984, p. 859), Beyer (1987, p. 212) | |
(径向,极角,方位角) | SphericalPlot3D在 Wolfram 语言中 | |
(径向,极角,方位角) | ISO 31-11, Misner et al. (1973, p. 205) | |
(径向,极角,方位角) | Arfken (1985, p. 102) | |
(径向,极角,方位角) | Moon and Spencer (1988, p. 24) | |
(径向,极角,方位角) | Korn and Korn (1968, p. 60), Bronshtein et al. (2004, pp. 209-210) | |
(径向,极角,方位角) | Zwillinger (1996, pp. 297-299) |
球坐标 与 笛卡尔坐标 的关系为
(1)
| |||
(2)
| |||
(3)
|
其中 ,,以及 ,并且必须适当定义反正切以考虑 的正确象限。
用笛卡尔坐标表示,
(4)
| |||
(5)
| |||
(6)
|
比例因子为
(7)
| |||
(8)
| |||
(9)
|
因此,度量系数为
(10)
| |||
(11)
| |||
(12)
|
线元素为
(13)
|
面积元素
(14)
|
和体积元素
(15)
|
雅可比行列式为
(16)
|
径向向量为
(17)
|
因此,单位向量为
(18)
| |||
(19)
| |||
(20)
| |||
(21)
| |||
(22)
| |||
(23)
|
单位向量的导数为
(24)
| |||
(25)
| |||
(26)
| |||
(27)
| |||
(28)
| |||
(29)
| |||
(30)
| |||
(31)
| |||
(32)
|
梯度为
(33)
|
及其分量为
(34)
| |||
(35)
| |||
(36)
| |||
(37)
| |||
(38)
| |||
(39)
| |||
(40)
| |||
(41)
| |||
(42)
|
(Misner et al. 1973, p. 213,但他们使用符号约定 )。
Misner et al. (1973, p. 209) 定义的第二类克里斯托费尔符号由下式给出
(43)
| |||
(44)
| |||
(45)
|
(Misner et al. 1973, p. 213,但他们使用符号约定 )。Arfken (1985) 定义的第二类克里斯托费尔符号由下式给出
(46)
| |||
(47)
| |||
(48)
|
(Walton 1967;Moon and Spencer 1988, p. 25a;但他们都使用符号约定 )。
散度为
(49)
|
或者,用向量表示法,
(50)
| |||
(51)
|
协变导数由下式给出
(52)
|
因此
(53)
| |||
(54)
| |||
(55)
| |||
(56)
| |||
(57)
| |||
(58)
| |||
(59)
| |||
(60)
| |||
(61)
|
对易系数由下式给出
(62)
|
(63)
|
因此 ,其中 。
(64)
|
因此 ,。
(65)
|
因此 。
(66)
|
因此
(67)
|
总结,
(68)
| |||
(69)
| |||
(70)
|
径向向量的时间导数为
(71)
| |||
(72)
| |||
(73)
|
因此,速度由下式给出
(74)
|
加速度为
(75)
| |||
(76)
| |||
(77)
| |||
(78)
| |||
(79)
| |||
(80)
|
将这些代入得到
(81)
|
但是
(82)
| |||
(83)
|
因此
(84)
| |||
(85)
|
单位向量的时间导数为
(86)
| |||
(87)
| |||
(88)
|
旋度为
(89)
|
拉普拉斯算子为
(90)
| |||
(91)
| |||
(92)
|
球坐标中的向量拉普拉斯算子由下式给出
(93)
|
为了用球坐标的偏导数表示关于笛卡尔轴的偏导数,
(94)
| |||
(95)
| |||
(96)
|
反演后,结果是
(97)
|
因此,球坐标中的笛卡尔偏导数为
(98)
| |||
(99)
| |||
(100)
|
(Gasiorowicz 1974, pp. 167-168; Arfken 1985, p. 108)。
亥姆霍兹微分方程在球坐标中是可分离的。