梯度的旋度等于0、旋度的散度等于0的张量证明

最新推荐文章于 2024-07-22 14:10:07 发布

Louis_future

最新推荐文章于 2024-07-22 14:10:07 发布

阅读量1.6k

点赞数 12

分类专栏：数学证明文章标签：学习

本文链接：https://blog.csdn.net/m0_55461298/article/details/135472413

版权

数学证明专栏收录该内容

2 篇文章 0 订阅

订阅专栏

本文详细介绍了在笛卡尔坐标系中，梯度、散度和旋度的概念，以及它们的数学表示，并证明了梯度的旋度和旋度的散度都等于0，关键在于利用了置换张量的性质和求和约定。

摘要由CSDN通过智能技术生成

前提：在笛卡尔坐标系中，指标不分上下；指标的字母可以替换；使用手写记法表示向量。

定义：

（1）梯度算子 $\vec{\bigtriangledown}$ 作用于标量场 $\phi$ ，称为 $\phi$ 的梯度，读作 $grad\phi$ ，表示如下：

$\vec{\bigtriangledown}\phi =\frac{\partial \phi}{\partial x_1}\vec{e_1}+\frac{\partial \phi}{\partial x_2}\vec{e_2}+\frac{\partial\phi}{\partial x_3}\vec{e_3}=\frac{\partial\phi}{\partial x_i}\vec{e_i}$

（2） $\vec{v}$ 的散度是一个标量，表示为 $div\vec{v}$ ，描述如下：

$div\vec{v}=\vec{\bigtriangledown}\cdot \vec{v}=\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3}=\frac{\partial v_i}{\partial x_i}$

（3） $\vec{v}$ 的旋度由 $\vec{\bigtriangledown}$ 与 $\vec{v}$ 的叉积获得，表示为 $curl\vec{v}$ ，描述如下：

$curl\vec{v}=\vec{\bigtriangledown}\times\vec{v}=\varepsilon_{ijk} \frac{\partial v_k}{\partial x_j}\vec{e_{i}}$

式中， $\varepsilon_{ijk}$ 为置换张量，也称交错张量。

证明梯度的旋度等于0：

$\phi$ 的梯度的旋度可以表示为：

$curlgrad\phi =\vec{\bigtriangledown }\times \left ( \vec{\bigtriangledown}\phi \right )$

其中：

$\vec{\bigtriangledown}=\frac{\partial}{\partial x_i}\vec{e_i}$

使用指标表示：

$curlgrad\phi =\varepsilon _{ijk}\frac{\partial}{\partial x_j}\frac{\partial\phi}{\partial x_k}\vec{e_i}=\varepsilon _{ijk}\frac{\partial^{2}\phi}{\partial x_k\partial x_j}\vec{e_i}$

又，

$\frac{\partial^{2}\phi}{\partial x_k\partial x_j}=\frac{\partial^{2}\phi}{\partial x_j\partial x_k}$

根据置换张量的指标每调换一次其值变为相反数的性质，有：

$\varepsilon _{ijk}=-\varepsilon _{ikj}$

而此时，根据求和约定， $\varepsilon _{ijk}\frac{\partial^{2}\phi}{\partial x_k\partial x_j}\vec{e_i}$ 有6项。结合上述性质，可知两两互为相反数。

因此，

$\varepsilon _{ijk}\frac{\partial^{2}\phi}{\partial x_k\partial x_j}\vec{e_i}=\vec{0}$

故，

$curlgrade\phi =\vec{\bigtriangledown }\times \left ( \vec{\bigtriangledown}\phi \right )=\varepsilon _{ijk}\frac{\partial^{2}\phi}{\partial x_k\partial x_j}\vec{e_i}=\vec{0}$

证毕！

证明旋度的散度等于0：

$\vec{v}$ 的旋度的散度可以表示为：

$divcurl\vec{v}=\vec{\bigtriangledown}\cdot \left (\vec{\bigtriangledown}\times\vec{v} \right )$

其中：

$\vec{\bigtriangledown}=\frac{\partial}{\partial x_i}\vec{e_i}$

$\vec{v}=v_{i}\vec{e_i}$

$\vec{\bigtriangledown}\times\vec{v}=\varepsilon _{ijk}\frac{\partial v_{k}}{\partial x_j}\vec{e_i}$

故，

$divcurl\vec{v}=\vec{\bigtriangledown}\cdot \left (\vec{\bigtriangledown}\times\vec{v} \right )=\frac{\partial}{\partial x_r}\vec{e_r}\cdot \varepsilon _{ijk}\frac{\partial v_{k}}{\partial x_j}\vec{e_i}=\delta _{ri}\varepsilon _{ijk}\frac{\partial^{2} v_{k}}{\partial x_j{\partial x_r}}$

式中， $\delta _{ri}$ 为Kronecker符号；当且仅当 r=i 时， $\delta _{ri}\neq 0$ 。

利用该性质，对上式进行简化：

$divcurl\vec{v}=\vec{\bigtriangledown}\cdot \left (\vec{\bigtriangledown}\times\vec{v} \right )=\varepsilon _{ijk}\frac{\partial^{2} v_{k}}{\partial x_j{\partial x_i}}$

又，

$\frac{\partial^{2} v_{k}}{\partial x_j{\partial x_i}}=\frac{\partial^{2} v_{k}}{\partial x_i{\partial x_j}}$

根据置换张量的指标每调换一次其值变为相反数的性质，有：

$\varepsilon _{ijk}=-\varepsilon _{jik}$

而此时，根据求和约定， $\varepsilon _{ijk}\frac{\partial^{2} v_{k}}{\partial x_j{\partial x_i}}$ 有6项。结合上述性质，可知两两互为相反数。

因此，

$\varepsilon _{ijk}\frac{\partial^{2} v_{k}}{\partial x_j{\partial x_i}}=0$

故，

$divcurl\vec{v}=\vec{\bigtriangledown}\cdot \left (\vec{\bigtriangledown}\times\vec{v} \right )=\varepsilon _{ijk}\frac{\partial^{2} v_{k}}{\partial x_j{\partial x_i}}=0$