矢量算符运算法则

                     

贡献者: addis

  • 每个等式给出一些百科中应用的链接
预备知识 梯度,旋度,列维—奇维塔符号

  1这里列举一些常用的矢量算符恒等式,证明见文末。

1. 一阶导数

梯度

\begin{equation} \boldsymbol\nabla (fg) = f \boldsymbol\nabla g + g \boldsymbol\nabla f~, \end{equation}
\begin{equation} \boldsymbol\nabla ( \boldsymbol{\mathbf{A}} \boldsymbol\cdot \boldsymbol{\mathbf{B}} ) = \boldsymbol{\mathbf{A}} \boldsymbol\times ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{B}} ) + \boldsymbol{\mathbf{B}} \boldsymbol\times ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{A}} ) + ( \boldsymbol{\mathbf{A}} \boldsymbol\cdot \boldsymbol\nabla ) \boldsymbol{\mathbf{B}} + ( \boldsymbol{\mathbf{B}} \boldsymbol\cdot \boldsymbol\nabla ) \boldsymbol{\mathbf{A}} ~. \end{equation}

散度

\begin{equation} \boldsymbol{\nabla}\boldsymbol{\cdot} (f \boldsymbol{\mathbf{A}} ) = f ( \boldsymbol{\nabla}\boldsymbol{\cdot} \boldsymbol{\mathbf{A}} ) + \boldsymbol{\mathbf{A}} \boldsymbol\cdot ( \boldsymbol\nabla f)~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\cdot} ( \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} ) = \boldsymbol{\mathbf{B}} \boldsymbol\cdot ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{A}} ) - \boldsymbol{\mathbf{A}} \boldsymbol\cdot ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{B}} )~. \end{equation}

旋度

\begin{equation} \boldsymbol{\nabla}\boldsymbol{\times} (f \boldsymbol{\mathbf{A}} ) = f ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{A}} ) + ( \boldsymbol\nabla f) \boldsymbol\times \boldsymbol{\mathbf{A}} ~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\times} ( \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} ) = ( \boldsymbol{\mathbf{B}} \boldsymbol\cdot \boldsymbol\nabla ) \boldsymbol{\mathbf{A}} - ( \boldsymbol{\mathbf{A}} \boldsymbol\cdot \boldsymbol\nabla ) \boldsymbol{\mathbf{B}} + \boldsymbol{\mathbf{A}} ( \boldsymbol{\nabla}\boldsymbol{\cdot} \boldsymbol{\mathbf{B}} ) - \boldsymbol{\mathbf{B}} ( \boldsymbol{\nabla}\boldsymbol{\cdot} \boldsymbol{\mathbf{A}} )~. \end{equation}

2. 二阶导数

\begin{equation} \boldsymbol{\nabla}\boldsymbol{\cdot} ( \boldsymbol\nabla f) = \boldsymbol{\nabla}^2 f~, \end{equation}
\begin{equation} \boldsymbol{\nabla}^2 (f \boldsymbol{\mathbf{v}} ) = ( \boldsymbol{\nabla}^2 f) \boldsymbol{\mathbf{v}} + f \boldsymbol{\nabla}^2 \boldsymbol{\mathbf{v}} + 2 ( \boldsymbol\nabla f \boldsymbol\cdot \boldsymbol\nabla ) \boldsymbol{\mathbf{v}} ~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\times} ( \boldsymbol\nabla f) = \boldsymbol{\mathbf{0}} ~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\cdot} ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{v}} ) = 0~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\times} ( \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{v}} ) = \boldsymbol\nabla ( \boldsymbol{\nabla}\boldsymbol{\cdot} \boldsymbol{\mathbf{v}} ) - \boldsymbol{\nabla}^2 \boldsymbol{\mathbf{v}} ~. \end{equation}

3. 复合函数求导

   使用链式法则容易证明以下关系

\begin{equation} \boldsymbol\nabla f[g( \boldsymbol{\mathbf{r}} )] = f'[g( \boldsymbol{\mathbf{r}} )] \boldsymbol\nabla g( \boldsymbol{\mathbf{r}} )~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\cdot} \boldsymbol{\mathbf{f}} [g( \boldsymbol{\mathbf{r}} )] = \boldsymbol{\mathbf{f}} '[g( \boldsymbol{\mathbf{r}} )] \boldsymbol\cdot \boldsymbol\nabla g( \boldsymbol{\mathbf{r}} )~, \end{equation}
\begin{equation} \boldsymbol{\nabla}\boldsymbol{\times} \boldsymbol{\mathbf{f}} [g( \boldsymbol{\mathbf{r}} )] = \left[ \boldsymbol\nabla g( \boldsymbol{\mathbf{r}} ) \right] \boldsymbol\times \boldsymbol{\mathbf{f}} '[g( \boldsymbol{\mathbf{r}} )]~, \end{equation}
\begin{equation} \boldsymbol{\nabla}^2 f[g( \boldsymbol{\mathbf{r}} )] = f''[g( \boldsymbol{\mathbf{r}} )] ( \boldsymbol\nabla g)^2 + f'[g( \boldsymbol{\mathbf{r}} )] \boldsymbol{\nabla}^2 g( \boldsymbol{\mathbf{r}} )~. \end{equation}

4. 证明

   理论上,我们可以直接根据定义,将各个矢量记为分量的形式证明,但直接写出来非常繁琐。一种简单的记号是使用克罗内克 delta 函数 $\delta_{i,j}$ 和 Levi-Civita 符号 $\epsilon_{i,j,k}$,再结合爱因斯坦求和约定证明。

   我们另外推荐一种不需要写出分量的推导方法,见 “一种矢量算符的运算方法”。


1. ^ 参考 [1] 相关章节。


[1] ^ David Griffiths, Introduction to Electrodynamics, 4ed

致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利