圆柱坐标是通过叠加高度()轴,将二维极坐标推广到三维的一种坐标系统。遗憾的是,对于另外两个坐标,使用了许多不同的符号。径向坐标可以使用
或
,方位角坐标可以使用
或
。例如,Arfken (1985) 使用
,而 Beyer (1987) 使用
。在本工作中,使用 符号
。
下表总结了许多作者使用的符号约定。
(径向,方位角,垂直) | 参考文献 |
本工作, Beyer (1987, p. 212) | |
(Rr, Ttheta, Zz) | SetCoordinates[Cylindrical] 在 Wolfram Language 包中VectorAnalysis` |
Arfken (1985, p. 95) | |
Moon and Spencer (1988, p. 12) | |
Korn and Korn (1968, p. 60) | |
Morse and Feshbach (1953) |
用笛卡尔坐标 表示,
(1)
| |||
(2)
| |||
(3)
|
其中 ,
,
, 并且 反正切 必须经过适当定义,以考虑
的正确象限。
用 ,
, 和
表示
(4)
| |||
(5)
| |||
(6)
|
请注意,Morse 和 Feshbach (1953) 将圆柱坐标定义为
(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)
|
Misner et al. (1973, p. 209) 定义的第二类克里斯托费尔符号由下式给出
(42)
| |||
(43)
| |||
(44)
|
Arfken (1985) 定义的第二类克里斯托费尔符号由下式给出
(45)
| |||
(46)
| |||
(47)
|
(Walton 1967; Arfken 1985, p. 164, Ex. 3.8.10; Moon and Spencer 1988, p. 12a)。
协变导数然后由下式给出
(48)
|
是
(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)
| |||
(101)
| |||
(102)
| |||
(103)
| |||
(104)
| |||
(105)
| |||
(106)
| |||
(107)
|
所以,正如预期的那样,
(108)
|
我们已经计算了 , 因此结合所有三部分得到
(109)
| |||
(110)
| |||
(111)
|
散度是
(112)
| |||
(113)
| |||
(114)
| |||
(115)
|
或者,在向量表示法中
(116)
|
旋度是
(117)
|
标量拉普拉斯算子是
(118)
| |||
(119)
|
(120)
|
亥姆霍兹微分方程在圆柱坐标中是可分离的,并且具有Stäckel 行列式 (对于
,
,
) 或
(对于 Morse 和 Feshbach 的
,
, 和
)。