那么这里是张量分析
张量,tensor,重要分析工具,不可不品尝。
不多说,开干!
(一)什么是张量
张量是个很神奇的东西,在学习张量之前,我们有必要复习一下关于矢量的知识。
矢量的基本知识
三维Euclidean空间中,矢量是具有大小与方向且满足一定规则的实体。矢量具有相等关系,大小与方向均相同的矢量相等。
矢量的和按照平行四边形法则进行合成。矢量和满足交换律和结合律。R3矢量的全体对矢量和封闭,零矢量定义为大小为0方向任意的矢量。这是说,矢量对和构成交换环。
矢量的数乘按照矢量的倍数和定义,且满足分配律。
矢量空间具有封闭性,这是说矢量空间中任意矢量的线性组合依然是该空间中的矢量。
一个矢量空间中最大线性无关矢量组所包含的矢量数称为该矢量空间的维数,包含维数个线性无关矢量的矢量组可以作为该空间的一组基底,这是说任意该空间中的矢量均可以表达为这组矢量的线性组合。
矢量的点积是指矢量模与其夹角余弦之积,结果为实数,满足交换律、分配律、正定性和施瓦茨不等式。矢量的叉积的结果是矢量,该矢量与两运算矢量所在平面垂直,按照坐标系的定向来定向。叉积满足反交换律、分配律,不满足结合律。二重叉积满足 \[ u \times (v \times w) = (u\cdot w)v-(u\cdot v)w \]
由此可见,叉积不满足结合律。
矢量的混合积是指 \[ \begin{align} [u\; v\; w]&=(u\times v)\cdot w=u\cdot (v\times w)\\ &=\begin{bmatrix} u_{x}&u_{y}&u_{z}\\ v_{x}&v_{y}&v_{z}\\ w_{x}&w_{y}&w_{z} \end{bmatrix} =\begin{bmatrix} u_{x}&v_{x}&w_{x}\\ u_{y}&v_{y}&w_{y}\\ u_{z}&v_{z}&w_{z} \end{bmatrix} \end{align} \] 混合积换序应满足 \[ \begin{align} [u\; v\; w]&=[v\; w\; u]=[w\; u\; v]\\&=-[v\; u\; w]=-[u\; w\; v]=-[w\; v\; u] \end{align} \] 在线性代数中我们已经了解,混合积的意义是以u、v、w三个矢量为棱边的平行六面体的体积,上式还说明了u、v、w构成右手系时体积为正。
由上式易知: \[ [u\; v\; w][u'\; v'\; w']=\begin{bmatrix} u\cdot u'&u\cdot v'&u\cdot w'\\ v\cdot u'&v\cdot v'&v\cdot w'\\ w\cdot u'&w\cdot v'&w\cdot w' \end{bmatrix} \]
回顾完矢量,我们再说坐标系。我们从微积分初步里面可以了解到,坐标系永远不是本质的,只能在某种程度上作为方便我们研究的参照。由此可见,只具有正交坐标轴的笛卡尔坐标系远远不能满足我们日益复杂的参照需求。那么我们从矢量基底的角度来研究一下坐标系。
斜角直线坐标系
取平面内的两直线\(x^{1}\),\(x^{2}\),坐标线互不相交且夹角为\(\phi\)。若选用沿\(x^{1}\)与\(x^{2}\)坐标线的参考矢量\(\textbf{g}_{1}\)与\(\textbf{g}_{2}\)(他们可以不是单位矢量),则任意矢量P可以表示为: \[ \textbf{P} =P^{1}\textbf{g}_{1}+P^{2}\textbf{g}_{2}=\Sigma^{2}_{\alpha =1}P^{\alpha}\textbf{g}_{\alpha}=P^{\alpha}\textbf{g}_{\alpha} \] 此处约定俗成地使用了爱因斯坦求和约定,\(\alpha\)称为哑指标,满足以下规则:
哑指标求和规则:
(1)在同一项中,同一个字母以上标和下标成对出现,表示按照该指标遍历求和。
(2)哑指标为黏附变元,本身并无意义,只有用作求和时才有标记的意义。亦即求和结果与哑指标选取无关。
当选定参考基矢量之后,可以用初等代数的方法来确定任意矢量P的分矢量\(P^{1}\),\(P^{2}\)。设引入\(x^{1}\),\(x^{2}\)的单位矢量为i1、i2,则有 \[ i_{1}\cdot i_{1}=i_{2}\cdot i_{2}=1\\ i_{1}\cdot i_{2}=i_{2}\cdot i_{1}=0\\ \textbf{g}_{1}=g_{1}i_{1},\textbf{g}_{2}=g_{2}i_{2} \] 与笛卡尔坐标系不同,因为\(g_{1}\),\(g_{2}\)矢量不为单位矢量且不正交,故矢量P在\(\textbf{g}_{\alpha}\)上的投影不等于它的分量: \[ P\cdot i_{1}=P^{1}\ |\textbf{g}_{1}| +P^{2}\ |\textbf{g}_{2}|\cos{\phi}\\ P\cdot i_{2}=P^{1}\ |\textbf{g}_{1}|\cos{\phi} +P^{2}\ |\textbf{g}_{2}| \] 这样表述P的分量的方法需要通过联立解以上代数方程来计算,这非常不方便,因而为求能够方便的表示分量,我们引入一对与\(\textbf{g}_{\alpha}\)对偶的参考矢量\(\textbf{g}^{\alpha}\),满足: \[ \textbf{g}^{1}\cdot \textbf{g}_{2}=\textbf{g}^{2}\cdot \textbf{g}_{1}=0\\ \textbf{g}^{1}\cdot \textbf{g}_{1}=\textbf{g}^{2}\cdot \textbf{g}_{2}=0 \]
称原来的下标矢量为协变基矢量,上标矢量为逆变基矢量。上式可统一写成对偶条件 \[ \textbf{g}^{\beta}\cdot\textbf{g}_{\alpha}=\delta^{\beta}_{\alpha} \] 式右侧为克罗内克算符。
由上式可知协变基矢量和逆变基矢量都是互相唯一确认的。以后对于每个坐标系都引入这样的对偶基矢量,并用上标和下标的方式确认协变和逆变指标。利用它们可以方便地求矢量的分量而不用解复杂的方程。如 \[ P^{1}=\textbf{P}\cdot\textbf{g}^{1}\\ P^{2}=\textbf{P}\cdot\textbf{g}^{2} \] 故我们现在有了若干个同一矢量关于协变基和逆变基的分解: \[ P=P^1g_1+P^2g_2\\ P^{1}=\textbf{P}\cdot\textbf{g}^{1}\\ P^{2}=\textbf{P}\cdot\textbf{g}^{2}\\ P=P_1g^1+P_2g^2\\ P_1=\textbf{P}\cdot\textbf{g}_{1}\\ P_{2}=\textbf{P}\cdot\textbf{g}_{2} \]
三维空间中的斜角直线坐标系
1、斜角直线坐标系
在三维空间中的斜角直线坐标系是二维形式的自然推广。三维空间中每一点用\((x^1,x^2.x^3)\)表示。显而易见的,三族坐标线是空间斜交的。
三维空间斜角坐标规定了以后,它的径矢也自然而然地确定了,即\(r=x^ig_i\)
2、协变基矢量
在上面的径矢表达式中对坐标微分有 \[ dr=\frac{\partial r}{\partial x^i}dx^i=g_idx^i \] 将径矢对坐标的偏导数定义为协变基矢量,称为自然基矢量,即\(g_i=\frac{\partial r}{\partial x^i}\)
协变基矢量的方向沿着坐标线正方向,其大小等于当坐标\(x^i\)有单位增量的时候两点之间的距离。因为三个坐标线非共面,故三者基矢量的混合积不为0,当组成右手系时,混合积为正值。
3、逆变基矢量
定义满足对偶条件的逆变基矢量,满足克罗内克条件。
今后可以证明,逆变基矢量实际上是垂直于某坐标的等值面的梯度 \[ \textbf{g}^i=gradx^i=\nabla x^i \] 4、由协变基矢量求逆变基矢量
逆变基矢量根据对偶条件由协变基矢量唯一确定。具体有两种计算方法:
法1: \[ 因为g^1垂直于g_2和g_3,可令g^1=ag^2\times g^3,由对偶条件,求得\\ g^1=\frac{1}{\sqrt{g}} (g_2\times g_3)\\ g^2=\frac{1}{\sqrt{g}} (g_3\times g_1)\\ g^3=\frac{1}{\sqrt{g}} (g_1\times g_2) \]