R3空间曲线坐标系变换及向量分析

时间:2024-03-15 16:06:51


数学物理方法的前几节课讲了怎么在R3R^3空间中进行向量分析,其中涉及到了很多与微积分有关的知识,所以特意写这一篇。

1. 特殊算式表达

数学物理方法这几节课给我印象最深的就是它简化了点乘和叉乘运算的表达形式,主要有以下两种简化方法:爱因斯坦求和约定和Levi-Civita符号。

1.1爱因斯坦求和约定

爱因斯坦求和约定可以将向量的表达形式简化,也可以针对向量点乘,或者说是标量积。
Kronecher delta符号
δij={0,ij1,i=j\delta_{ij}=\begin{cases}0,&i\neq j \\1,&i=j\end{cases}
该符号的定义是因为正交坐标系三个基向量e1,e2,e3\bold e_1,\bold e_2,\bold e_3中相互垂直的向量标量积为0,相同的基向量的标量积为1。

简化三维向量表达
假设我们有一向量A=A1e1+A2e2+A3e3\bold A=A_1\bold e_1+A_2\bold e_2+A_3\bold e_3,爱因斯坦求和约定可以将向量A\bold A表达为A=Aiei=A1e1+A2e2+A3e3\bold A=A_i\bold e_i=A_1\bold e_1+A_2\bold e_2+A_3\bold e_3
注意,爱因斯坦求和约定中下标都是一样的,这里都是i。

简化向量标量积
假设我们有两个向量A=A1e1+A2e2+A3e3\bold A=A_1\bold e_1+A_2\bold e_2+A_3\bold e_3B=B1e1+B2e2+B3e3\bold B=B_1\bold e_1+B_2\bold e_2+B_3\bold e_3做标量积。

由以上的向量简化形式,我们可以继续推导:AB=AieiBjej=AiBjeiej=AiBjδij=AiBi\bold A\cdot\bold B=A_i\bold e_i\cdot B_j\bold e_j=A_iB_j\bold e_i\cdot\bold e_j=A_iB_j\delta_{ij}=A_iB_i
这与我们的标量积一般形式:AB=A1B1+A2B2+A3B3\bold A\cdot\bold B=A_1B_1+A_2B_2+A_3B_3是相一致的。

1.2 Levi-Civita符号(用于叉乘)

向量的叉乘或向量积可以通过Levi-Civita符号进行简化。
Levi-Civita符号简化三阶行列式
εijk={1,Even Permutation of indexes1,Odd Permutation of indexes0,2 of indexes are equal\varepsilon_{ijk}=\begin{cases}1,&\text{Even Permutation of indexes}\\ -1,&\text{Odd Permutation of indexes}\\ 0,& \text{2 of indexes are equal}\end{cases}
也就是当下标经过偶数次置换(比如123,231,312)之后,εijk=1\varepsilon_{ijk}=1;当下标经过奇数次置换之后(比如132, 321, 213)之后,εijk=1\varepsilon_{ijk}=-1

现有两个向量做向量积,其表达式为:
A×B=e1e2e3A1A2A3B1B2B3=e1(A2B3A3B2)+e2(A3B1A1B3)+e3(A1B2A2B1)\bold A\times\bold B=\begin{vmatrix}\bold e_1&\bold e_2&\bold e_3\\ A_1&A_2&A_3 \\ B_1&B_2&B_3\end{vmatrix}=\bold e_1(A_2B_3-A_3B_2)+\bold e_2(A_3B_1-A_1B_3)+\bold e_3(A_1B_2-A_2B_1)
A×B=ϵijkeiAjBk\bold A\times\bold B=\epsilon_{ijk}\bold e_i A_jB_k
以上简化的思路就是先确定基向量的下标(e1,e2,e3\bold e_1,\bold e_2,\bold e_3)。并且因为ijk为哑标,所以ijk的顺序是无所谓的,所以有以下的等式:
εijkeiAjBk=εjikejAiBk=εkjiekAjBi ...\varepsilon_{ijk}\bold e_i A_jB_k=\varepsilon_{jik}\bold e_j A_iB_k=\varepsilon_{kji}\bold e_k A_jB_i\ ...

2. 曲线坐标基向量对应直角坐标的函数表达

介绍完了向量乘法的两种表达形式的简化,在正式推导坐标之间的变换之前,我们还需要把球坐标和柱坐标的基向量与直角坐标系下的坐标相对应,也就是找到各组基之间的函数关系。曲线坐标系中基向量常见的表达形式是u1,u2,u3u_1, u_2, u_3

2.1 柱坐标

表达柱坐标系的三个方向的字母有所不同,本文采用r, θ, zr,\ \theta,\ z来描述柱坐标。
柱坐标与直角坐标系转换的函数为:
{x(r,θ,z)=rcosθy(r,θ,z)=rsinθz(r,θ,z)=z\begin{cases}x(r,\theta,z)=r\cos\theta\\ y(r,\theta,z)=r\sin\theta\\ z(r,\theta,z)=z\end{cases}
柱坐标到直角坐标系的逆变换为:
{r(x,y,z)=x2+y2θ(x,y,z)=tan1yxz(x,y,z)=z\begin{cases}r(x,y,z)=\sqrt{x^2+y^2}\\ \theta(x,y,z)=\tan^{-1}\frac{y}{x}\\ z(x,y,z)=z\end{cases}

2.2 球坐标

表达球坐标的三个方向的字母有所不同,本文采用ρ, ϕ, θ\rho,\ \phi,\ \theta来描述柱坐标。
柱坐标与直角坐标系转换的函数为:
{x(ρ,ϕ,θ)=ρsinϕcosθy(ρ,ϕ,θ)=ρsinϕsinθz(ρ,ϕ,θ)=ρcosϕ\begin{cases}x(\rho,\phi, \theta)=\rho\sin\phi\cos\theta\\ y(\rho,\phi, \theta)=\rho\sin\phi\sin\theta\\ z(\rho,\phi, \theta)=\rho\cos\phi\end{cases}
球坐标的逆变换就不再赘述。

3. 直角与曲线坐标系下的线元,面元,体元基本表达

3.1 直角坐标系

3.1.1 线元和弧长

线元用dr2dr^2来表示,线元描述的是两点的线段长度的平方。直角坐标系下的表达形式是:
dr2=drdr=dxidxi=dx12+dx22+dx32dr^2=d\bold r\cdot d\bold r=dx_idx_i=dx^2_1+dx^2_2+dx^2_3

弧长的微分形式为(三个方向分别对应一种微分表达):
{ds1=dxds2=dyds3=dz\begin{cases}ds_1=dx\\ ds_2=dy\\ds_3=dz\end{cases}

3.1.2 面元

面元有三种,即分别在三个方向上(x,y,z)进行投影:
{dσ12=dxdy,Projection on x-y planedσ23=dydz,Projection on y-z planedσ13=dxdz,Projection on x-z plane\begin{cases}d\sigma_{12}=dxdy,&\text{Projection on x-y plane}\\ d\sigma_{23}=dydz,&\text{Projection on y-z plane}\\d\sigma_{13}=dxdz,&\text{Projection on x-z plane}\end{cases}

3.1.3体元

面元有三种,即分别在三个方向上进行投影:
dV=ds1ds2ds3=dxdydzdV=ds_1ds_2ds_3=dxdydz

4. 直角坐标系到曲线坐标系的变换

本节介绍如何从直角坐标下的三种元变换到曲线坐标,多公式预警!

4.1 通用变换方法

通用的方法是设曲线坐标系的三个方向为u1,u2,u3u_1,u_2,u_3,直角坐标系的三个坐标重写为x1,x2,x3x_1,x_2,x_3,与xyz一一对应,与uiu_i的对应关系是:
{x1=x1(u1,u2,u3)x2=x2(u1,u2,u3)x3=x3(u1,u2,u3)\begin{cases}x_1=x^1(u_1,u_2,u_3)\\x_2=x^2(u_1,u_2,u_3)\\x_3=x^3(u_1,u_2,u_3)\end{cases}
注意这里的上标并不代表次幂,只是一个记号。
线元就变成了:
dr2=dxidxi=dx12+dx22+dx32=xiujdujxiukdukdr^2=dx_idx_i=dx^2_1+dx^2_2+dx^2_3=\frac{\partial x^i}{\partial u_j}du_j\frac{\partial x^i}{\partial u_k}du_k
这里的dxi=xiu1du1+xiu2du2+xiu3du3dx_i=\frac{\partial x^i}{\partial u_1}du_1+\frac{\partial x^i}{\partial u_2}du_2+\frac{\partial x^i}{\partial u_3}du_3
上面的表达式包含爱因斯坦求和,其步骤是先把i确定下来(从1到3),再对jk求和。

gij=xiujxiukg_{ij}=\frac{\partial x^i}{\partial u_j}\frac{\partial x^i}{\partial u_k}
也就得到:dr2=gijduidujdr^2=g_{ij}du_idu_j
又因为正交曲线坐标系中的gij={giii=j0ijg_{ij}=\begin{cases}g_{ii}&i=j\\0&i\neq j\end{cases},这样就可以得到曲线坐标系下线元的形式dr2=g11(du1)2+g22(du2)2+g33(du3)2dr^2=g_{11}(du_1)^2+g_{22}(du_2)^2+g_{33}(du_3)^2

则每一个弧长微分为:
{ds1=g11du1=h1du1ds2=g22du2=h2du2ds3=g33du3=h3du3\begin{cases}ds_1=\sqrt{g_{11}}du_1=h_1du_1\\ ds_2=\sqrt{g_{22}}du_2=h_2du_2\\ ds_3=\sqrt{g_{33}}du_3=h_3du_3\end{cases}
下一步就是针对具体的某个曲线坐标系求它对应的变换系数h就可以了。

面元为:
{dσ12=h1h2du1du2dσ23=h2h3du2du3dσ13=h1h3du1du3,\begin{cases}d\sigma_{12}=h_1h_2du_1du_2\\ d\sigma_{23}=h_2h_3du_2du_3\\d\sigma_{13}=h_1h_3du_1du_3,\end{cases}

体元为:
dV=ds1ds2ds3=h1h2h3du1du2du3dV=ds_1ds_2ds_3=h_1h_2h_3du_1du_2du_3

4.2 柱坐标各方向变换系数

本章第二节已经说明了直角坐标和柱坐标的转换函数了。
按4.1的公式:dr2=drdr=xiujdujxiukdukdr^2=d\bold r\cdot d\bold r=\frac{\partial x^i}{\partial u_j}du_j\frac{\partial x^i}{\partial u_k}du_k,我们就可以得到:(本质上用的是多变量的链式法则)
(1)dr2=(xrdr+xθdθ)2+(yrdr+yθdθ)2+(zzdz)2dr^2=(\frac{\partial x}{\partial r}dr+\frac{\partial x}{\partial \theta}d\theta)^2+(\frac{\partial y}{\partial r}dr+\frac{\partial y}{\partial \theta}d\theta)^2+(\frac{\partial z}{\partial z}dz)^2\tag{1}
(2)xr=cosθ;xθ=rsinθ;yr=sinθ;yθ=rcosθ\frac{\partial x}{\partial r}=\cos\theta;\frac{\partial x}{\partial \theta}=-r\sin\theta;\frac{\partial y}{\partial r}=\sin\theta;\frac{\partial y}{\partial \theta}=r\cos\theta\tag{2}
展开公式1并把公式2带入公式1,可以得到:
{grr=1gθθ=r2gzz=1, {hr=1hθ=rhz=1\begin{cases}g_{rr}=1\\ g_{\theta\theta}=r^2\\ g_{zz}=1\end{cases},\ \begin{cases}h_{r}=1\\ h_{\theta}=r\\ h_{z}=1\end{cases}

4.3 球坐标各方向变换系数

最后是直角坐标和球坐标的转换了。
按4.1的公式:dr2=drdr=xiujdujxiukdukdr^2=d\bold r\cdot d\bold r=\frac{\partial x^i}{\partial u_j}du_j\frac{\partial x^i}{\partial u_k}du_k,我们就可以得到:
(3)dr2=(xρdρ+xϕdϕ+xθdθ)2+(yρdρ+yϕdϕ+yθdθ)2+(zρdρ+zϕdϕ)2 dr^2=(\frac{\partial x}{\partial \rho}d\rho+\frac{\partial x}{\partial \phi}d\phi+\frac{\partial x}{\partial \theta}d\theta)^2+(\frac{\partial y}{\partial \rho}d\rho+\frac{\partial y}{\partial \phi}d\phi+\frac{\partial y}{\partial \theta}d\theta)^2+(\frac{\partial z}{\partial \rho}d\rho+\frac{\partial z}{\partial \phi}d\phi)^2\ \tag{3}
xρ=sinϕcosθ;xϕ=ρcosϕcosθ;xθ=ρsinϕsinθ;\frac{\partial x}{\partial \rho}=\sin\phi\cos\theta;\frac{\partial x}{\partial \phi}=-\rho\cos\phi\cos\theta;\frac{\partial x}{\partial \theta}=-\rho\sin\phi\sin\theta; yρ=sinϕsinθ;yϕ=ρcosϕsinθ;yθ=ρsinϕcosθ\frac{\partial y}{\partial \rho}=\sin\phi\sin\theta;\frac{\partial y}{\partial \phi}=\rho\cos\phi\sin\theta;\frac{\partial y}{\partial \theta}=\rho\sin\phi\cos\theta(4)zρ=cosϕ;zϕ=ρsinϕ\frac{\partial z}{\partial \rho}=\cos\phi;\frac{\partial z}{\partial \phi}=-\rho\sin\phi\tag{4}
展开公式3并把公式4带入公式3,可以得到:
{hρ=1hϕ=ρhθ=ρsinϕ\begin{cases}h_{\rho}=1\\ h_{\phi}=\rho\\ h_{\theta}=\rho\sin\phi\end{cases}

5. 总结——曲线坐标系下的线元,面元,体元表达形式

5.1 柱坐标

线元
{dsr=drdsθ=rdθdsz=dz\begin{cases}ds_r=dr\\ds_\theta=rd\theta\\ ds_z=dz\end{cases}
面元
{dσrθ=dsrdsθ=rdrdθdσθz=dsθdsz=rdθdzdσrz=dsrdsz=drdz\begin{cases}d\sigma_{r\theta}=ds_rds_\theta =rdrd\theta\\d\sigma_{\theta z}=ds_\theta ds_z =rd\theta dz\\ d\sigma_{rz}=ds_rds_z=drdz\end{cases}
体元
dV=dsrdsθdsz=rdrdθdzdV=ds_rds_\theta ds_z=rdrd\theta dz

5.2 球坐标

线元
{dsρ=dρdsϕ=ρdϕdsθ=ρsinθdθ\begin{cases}ds_\rho=d\rho\\ ds_\phi=\rho d\phi\\ ds_\theta=\rho\sin\theta d\theta \end{cases}
面元
{dσρϕ=dsρdsϕ=ρdρdϕdσϕθ=ρ2sinθdϕdθdσρθ=ρsinθdρdθ\begin{cases}d\sigma_{\rho\phi}=ds_\rho ds_\phi =\rho d\rho d\phi\\ d\sigma_{\phi\theta}=\rho^2\sin\theta d\phi d\theta \\ d\sigma_{\rho\theta}=\rho\sin\theta d\rho d\theta\end{cases}
体元
dV=dsρdsϕdsθ=ρ2sinϕdρdϕdθdV=ds_\rho ds_\phi ds_\theta=\rho^2\sin\phi d \rho d \phi d\theta

6. 曲线坐标系下梯度,散度,旋度的表达

以上是曲线坐标系中最基本的几个表达式。本节在上文内容的基础上引出柱坐标和球坐标以及曲线坐标系下梯度,散度,旋度的表达形式。

6.1 梯度表示

直角坐标系中某一标量场f(x,y,z)f(x,y,z)的梯度表达是为f=fxei+fyej+fzek\nabla f=\frac{\partial f}{\partial x}\bold e_i+\frac{\partial f}{\partial y}\bold e_j+\frac{\partial f}{\partial z}\bold e_k,梯度有一个性质是:fdr=df\nabla f\cdot d\bold r=df

如果是任意正交曲线坐标系下的标量场f(u1,u2,u3)f(u_1,u_2,u_3)的话,它的微分形式本身可以表达为df=fuieuidf=\frac{\partial f}{\partial u_i}\bold e_{u_i},另外一种与梯度相关的微分表达等式是:
df=fidsi=fihiduidf=\nabla f_i ds_i =\nabla f_i h_idu_i
fui=fihidui  fi=1hifui\frac{\partial f}{\partial u_i}=\nabla f_i h_idu_i\ \to \ \nabla f_i=\frac{1}{h_i}\frac{\partial f}{\partial u_i}
完整的梯度表达形式就是:
f=1h1fu1eu1+1h2fu2eu2+1h3fu3eu3\nabla f=\frac{1}{h_1}\frac{\partial f}{\partial u_1}\bold e_{u_1}+\frac{1}{h_2}\frac{\partial f}{\partial u_2}\bold e_{u_2}+\frac{1}{h_3}\frac{\partial f}{\partial u_3}\bold e_{u_3}

曲线坐标系下的哈密顿算子\nabla的表达形式为:

=1h1u1eu1+1h2u2eu2+1h3u3eu3\nabla =\frac{1}{h_1}\frac{\partial }{\partial u_1}\bold e_{u_1}+\frac{1}{h_2}\frac{\partial }{\partial u_2}\bold e_{u_2}+\frac{1}{h_3}\frac{\partial }{\partial u_3}\bold e_{u_3}

6.2 散度

假设曲线坐标系下有一向量场A\bold A,其散度的定义为:
divA=limΔV01ΔVSAdσ\text{div}\bold A=\lim_{\Delta V\to 0}\frac{1}{\Delta V}\oiint_S\bold A\cdot d \bold\sigma
如下图,随意选取一个基向量的方向,比如说是e1\bold e_1,表达出通过平面ABCD和A’B’C’D’的通量差即可。
通量差为:
u1(A1h2h3)du1du2du3\frac{\partial }{\partial u_1}(A_1h_2h_3)du_1du_2du_3
之后除以体积元dV=h1h2h3u1u2u3dV=h_1h_2h_3u_1u_2u_3即可得到e1\bold e_1方向的散度表达式:1h1h2h3u1(A1h2h3)\frac{1}{h_1h_2h_3}\frac{\partial }{\partial u_1}(A_1h_2h_3)

整体的散度表达式为:
A=1h1h2h3[u1(A1h2h3)+u2(A2h3h1)+u3(A3h1h2)]\nabla\cdot\bold A= \frac{1}{h_1h_2h_3}\begin{bmatrix}\frac{\partial }{\partial u_1}(A_1h_2h_3)+\frac{\partial }{\partial u_2}(A_2h_3h_1)+\frac{\partial }{\partial u_3}(A_3h_1h_2)\end{bmatrix}

h1=h2=h3=1h_1=h_2=h_3=1的时候,上述表达式与直角坐标系的散度表达式相同。

R3空间曲线坐标系变换及向量分析

6.3 旋度表示

旋度的定义
与散度的定义类似,旋度的定义也是通过极限来定义的。假设空间中有一向量场A\bold A,其旋度为:
curlA×A=limΔσ01ΔσCAdl\text{curl}\bold A\equiv\nabla\times\bold A=\lim_{\Delta \sigma\to 0}\frac{1}{\Delta\sigma}\oint_C \bold A\cdot d\bold l

R3空间曲线坐标系变换及向量分析
推导思路:
如上图,由于是曲线包围的是曲面,所以先计算一个方向上通过这一闭合曲线ABCD的线积分,除以该方向的面元就可以得到该方向的旋度分量,之后再考虑其他剩余方向。
可以参考下图:
R3空间曲线坐标系变换及向量分析
任意正交曲线坐标系下的旋度公式:(行列式形式)
×A=eu1h1eu1h2eu1h3u1u2u3h1A1h2A2h3A3\nabla\times\bold A=\begin{vmatrix}\bold e_{u_1}h_1&\bold e_{u_1}h_2&\bold e_{u_1}h_3\\ \\ \frac{\partial}{\partial u_1}&\frac{\partial}{\partial u_2}&\frac{\partial}{\partial u_3}\\ \\ h_1A_1&h_2A_2&h_3A_3 \end{vmatrix}

球坐标和柱坐标下的散度和旋度表达式只需带入相应的参数hh即可