TITLE:ベクトル積分演算子
#indent
////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////
* ベクトル積分と置換積分公式 [#qe345824]
３次元空間でのベクトル積分と言えば、
線積分$$ \Int[R] \b F \sx d\b r $$、
面積分$$ \Int[S] \b F \sx d\b S $$、
体積分$$ \Int[V] F \, d V $$。
これらを結びつける置換積分公式として、
ストークスの定理$$ \Int[R] \b F \sx d\b r $$＝$$ \Int[S] \nabla \vx \b F \sx d\b S $$と
ガウスの定理$$ \Int[S] \b F \sx d\b S $$＝$$ \Int[V] \nabla \sx \b F \, dV $$がある。
名前の「線」「面」「体」は伊達ではなく、これらの公式はある種の「次元」を超えている。
大抵の説明は複雑な図と面倒な成分計算を使うが、それは通常のベクトル計算では「次元」超えに無理があるためで、
微分形式と外積代数を使えば、もっと効率良く扱える。
しかし、記号の衝突があって、ベクトルと外積代数の橋渡しに苦労が多い。
ベクトル積分をショートカットするには外積代数を使うべき。
そのためにはベクトル演算と外積代数の演算を両立させる表記が必要。
話しが多分野に渡り、大きくなるため、置換積分の話しは数回に分割する。
初回は通常のベクトル演算のみで頑張り、外積代数は次回から導入する。
今回作戦は、
まず、ベクトル微分演算子$$ \ddd{}{\b r} $$と同様、ベクトル積分を機能別に分解して表記。
これよりガウスの定理は偶然にも計算できてしまうが、ストークスの定理では破綻する。
このため、イカサマ規則を１つ加えて、無理やりに計算できるように''させる''。
////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////
* ベクトル積分演算子 [#g83ce95e]
ベクトル微分演算子の時と同様、表記を機能毎に独立させた方が操作しやすい。
ベクトル積分の場合は、ベクトル、積分、範囲の3つの機能を併せ持つ。
$$ \Int[R] \b F \sx d\b r $$では、$$ d\b r $$でベクトル、$$ \Int[R] \,$$で積分と範囲の両方を表している。
厳密には$$ \!\int\! $$が積分、$$ {{}\atop{{}_R}} $$が範囲を表しているが、記号としては分離できない。
////////////////////////////////////////////////////////////////
** 積分の演算子表記 [#w9f5b77b]
猫式では$$ \Int[R] \,$$を範囲指定の専用記号とした。
範囲の指定は$$ \!\int_a^b $$や$$ \!\int_S $$などとバリエーションが多く、
従来表記と楽に相互変換するために元のまま残したい。
それに、積分を表す記号は別に当てがある。
１次元の場合、$$ F(r) $$＝$$ \ddd{f(r)}{r} $$⇔$$ f(x) $$＝$$ \Int F(x)\,dx $$。
分数計算の感覚で$$ F(r) $$＝$$ \ddd{f(r)}{r} $$を$$ f(x) $$について解くと、
$$ f(x) $$＝$$ \ffd{F(x)\, dx}{d} $$と表現できる
(($$ \Int F(x)\,dx $$では積分の「分」はどこ？って思うが、$$ \ffd{F(x)\, dx}{d} $$なら$$ F $$と$$ dx $$の積に$$ d $$との分数、と冗談で答えられる。))。
したがって、猫式では$$ \ffd{1}{d} $$で積分を表し、不定積分は$$ \!\int\! $$が付かない。
また、微分演算子のように、式変形が便利のように以下の書式も許す。
|*分数形 |*演算子形 |< |
|$$ \Int[R] \ffd{\b F\,dx}{d} $$|$$ \Int[R] \ffd{dx}{d} \b F $$|$$ \Int[R] d^-\!\!dx\,\b F $$|
////////////////////////////////////////////////////////////////
** 積分の階数表記 [#j9fba57b]
3次元における線積分、面積分、体積分の微小要素を成分で書くと、
線要素$$ d\b r $$＝$$ \!\left[\begin{array}{c} dx \\ dy \\ dz \end{array}\right]\! $$、
面要素$$ d\b S $$＝$$ \!\left[\begin{array}{c} dydz \\ dzdx \\ dxdy \end{array}\right]\! $$、
体要素$$ d V $$＝$$ dxdydz $$。
等式の両辺で$$ d $$の数が異なるのが問題。
微分では$$ \ddd{^2}{x^2} $$が2階微分を表すように、$$ d $$の数は微分の階数。
同様に、猫式表記では$$ \ffd{1}{d} $$は積分を表し、$$ \ffd{1}{d} $$の数は積分の階数。
これら階数が冒頭にあった「次元」の実体で、「次元」を超える置換積分では階数が変化する。
このため、微小要素の表記次第で階数が変わっては困る。
これを回避するため、猫式では微小要素の記号に階数を記入する。
$$ d\b r $$⇒$$ d^1 \b r $$、
$$ d\b S $$⇒$$ d^2 \b S $$、
$$ d V $$⇒$$ d^3 V $$。
また、それぞれの積分には対応して
$$ d^{-1} $$、
$$ d^{-2} $$、
$$ d^{-3} $$を使う。
ただし、1階の場合は省略して$$ d\b r $$のままも可とする。
以上の規則を導入すると、各積分は次のようになる。
|CENTER:|CENTER: |CENTER: |CENTER: |c
|* |*分数形 |*演算子形 |< |
|*線積分|$$ \Int[R] \ffd{\b F \sx d^1\b r}{d^1} $$|$$ \Int[R] \ddd{^1\b r}{^1} \sx \b F $$|$$ \Int[R] d^{-1}d^1 \b r \sx \b F $$|
|*面積分|$$ \Int[S] \ffd{\b F \sx d^2\b S}{d^2} $$|$$ \Int[S] \ddd{^2\b S}{^2} \sx \b F $$|$$ \Int[R] d^{-2}d^2 \b S \sx \b F $$|
|*体積分|$$ \Int[V] \ffd{\b F \, d^3 V}{d^3} $$|$$ \Int[V] \ddd{^3 V}{^3} \, \b F $$|$$ \Int[R] d^{-3}d^3 V \, \b F $$|
//////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////
* ベクトル置換積分 [#x8add652]
猫式では置換積分は次のように書き換わる。
|CENTER: |CENTER: |CENTER: |c
|* |*通常表記 |*猫式表記 |
|*ストークスの定理|$$ \Int[R] \b F \sx d\b r $$＝$$ \Int[S] \nabla \vx \b F \sx d\b S $$|$$ \Int[R] \ddd{^1\b r \sx}{^1} \b F $$＝$$ \Int[S] \ddd{^2\b S \sx}{^2} \ddd{\,\vx}{\b r} \b F $$|
|*ガウスの定理 |$$ \Int[S] \b F \sx d\b S $$＝$$ \Int[V] \nabla \sx \b F \, d V $$|$$ \Int[S] \ddd{^2\b S \sx}{^2} \b F $$＝$$ \Int[V] \ddd{^3 V }{^3} \ddd{\,\sx}{\b r} \b F $$|
作用対象の$$ F $$を抜けば、演算子の等価変換となる。~
ストークスの定理：$$ \Int[R] \ddd{^1\b r \sx}{^1} $$＝$$ \Int[S] \ddd{^2\b S \sx}{^2} \ddd{\,\vx}{\b r} $$~
ガウスの定理：$$ \Int[S] \ddd{^2\b S \sx}{^2} $$＝$$ \Int[V] \ddd{^3 V }{^3} \ddd{\,\sx}{\b r} $$~
演算子としては成立すべき式ではあるが、残念ながらベクトル演算のみでは導けない。
したがって、今回の真面目な話はココまで。
//////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////
* イカサマ置換積分 [#v151a2e9]
ここからは''ふざけて''てみます。
外積代数を習うまでに苦労して開発したイカサマ計算なり。
//////////////////////////////////////////////////////////////
** ガウスの定理の無理な計算 [#o998edd0]
先に偶然に成立して''しまう''ガウスの定理から。
#ceq
ガウスの定理の右辺＝$$ \Int[V] \ddd{^3V}{^3} \ddd{\,\sx}{\b r} \b F $$
#ceq(e)
＝$$ \Int[V] \ffd{1}{d^3} \, d^3V \left( \ffd{1}{d\b r} \sx d\b F \right) $$
＝$$ \Int[V] \ffd{1}{d^3} \left(d^3V \ffd{1}{d\b r}\right) \sx d\b F $$
#ceq
分離形で、倍積内積の結合則
#ceq
＝
$$
\Int[V] \ffd{1}{d^3}
\!\left(\!
\,dxdydz
\begin{bmatrix}
\ffd1{dx}
\\ \ffd1{dy}
\\ \ffd1{dz}
\end{bmatrix}
\!\right)\!
\sx d\b F
$$
#ceq
成分表示
#ceq
＝
$$
\Int[V] \ffd{1}{d^3}
\!\begin{bmatrix}
\ffd{dxdydz}{dx}
\\ \ffd{dxdydz}{dy}
\\ \ffd{dxdydz}{dz}
\end{bmatrix}\!
\sx
d\b F
$$
＝
$$
\Int[V] \ffd{1}{d^3}
\!\begin{bmatrix}
dydz
\\ dxdz
\\ dxdy
\end{bmatrix}\!
\sx
d\b F
$$
#ceq
倍積実行、除算実行~
#ceq
＝$$ \Int[V] \ffd{1}{d^3} \,d^2\b S \sx d\b F $$
#ceq
$$ d^2\b S $$を記号に書き換え
#ceq
＝$$ \Int[V] \ffd{1}{d^2} \ffd{1}{d}\, d^2\b S \sx d\b F $$
＝$$ \Int[V] \ffd{1}{d^2} d^2\b S \sx \ddd{\b F}{} $$
＝$$ \Int[V] \ffd{1}{d^2} d^2\b S \sx F $$
#ceq
累次積分に変形して積分実行
#ceq
＝$$ \Int[V] \ffd{1}{d^2} d^2\b S \sx F $$
＝$$ \Int[S] \ffd{1}{d^2} d^2\b S \sx F $$
#ceq
積分領域再解釈
#ceq
＝$$ \Int[S] \ddd{^2\b S}{^2} \sx F $$
＝ガウスの定理の左辺
#ceq(end)
//////////////////////////////////////////////////////////////
** ストークスの定理の無理な計算 [#c7402d32]
続いて、同じ手順をストークスの定理に。
#ceq
ストークスの定理の右辺＝$$ \Int[S] \ddd{^2\b S}{^2} \sx \ddd{\,\vx}{\b r} \b F $$
#ceq(e)
＝$$ \Int[S] \ffd{1}{d^2} d^2\b S \sx \left(\ffd{1}{d\b r} \vx d\b F \right) $$
＝$$ \Int[S] \ffd{1}{d^2} d\b F \sx \left(d^2\b S \vx \ffd{1}{d\b r} \right) $$
#ceq
分離形で、スカラ三重積の置換則
#ceq
＝
$$
\Int[S] \ffd{1}{d^2} d\b F \sx
\left(
\!\begin{bmatrix}
dydz \vphantom{\ddd{}{}}
\\ dxdz \vphantom{\ddd{}{}}
\\ dxdy \vphantom{\ddd{}{}}
\end{bmatrix}\!
\vx
\!\begin{bmatrix}
\ffd1{dx}
\\ \ffd1{dy}
\\ \ffd1{dz}
\end{bmatrix}\!
\right)
$$
#ceq
成分表示
#ceq
＝
$$
\Int[S] \ffd{1}{d^2} d\b F \sx
\!\begin{bmatrix}
dxdz \ffd1{dz} - dxdy \ffd1{dy}
\\ dxdy \ffd1{dx} - dydz \ffd1{dz}
\\ dydz \ffd1{dy} - dxdz \ffd1{dx}
\end{bmatrix}\!
$$
＝
$$
\Int[S] \ffd{1}{d^2} d\b F \sx
\!\begin{bmatrix}
dx - dx
\\ dy - dy
\\ dz - dz
\end{bmatrix}\!
$$
#ceq
外積実行、除算実行~
#ceq
＝$$ \Int[S] \ffd{1}{d^2} d\b F \sx \b 0 $$
＝$$ 0 $$
#ceq(end)
はい、外積と除算の結果、ゼロ。
//////////////////////////////////////////////////////////////
** ストークスの定理の無理な計算を通させるイカサマ規則 [#a80780d1]
上の計算は、実は初っぱなのスカラ三重積からもう成立してない。
しかし、逆から計算すれば分かるが、減算の項さえなければ成立する、
という非常に惜しい形で破綻している。
このため、~
イカサマ規則：微小要素に関わるベクトル演算で、減算項を$$ 0 $$に書き換える。
これで、とりあえず計算は通''せる''。
そもそも論すらないが、証拠。
#ceq
⇒
$$
\Int[S] \ffd{1}{d^2} d\b F \sx
\!\begin{bmatrix}
dxdz \ffd1{dz} - 0
\\ dxdy \ffd1{dx} - 0
\\ dydz \ffd1{dy} - 0
\end{bmatrix}\!
$$
＝
$$
\Int[S] \ffd{1}{d^2} d\b F \sx
\!\begin{bmatrix}
dx
\\ dy
\\ dz
\end{bmatrix}\!
$$
#ceq
イカサマ外積実行、~
除算実行
#ceq
＝$$ \Int[S] \ffd{1}{d^2} d\b F \sx d\b r $$
#ceq
$$ d\b r $$を記号に書き換え
#ceq
＝$$ \Int[S] \ffd{1}{d} \ffd{1}{d}\, d\b F \sx d\b r $$
＝$$ \Int[S] \ffd{1}{d} \ffd{d\b F}{d} \sx d\b r $$
＝$$ \Int[S] \ffd{1}{d} \b F \sx d\b r $$
#ceq
累次積分に変形して積分実行
#ceq
＝$$ \Int[S] \ffd{1}{d} F \sx d\b r $$
＝$$ \Int[R] \ffd{1}{d} F \sx d\b r $$
#ceq
積分領域再解釈
#ceq
＝$$ \Int[R] \ddd{\b r}{} \sx F $$
＝ストークスの定理の左辺
#ceq(end)
//////////////////////////////////////////////////////////////
** まとめ・つなぎ [#jf94f7f3]
このイカサマ規則は、ストークスの定理を両辺から計算し、違いを吸収するルールとして導入した。
目的は、あくまでも3次元ベクトル演算の範囲内で、図を借りずに置換積分を得るだった。
上では細かく書いているが、
$$ \ddd{^3V}{\b r} $$＝$$ d^2\b S $$、$$ d^2\b S \vx \ffd{1}{d\b r} $$＝$$ d\b r $$のセンスさえ持っていれば、次のように飛ばせる。
ガウスの定理：
$$ \Int[V] \ffd{1}{d^3} d^3V \left( \ffd{1}{d\b r} \sx d \b F \right) $$
＝$$ \Int[V] \ffd{1}{d^2} \ddd{^3V}{\b r} \sx \ddd{\b F}{} $$
＝$$ \Int[S] \ffd{1}{d^2} d^2S \sx \b F $$
ストークスの定理：
$$ \Int[S] \ffd{1}{d^2} d^2\b S \sx \left( \ffd{1}{d\b r} \vx d \b F \right) $$
＝$$ \Int[S] \ffd{1}{d^2} d \b F \sx \left( d^2\b S \vx \ffd{1}{d\b r} \right) $$
＝$$ \Int[R] \ffd{1}{d } \b F \sx d\b r $$
さらに、このイカサマも捨てたものではない。
実は、ベクトルの次元に関係無く、積分の「次元」を跨がる全ての置換積分に効く。
ガウスの定理も減算項が無かったためにイカサマせずに済んだようなもの。
微分形式と外積代数から、このイカサマもまた意味を持っていることが分かる。
というわけで、次回は微分形式と外積代数を導入。
でも、タイトルは基底成分表記（仮）。
//////////////////////////////////////////////////////////////////
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
