张量基础学习（四 张量代数运算——下）_张量缩并

欢迎大家来到这一期张量分析的相关博客学习，本期继续接着上期博客后面深入理解张量的缩并，内积，双点积等等，先赞后看，养成习惯！

一 . 张量的缩并

这又是张量所特有的一个代数运算，对 $n$ 阶张量进行缩并，其实就是对其中两两相同的指标按求和约定求和（不知道大家是否还记得爱因斯坦求和指标）.

我们先来看一看定义：

二阶张量缩并是标量。注意低于二阶的张量不能进行缩并过程！
三阶三维 $I_{ijk}$ 的缩并，将第一指标与第三指标缩并。即$i=k$，如上图所示，三阶变成了一阶！

结合我们之前学的爱因斯坦求和约定，从某种意义上来说，新张量每缩并一次就有两个基矢量参与，而阶数要降两阶的原因是两个自由指标化为一对哑指标！
这里有一张图片希望对大家的理解有帮助：

图片对于初学者来说比那些冗杂的数学公式更友好o(´^｀)o~~ ，其实，矩阵的相乘也就是一个缩并的过程，具体到后面再介绍！

还有一点需要注意的就是：若在张量中取不同基矢量的积，那么缩并产生的结果是不同的！

因此 $\mathbf{R}\ne \mathbf{S}$，我们在这里只是大概的理解一下张量的这些概念，主流认识，真正张量分析的纯数学运算和完整的证明 需要了解协变基矢量，逆变基矢量，对偶空间，指标的升降等等，如果想做纯数学推导的同学给大家一个传送门，这是一个系列，包含各种完整的证明推导！

二 . 张量的内积 双点积

（1）内积与点积

张量的内积：两个张量$\mathbf{T},\mathbf{S}$ 先并乘后缩并的运算叫做张量的内积（和下面的点积要分开）, 和缩并一样，对于内积运算应说明将张量$\mathbf{T}$ 的哪一个基矢量与张量 $\mathbf{S}$ 中的哪一个基矢量相点积!

若两个张量点积后得到一个新的张量 $\mathbf{U}$，且$\mathbf{T}$ 是 $m$ 阶张量，$\mathbf{S}$ 是 $n$ 阶张量 ，那么 $\mathbf{U}$的阶数是 $m+n-2$.

还记得我们在线代中学过的内积是个确定的值，那是因为当时的矢量是一阶张量，1+1-2=0 , 恰好为标量~~

for example：$\mathbf{A}=A_{ijk}{\mathbf{e}}_i{\mathbf{e}}_j{\mathbf{e}}_k，\mathbf{B}=B_{lm}{\mathbf{e}}_l{\mathbf{e}}_m$，则二者内积为：

同样，基于缩并，选择不同的基矢量进行点积得到的张量的点积结果是不同的！

那么什么是点积呢，其实二者也可以算是一种包含关系吧，其定义为前张量$\mathbf{A}$ 的最后基矢量与后张量 $\mathbf{B}$ 的第一基矢量缩并的结果：

一定要注意这两个“积”的区别，不单基矢缩并的位置不同 ，最后的结果也是不同的（过程决定结果）！

（2）双点积

刚才理解过张量的点积，那么什么是双点积，这个“双”字体现在哪里呢？

其实，张量的双点积就是 $\mathbf{T},\mathbf{S}$ 并乘后进行两次缩并，它有两种表达形式：

并联式：
串联式：
这个二者的区别我们从公式中的彩色下标也能 清晰的看到。
那么二者是否能相互转化，什么特殊的地方？我们用二阶张量矩阵来帮助大家理解一下：

还有一个性质就是：二阶张量的迹等于该矩阵与单位矩阵 $I$ 进行双点积之后得到结果：
$$\mathrm{tr}\mathbf{S}=\mathbf{S}:\mathbf{I}=\mathbf{S}\cdot \cdot \mathbf{I}$$

三 .特殊张量

下面我们介绍几种特殊的张量，说是特殊，其实类比到线代学习中的矩阵是非常好理解的！

（1）零张量：

张量中的每个元素都为0，即 $T_{ij}=0,T_{ij}^{\prime }=0$。

（1）单位张量：

可以类比到单位矩阵：$\mathbf{I}={\delta }_{ij}{\mathbf{e}}_i{\mathbf{e}}_j={\mathbf{e}}_1{\mathbf{e}}_1+{\mathbf{e}}_2{\mathbf{e}}_2+{\mathbf{e}}_3{\mathbf{e}}_3$

并且 $I_{ij}={\delta }_{ij}{I}_{ij}^{\prime }={\delta }_{ij}$，所以单位张量和任意张量的点积就是其本身！

（2）转置张量：
对于二阶张量矩阵来说，转置只需要将分量指标交换一下，基矢量顺序保持不变即可：

高阶张量理论上来说也是可以进行 转置 操作的，可能会有点麻烦，但是图是最好的语言：

随着维数的增加，转置的结果肯定也是不止一种，上图是三维张量的转置结果，通常情况下，我们应当是不需要求高阶张量转置结果的，因为分解之后更利于我们详细的分析！

