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

$\:F \vx (\:\nabla \vx \:F) = \ffd12 \:\nabla |\:F|^2 - (\:F \sx \:\nabla) \:F$

左辺 $$ = $$ $\:A \vx \Big(\ffd{1}{d\:r} \vx d\:A \Big)$

$\Big(\:A \sx d\:A \Big) \ffd{1}{d\:r}$ $\Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A$	ベクトル三重積： $\:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C$
$\ffd{d\:A \sx \:A + \:A \sx d\:A}{2} \ffd{1}{d\:r}$ $\Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A$	積の微分 $d(\:F \sx \:G) = d\:F \sx \:G + \:F \sx d\:G$ のための式変形*1
$\ffd{d(\:A \sx \:A)}{2} \ffd{1}{d\:r}$ $\Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A$
$\ffd{1}{2} \ffd{d\|\:A\|^2}{d\:r}$ $\Big(\:A \sx \ffd{1}{d\:r} \Big) d\:A$
右辺

のベクトル版 $d\:F^2 \equiv d(\:F \sx \:F) = 2\:F \sx d\:F$ のための式変形と解釈しても良い

$\:\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)$

$\ffd{1}{d\:r} \vx (d\:F \vx \:G) + \ffd{1}{d\:r} \vx (\:F \vx d\:G)$	積の微分： $d(\:F \vx \:G) = d\:F \vx \:G + \:F \vx d\:G$
$\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$	ベクトル三重積： $\:A \vx (\:B \vx \:C) = (\:A \sx \:C) \:B - (\:A \sx \:B) \:C$
$\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$	内積の交換則： $\:A \sx \:B = \:B \sx \:A$
$\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$
右辺

$\:\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)$

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

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