- 追加された行はこの色です。
- 削除された行はこの色です。
#freeze
/ベクトル微分演算子
%indent
////////////////////////////////////////////////////////////////
* $$ F $$をベクトル$$ \b r $$で微分 [#nb6b6566]
* 凌宮表記術：$$ F $$をベクトル$$ \:r $$で微分 [#nb6b6566]
ベクトル微分演算には勾配、回転、発散があり、
ベクトル表記は主に次の二系統。
- 文字名：$$ \grad $$、$$ \rot $$、$$ \diver $$
- ナブラ：$$ \nabla $$、$$ \nabla \vx $$、$$ \nabla \sx $$
;,ベクトル微分演算には勾配、回転、発散があり、ベクトル表記は主に次の二系統ある。
#ceq(e)
関数表記：$$ \grad $$、$$ \rot $$、$$ \diver $$
&br;ナブラ表記：$$ \:\nabla $$、$$ \:\nabla \vx $$、$$ \:\nabla \sx $$
#ceq(end)
ナブラの使った表記では、ナブラに対して通常のベクトル公式を使えるため、新たに公式を覚える必要が無い。
そのため、ベクトル微分公式を覚えるしかない文字名を使った表記よりは便利。
しかし、ベクトルと微分が分離されてないため、まだ改善余地がある。
ナブラは微分演算子として、右の式を微分対象と見なす。
一方、ナブラはベクトルでもあるため、ベクトル公式に従って移動する。
この結果、ナブラが常に微分対象の左に書けるとは限らない。
;,ナブラ表記では、ベクトル演算子を利用しているため、計算にベクトル演算の公式が利用できるなど、関数表記より表現力が高い。
;,ところが、ナブラを微分対象の左隣に書くという制約のため一部のベクトル計算で支障が出る
((特に交換則が成立しない回転では確実に困る。交換則が成立する勾配と発散でも、左右の入れ替えが意味的に望ましくない場合がある。))
((物理のかぎしっぽ/ベクトル解析/よくある間違い： http://hooktail.sub.jp/vectoranalysis/CommonMistake/))。
;,また、分数形でないため、高校で習うスカラ微分の連鎖則や小学校で習う約分の感覚が途絶えてしまう。
これに対し、猫式では「$$ \nabla $$」を「$$ \ddd{}{\b r} $$」と定義。
$$ \ffd{1}{d \b r} $$でベクトルを示し、$$ d $$で微分対象を示すことで、ベクトル微分の形式的な分離を実現。
;,これに対し、凌宮数学では$$ \ffd{1}{d \:r} $$でベクトルを、$$ d $$で微分対象を示し、ベクトル微分演算子を以下のように定義する。
;,これより、ベクトル演算と微分演算を表記上で分離する。
|CENTER:|CENTER: |CENTER: |CENTER: |CENTER: |c
|*流派 |< |*勾配 |*回転 |*発散 |
|文字名 |< |$$ \grad F $$|$$ \rot \b F $$|$$ \diver \b F $$|
|ナブラ |< |$$ \nabla F $$|$$ \nabla \vx \b F $$|$$ \nabla \sx \b F $$|
|猫式 |演算子形|$$ \ddd{}{\b r}F $$|$$ \ddd{}{\b r}\vx \b F $$|$$ \ddd{}{\b r}\sx \b F $$|
|^ |分数形 |$$ \ddd{F}{\b r} $$|$$ \ddd{\,\vx \b F}{\b r} $$|$$ \ddd{\, \sx \b F}{\b r} $$|
|^ |分離形 |$$ \ffd{1}{d \b r} dF $$|$$ \ffd{1}{d \b r}\vx d \b F $$|$$ \ffd{1}{d \b r}\sx d \b F $$|
|c: |c: |c: |c: |c: |c
|* |< |*勾配 |*回転 |*発散 |
|*関数表記 |< |$$ \grad F $$|$$ \rot \:F $$|$$ \diver \:F $$|
|*ナブラ表記|< |$$ \:\nabla F $$|$$ \:\nabla \vx \:F $$|$$ \:\nabla \sx \:F $$|
|*凌宮表記 |*分数形 |$$ \ddd{F}{\:r} $$|$$ \ddd{\,\vx \:F}{\:r} $$|$$ \ddd{\, \sx \:F}{\:r} $$|
|^ |*関数形 |$$ \ddd{}{\:r}F $$|$$ \ddd{\vx}{\:r} \:F $$|$$ \ddd{\, \sx}{\:r} \:F $$|
|^ |*演算子形|^ |$$ \ddd{}{\:r}\vx \:F $$|$$ \ddd{}{\:r}\sx \:F $$|
|^ |*分離形 |$$ \ffd{1}{d \:r} dF $$|$$ \ffd{1}{d \:r}\vx d \:F $$|$$ \ffd{1}{d \:r}\sx d \:F $$|
ここで、演算子形はナブラと完全互換な書式、
分数形は１次元の微分と似せた書式、
分離形は微分演算とベクトル演算が独立して行うための書式である。
これらの間は分数の感覚で自由に行き来できる。
;,まず見た目は、上から下に向かって表記が分離されていく形となる。
;,分数形は連鎖側のための書式である。
;,関数形は関数表機、演算子形はナブラ表記に互換性を持つ書式である。
;,分離形は微分演算とベクトル演算を別々計算するための書式である。
;,これらの間は分数の感覚で自由に行き来できるように工夫している。
%bodynote
////////////////////////////////////////////////////////////////
* 分数形：勾配を含む連鎖則 [#ae17ca19]
$$ r $$がスカラの場合、$$ \ddd{F}{t} = \ddd{F}{r} \ddd{r}{t} $$が$$ F(r(t)) $$に対する連鎖則。
分数形で記述する場合、あくまでも形式的だが、約分の感覚で直観的に式変形できる。
;,$$ r $$がスカラの場合、$$ \ddd{F}{t} = \ddd{F}{r} \ddd{r}{t} $$が$$ F(r(t)) $$に対する連鎖則。
;,分数形で記述する場合、あくまでも形式的だが、約分の感覚で直観的に式変形できる。
$$ \b r $$がベクトルの場合、$$ \ddd{F}{t} = \grad F \sx \ddd{r}{t} $$が$$ F(\b r(t)) $$に対する連鎖則。
ナブラを使っても$$ \ddd{F}{t} = \nabla F \sx \ddd{\b r}{t} $$。
微分に関しては、文字名もナブラも表現力に差はない。
;,$$ \:r $$がベクトルの場合、$$ \ddd{F}{t} = \grad F \sx \ddd{r}{t} $$が$$ F(\:r(t)) $$に対する連鎖則。
;,ナブラ表記でも$$ \ddd{F}{t} = \:\nabla F \sx \ddd{\:r}{t} $$と、表現力においては関数表記と大差ない。
猫式分数形で書けば、$$ \ddd{F}{t} = \ddd{F}{\b r} \sx \ddd{\b r}{t} $$になる。
スカラの積がスカラ内積になることを除けば、連鎖則の姿がそのまま生き残り、式を直観的に操作できる。
;,これらに対し連鎖則を凌宮表記の分数形で書けば、$$ \ddd{F}{t} = \ddd{F}{\:r} \sx \ddd{\:r}{t} $$になる。
;,スカラの積がスカラ積になることを除けば、分数の姿がそのまま生き残り、式を直感的に操作できる。
;,もっとも、スカラが１次元のベクトルで、その場合のスカラ積がスカラの積になるため、ベクトルの式がスカラの式を名実とも含むことになる。
////////////////////////////////////////////////////////////////
* 分離形：勾配対外積の分配則 [#f34c4419]
* 分離形：外積を含む分配則 [#f34c4419]
外積勾配の公式：$$ \grad(\b F \vx \b G) = \b G \sx (\rot \b F) - \b F \sx (\rot \b G) $$
;,ベクトルの外積は$$ \:A \vx \:B = - \:B \vx \:A $$のように、交換則の代わりに、交代則が成り立つ。
;,一方、ナブラは右側しか微分しないため、$$ - \:\nabla \vx \:A = \:A \vx \:\nabla $$と書けない。
;,高が符号一つだが、回転に対応する外積の交代則を記述できないがために、回転を含む微分演算の妨げになる。
ナブラを使う場合、微分対積の分配則とスカラー三重積の交換則で計算可能。
ただし、計算途中で作用対象が離れるため、工夫が必要。
良く見かける手法として、ナブラと作用対象を線または矢印で結ぶ記法がある。~
;,凌宮表記の分離形を使えば、交代則は$$ \ffd{1}{d\:r} \vx d\:F = - d\:F \vx \ffd{1}{d\:r} $$と書ける。
;,$$ \ffd{1}{d\:r} $$は最初に出会う$$ d $$が指し示す相手を微分するため、順番は関係ない。
;,これより、ベクトル外積の公式を適応するときに微分演算子を考慮する必要がなくなる。
#ceq
$$ \phantom{=} \nabla \sx (\b F \vx \b G) \vphantom{\Big[} $$
////////////////////////////////////////////////////////////////
** 外積の勾配 [#j0251de1]
;,外積の勾配の公式：
#ceq(e)
$$
= \, \mspace{2mu }\overbracket{\mspace{-5mu } \nabla \sx (\b F \vx \b G) \mspace{-49mu }}\mspace{49mu }
+ \,\, \mspace{2mu }\overbracket{\mspace{-5mu } \nabla \sx (\b F \vx \b G) \mspace{-12mu }}\mspace{12mu }
\vphantom{\Big[}
$$
#ceq
微分対外積の分配則((微分対外積の分配則：$$ d(\b A \vx \b B) = (d\b A) \vx \b B + \b A \vx (d\b B) $$))
#ceq
$$
= \b G \sx (\nabla \vx \b F)
+ \, \mspace{39mu }\overbracket{\mspace{-42mu } \b F \sx (\b G \vx \nabla) \mspace{-12mu }}\mspace{12mu }
\vphantom{\Big[}
$$
#ceq
スカラ三重積の交換則((スカラ三重積の交換則：$$ \b A \sx (\b B \vx \b C) = \b B \sx (\b C \vx \b A) = \b B \sx (\b C \vx \b A) $$))
#ceq
$$
= \b G \sx (\nabla \vx \b F)
- \b F \sx (\nabla \vx \b G)
\vphantom{\Big[}
$$
#ceq
外積の交代則((外積の交代則：$$ \b A \vx \b B = - \b B \vx \b A $$))
$$ \grad(\:F \vx \:G) = \:G \sx (\rot \:F) - \:F \sx (\rot \:G) $$
#ceq(e)
$$ \:\nabla (\:F \vx \:G) = \:G \sx (\:\nabla \vx \:F) - \:F \sx (\:\nabla \vx \:G) $$
#ceq(end)
一方、分離形表記では次のように記述可能。遊離した$$ d $$は自由に動けるため、いつでも微分対象の左に置ける。
;,関数表記でもナブラ表記でも表記が互いに制約して式変形ができない。
;,このため、似たような公式を丸覚えする羽目になる。
;,これを凌宮表記の分離形を使えば、積の微分、スカラ三重積の交換則、外積の交代則から形式的に導けるようになる。
;,ここで使う法則は以下の３つである：
#ceq(e)
積の微分：
#ceq(c)
$$ d(\:A \vx \:B) = (d\:A) \vx \:B + \:A \vx (d\:B) $$((高校では馴染みの無い表記だが、これが本来の「微分」である。))
#ceq(e)
スカラ三重積の交換則：
#ceq(c)
$$ \:A \sx (\:B \vx \:C) = \:B \sx (\:C \vx \:A) = \:B \sx (\:C \vx \:A) $$
#ceq(e)
外積の交代則：
#ceq(c)
$$ \:A \vx \:B = - \:B \vx \:A $$
#ceq(end)
;,凌宮表記の分離形で外積の勾配を導くと次のように記述できる。
;,遊離した$$ d $$は自由に動けるため、微分対象を$$ \ffd{1}{d\:r} $$の左に置いても問題ないのが鍵である。
#ceq(e)
$$ \phantom{=} \, \ffd{1}{d \:r} \sx d(\:F \vx \:G) $$
#ceq(e)
$$ = \ffd{1}{d \:r} \sx (d \:F \vx \:G) + \ffd{1}{d \:r} \sx (\:F \vx d \:G) $$
#ceq(a)
積の微分
#ceq(e)
$$ = \:G \sx (\ffd{1}{d \:r} \vx d \:F) + \:F \sx (d \:G \vx \ffd{1}{d \:r}) $$
#ceq(a)
スカラ三重積の交換則
#ceq(e)
$$ = \:G \sx (\ffd{1}{d \:r} \vx d \:F) - \:F \sx (\ffd{1}{d \:r} \vx d \:G) $$
#ceq(a)
外積の交代則
#ceq(end)
*** （参考）一般的な工夫 [#q74f74a9]
;,さすがに従来表記では教育の立場では不便過ぎて、先生たちもそれぞれが記号を工夫して教えている。
;,良く見かける手法として、ナブラと作用対象を線または矢印で結ぶ記法がある。
;,この作用対象を表す線は、凌宮表記の作用対象を表す$$ d $$と微分ベクトルにある$$ d $$のペアリングを表現しているに等しい。
#ceq
$$
\phantom{=} \, \ffd{1}{d \b r} \sx d(\b F \vx \b G)
$$
$$ \phantom{=} \:\nabla \sx (\:F \vx \:G) \vphantom{\Big[} $$
#ceq(e)
$$
= \ffd{1}{d \b r} \sx (d \b F \vx \b G) + \ffd{1}{d \b r} \sx (\b F \vx d \b G)
= \, \mspace{2mu }\overbracket{\mspace{-5mu } \:\nabla \sx (\:F \vx \:G) \mspace{-49mu }}\mspace{49mu }
+ \,\, \mspace{2mu }\overbracket{\mspace{-5mu } \:\nabla \sx (\:F \vx \:G) \mspace{-12mu }}\mspace{12mu }
\vphantom{\Big[}
$$
#ceq
微分対外積の分配則
積の微分
#ceq
$$
= \b G \sx (\ffd{1}{d \b r} \vx d \b F) + \b F \sx (d \b G \vx \ffd{1}{d \b r})
= \:G \sx (\:\nabla \vx \:F)
+ \, \mspace{39mu }\overbracket{\mspace{-42mu } \:F \sx (\:G \vx \:\nabla) \mspace{-12mu }}\mspace{12mu }
\vphantom{\Big[}
$$
#ceq
スカラ三重積の交換則
#ceq
$$
= \b G \sx (\ffd{1}{d \b r} \vx d \b F) - \b F \sx (\ffd{1}{d \b r} \vx d \b G)
= \:G \sx (\:\nabla \vx \:F)
- \:F \sx (\:\nabla \vx \:G)
\vphantom{\Big[}
$$
#ceq
外積の交代則
#ceq(end)
* まとめ・つなぎ [#yd980cf1]
;,ベクトル微分は、微分ベクトル、微分対象とこれらの微分演算で構成される。
;,このため、凌宮数学のように機能毎に表記を割り当てれば、微分やベクトルの基本的な公式を利用した式変形が可能になる。
;,分離型の利点として、回転とスカラ三重積の公式しか紹介してないが、
;,他にも回転とベクトル三重積を含む公式と応用範囲が広い：[[ベクトル微分演算子/回転公式>./回転公式]]
;,また、３次元の正規直交座標系では、$$ \ffd{1}{d\:r} $$の正体は$$ \ffd{1}{dx} $$、$$ \ffd{1}{dy} $$、$$ \ffd{1}{dz} $$を成分とするベクトルである。
;,これは表記の通り、凌宮数学の[[逆基底]]と深く繋がっている。
;,その話は微分の根底に繋がるため、いずれの機会で纏める予定。
%bodynote
////////////////////////////////////////////////////////////////
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