（3）对称与反对称张量：

这个就更简单了，从对称矩阵的角度来看，根据$\mathcal{X}\in {\mathbb{R}}^{I_1\times I_2\cdots I_n}$中$I_1=I_2=\cdots =I_n$ 为界分为两部分，若这两部分中的元素相等，关于这一界限对称，就称为对称张量，如果对称的两部分元素相反，那么就称其为：反对称张量。

还要注意反对称张量主对角线上元素都为0；

四. 张量的主轴 主值和主分量

有一个二阶张量 $\mathbf{T}$ 与一个矢量$\mathbf{b}$ 点积之后得到一个新矢量${\mathbf{b}}^{\prime }$ ，假设它是由原矢量 $\mathbf{b}$ 进行放大（或缩小）并进行旋转得到的，那么问题就来了，对于某个已经给定的 $\mathbf{T}$ ，是否能找到某个方向上的矢量 $\mathbf{b}$ ，使得 $\mathbf{T}$ 经过点乘运算后得到的新矢量 ${\mathbf{b}}^{\prime }$ 与 $\mathbf{b}$ 同向，大小可以变化，即：
$${\mathbf{b}}^{\prime }=\mathbf{T}\cdot \mathbf{b}=\lambda \mathbf{b}$$

到这里，有两个知识点突然在我脑海中蹦了出来，第一个就是旋转矩阵，那是一个遥远的的梦，但我依稀记得那是我们在学量子力学时 遇到的，给大家个传送门，开头就是！除此之外第二个，上面这个式子是不是有那么一丝熟悉，是不是和我们线代中最重要的包含特征值与特征向量的特征方程有那么一点点神似啊！世界上最悲哀的事就是，梦想在眼前，可惜你却不认识她！

线性代数是我见过最美的数学，没有之一，不接受反驳 (︶.̮︶✽) ！

那么这个符合要求的矢量 $\mathbf{b}$ 的方向称为张量 $\mathbf{A}$ 的主轴（或主方向），$\lambda$ 称为其主值（主分量）！马上就解它！

下面我们来解一下，简单处理后得到：$\left(T_{ij}-\lambda {\delta }_{ij}\right)b_j=0(i=1,2,3)$

其实这就是解齐次线性方程组（不赘述了），计算整理之后得到：
$${\lambda }^3-I_1{\lambda }^2+I_2\lambda -I_3=0$$
其中：
$I_1=T_{11}+T_{22}+T_{33}=T_{ii}$ （迹）

I 2 = ∣ T 22 T 23 T 32 T 33 ∣ + ∣ T 11 T 13 T 31 T 33 ∣ + ∣ T 11 T 12 T 21 T 22 ∣ = 1 2 ( T i i T j j − T i j T j i ) I_{2}=\left|

$$\begin{array}{ll}T_{22} & T_{23} \\ T_{32} & T_{33}\end{array}$$ \right|+\left| $$\begin{array}{ll}T_{11} & T_{13} \\ T_{31} & T_{33}\end{array}$$ \right|+\left| $$\begin{array}{ll}T_{11} & T_{12} \\ T_{21} & T_{22}\end{array}$$ \right|=\frac{1}{2}\left(T_{i i} T_{j j}-T_{i j} T_{j i}\right) I2​=∣∣∣∣​T22​T32​​T23​T33​​∣∣∣∣​+∣∣∣∣​T11​T31​​T13​T33​​∣∣∣∣​+∣∣∣∣​T11​T21​​T12​T22​​∣∣∣∣​=21​(Tii​Tjj​−Tij​Tji​) （二阶主子式之和）

I 3 = ∣ T 11 T 12 T 13 T 21 T 22 T 23 T 31 T 32 T 33 ∣ = e i j k T 1 i T 2 j T 3 k I_{3}=\left|

$$\begin{array}{lll}T_{11} & T_{12} & T_{13} \\ T_{21} & T_{22} & T_{23} \\ T_{31} & T_{32} & T_{33}\end{array}$$ \right|=e_{i j k} T_{1 i} T_{2 j} T_{3 k} I3​=∣∣∣∣∣∣​T11​T21​T31​​T12​T22​T32​​T13​T23​T33​​∣∣∣∣∣∣​=eijk​T1i​T2j​T3k​ （行列式本身）

将这三者代回上述式子中得到三个 $\lambda$ 的值就成为 张量 $\mathbf{T}$ 的主分量！

回过头来，有几点结论需要混个眼熟：

1. 本等式的成立不受坐标系的影响。
2. 若主分量值${\lambda }_1,{\lambda }_2,{\lambda }_3$ 互不相同，则${\mathbf{b}}_1,{\mathbf{b}}_2,{\mathbf{b}}_3$ 相互正交！
3. 如果$\lambda$ 解出来是二重根，例如${\lambda }_1={\lambda }_2$，则垂直于 ${\mathbf{b}}_3$ 的任何方向都可以是 主方向 。
4. 如果三个根都重了，那么任何方向都可作为主方向，我们从 $\mathbf{b}$ 三者中随机选一个就行了！