回転公式のバックアップ差分(No.4) < ベクトル微分演算子

追加された行はこの色です。
削除された行はこの色です。
%indent

////////////////////////////////////////////////////////////////
* 回転と元ベクトルの外積 [#ycfe8cfc]
** 回転と元ベクトルの外積 [#ycfe8cfc]

ナブラ表記：
$$
  \:F \vx (\:\nabla \vx \:F)
   = \ffd12 \:\nabla |\:F|^2 - (\:F \sx \:\nabla) \:F
$$

猫式導出：

左辺$$ = $ \:A \vx \Big(\ffd{1}{d\:r} \vx d\:A \Big) $$
#ceq(e)
    $$ = $ \Big(\:A \sx d\:A \Big) \ffd{1}{d\:r} $ - $ \Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A $$
#ceq
    外積の外積：$$ \:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C $$
#ceq(e)
    $$ = $ \ffd{d\:A \sx \:A + \:A \sx d\:A}{2} \ffd{1}{d\:r} $ - $ \Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A $$
#ceq
    積の微分$$ d(\:F \sx \:G) = d\:F \sx \:G + \:F \sx d\:G $$のための式変形
    (($$ dF^2 = 2FdF $$のベクトル版$$ d\:F^2 \equiv d(\:F \sx \:F) = 2\:F \sx d\:F $$のための式変形と解釈しても良い))
#ceq(e)
    $$ = $ \ffd{d(\:A \sx \:A)}{2} \ffd{1}{d\:r} $ - $ \Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A $$
#ceq(e)
    $$ = $ \ffd{1}{2} \ffd{d|\:A|^2}{d\:r} $ - $ \Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A $$
#ceq(e)
    $$ = $$右辺
#ceq(end)

%bodynote

////////////////////////////////////////////////////////////////
* 外積の回転 [#a186c1a1]
** 外積の回転 [#a186c1a1]

$$
  \:\nabla \vx (\:F \vx \:G)
   = (\:G \sx \:\nabla) \:F
   - (\:F \sx \:\nabla) \:G
   + (\:\nabla \sx \:G) \:F
   - (\:\nabla \sx \:F) \:G
$$

猫式導出：

左辺$$ = $ \ffd{1}{d\:r} \vx d(\:F \vx \:G) $$
#ceq(e)
    $$ = $ \ffd{1}{d\:r} \vx (d\:F \vx \:G) + \ffd{1}{d\:r} \vx (\:F \vx d\:G) $$
#ceq
    積の微分：$$ d(\:F \vx \:G) = d\:F \vx \:G + \:F \vx d\:G $$
#ceq(e)
    $$ = $ \Big(\ffd{1}{d\:r} \sx  \:G \Big) d\:F $ - $ \Big(\ffd{1}{d\:r} \sx d\:F \Big)  \:G $$
    $$ + $ \Big(\ffd{1}{d\:r} \sx d\:G \Big)  \:F $ - $ \Big(\ffd{1}{d\:r} \sx  \:F \Big) d\:G $$
#ceq
    外積の外積：$$ \:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C $$
    ベクトル三重積：$$ \:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C $$
#ceq(e)
    $$ = $ \Big(\:G \sx \ffd{1}{d\:r} \Big) d\:F $ - $ \Big(\ffd{1}{d\:r} \sx d\:F \Big) \:G $$
    $$ - $ \Big(\:F \sx \ffd{1}{d\:r} \Big) d\:G $ + $ \Big(\ffd{1}{d\:r} \sx d\:G \Big) \:F $$
#ceq
    内積の交換則：$$ \:A \sx \:B = \:B \sx \:A $$
#ceq(e)
    $$ = $ \Big(\:G \sx \ffd{1}{d\:r} \Big) d\:F $$
    $$ - $ \Big(\:F \sx \ffd{1}{d\:r} \Big) d\:G $$
    $$ + $ \Big(\ffd{1}{d\:r} \sx d\:G \Big) \:F $$
    $$ - $ \Big(\ffd{1}{d\:r} \sx d\:F \Big) \:G $$
#ceq(e)
    $$ = $$右辺
#ceq(end)

////////////////////////////////////////////////////////////////
* 回転の回転 [#a186c1a1]
** 回転の回転 [#a186c1a1]

$$
  \:\nabla \vx (\:\nabla \vx \:F)
   = \:\nabla (\:\nabla \sx \:F)
   - \:\nabla \sx \:\nabla \:F
   = \:\nabla (\:\nabla \sx \:F)
   - \triangle \:F
$$

猫式導出：

左辺$$ = $ \ffd{1}{d\:r} \vx d \Big(\ffd{1}{d\:r} \vx d\:F \Big) $$
#ceq(e)
    $$ = $ \ffd{1}{d\:r} \vx \Big(\ffd{1}{d\:r} \vx d^2\:F \Big) $$
#ceq
    $$ \ffd{1}{d\:r} \vx $$は$$ d $$と交換可能。
#ceq(e)
    $$ = $ \Big(\ffd{1}{d\:r} \sx d^2\:F \Big) \ffd{1}{d\:r} $ - $ \Big(\ffd{1}{d\:r} \sx \ffd{1}{d\:r} \Big) d^2\:F $$
#ceq
    外積の外積：$$ \:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C $$
    ベクトル三重積：$$ \:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C $$
#ceq(e)
    $$ = $ \ffd{1}{d\:r} \Big(\ffd{1}{d\:r} \sx d^2\:F \Big) $ - $ \Big(\ffd{1}{d\:r} \sx \ffd{1}{d\:r} \Big) d^2\:F $$
#ceq
    倍積の交換則：$$ A \:B = \:B A $$
#ceq(e)
    $$ = $ \ffd{1}{d\:r} \Big(\ffd{1}{d\:r} \sx d^2\:F \Big) $ - $ \ddd{^2\:F}{\:r^2} $$
#ceq
    ラプラス演算子の猫式表記分数形：$$ \ddd{^2}{\:r^2} $$
    ラプラス演算子の猫式表記分数形：$$ \:\triangle \:F \Leftrightarrow \ddd{^2\:F}{\:r^2} $$
#ceq(e)
    $$ = $$右辺
#ceq(end)

////////////////////////////////////////////////////////////////
ベクトル微分演算子/回転公式 のバックアップ差分(No.4)

ベクトル微分演算子/回転公式のバックアップ差分(No.4)
