/ベクトル置換積分
%indent
//////////////////////////////////////////////////////////////
* ベクトル置換積分 [#v3fe5f4c]
猫式の[[ベクトル微分演算子>ベクトル微分演算子]]と[[ベクトル積分演算子>../ベクトル積分演算子]]を使うと置換積分公式は次のように書ける。
|c: |c: |c: |c
|* |*ストークスの定理 |*ガウスの定理 |
|*通常表記|$$ \inte[R] $ \:F $ \sx $ d\:r $ = $ \inte[S] $ \nabla $ \vx $ \:F $ \sx $ d\:S $$ |$$ \inte[S] $ \:F $ \sx $ d\:S $ = $ \inte[V] $ \nabla $ \sx $ \:F $ d V $$ |
|*猫式表記|$$ \inte[R] $ d^{-1} $ d^1\:r $ \sx $ \:F $ = $ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \ddd{\vx \:F}{\:r} $$|$$ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \:F $ = $ \inte[V] $ d^{-3} $ d^3 V $ \ddd{\sx \:F}{\:r} $$|
こうなれば、右辺のベクトル微分を分離形に変形してから、微分を無視して純粋にベクトル演算として計算したくなる。
しかし、ガウスの定理は曲りなりにも通るが、ストークスの定理では破綻する。
ただ、ストークスの定理でも簡単な法則を１つ導入することで計算を通すことができる。
以下では、先に成立するガウス定理の計算を示し、続いて破綻するストークス定理の計算を晒す。
その後、イカサマ規則を導入して破綻する計算を無理やり通す。
//////////////////////////////////////////////////////////////
** ガウスの定理のベクトル演算 [#b33af8fb]
ガウスの定理の右辺$$ = $ \inte[V] $ d^{-3} $ d^3V $ \ddd{\sx \:F}{\:r} $$
#ceq(e)
$$ = $ \inte[V] $ d^{-3} $ d^3V $ \left( \ffd{1}{d\:r} \sx d\:F \right) $$
$$ = $ \inte[V] $ d^{-3} $ \left(d^3V \ffd{1}{d\:r}\right) $ \sx $ d\:F $$
#ceq
微分を分離形に、&br;積の計算順序変更
#ceq
$$ = $ \inte[V] $ d^{-3} $$
$$ \!\left( dxdydz \arrs{\ffd1{dx} \\ \ffd1{dy} \\ \ffd1{dz}} \!\right)\! $ \sx $ d\:F $$
#ceq
&br;成分表示&br;
#ceq
$$ = $ \inte[V] $ d^{-3} $$
$$
\!\arrs{
\ffd{dxdydz}{dx}
\\ \ffd{dxdydz}{dy}
\\ \ffd{dxdydz}{dz}
}\!
$$
$$ \sx $ d\:F $$
$$ = $ \inte[V] $ d^{-3} $ \!\arrs{ dydz \\ dxdz \\ dxdy}\! $ \sx $ d\:F $$
#ceq
&br;倍積実行、除算実行&br;
#ceq
$$ = $ \inte[V] $ d^{-3} $ d^2\:S \sx d\:F $$
#ceq
ベクトル記号表記
#ceq
$$ = $ \inte[V] $ d^{-2} $ d^2\:S $ \sx $ d^{-1} $ d\:F $$
#ceq
累次積分に変形
#ceq
$$ = $ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \:F $ = $$左辺
#ceq
$$ d^{-1} $ d\:F $$のみ積分実行
#ceq(end)
//////////////////////////////////////////////////////////////
** ストークスの定理のベクトル演算（破綻版） [#i14b9306]
続いて、同じ手順をストークスの定理に。
ストークスの定理の右辺$$ = $ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \ddd{\vx \:F}{\:r} $$
#ceq(e)
$$ = $ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \left(\ffd{1}{d\:r} \vx d\:F \right) $$
$$ = $ \inte[S] $ d^{-2} $ d^2\:S $ d\:F $ \sx $ \left(d^2\:S \vx \ffd{1}{d\:r}\right) $$
#ceq
微分の分離形に、&br;スカラ三重積の置換
#ceq
$$ = $ \inte[S] $ d^{-2} $ d\:F $ \sx $$
$$
\!\left(
\!\arrs{
dydz \vphantom{\ddd{}{}}
\\ dxdz \vphantom{\ddd{}{}}
\\ dxdy \vphantom{\ddd{}{}}
}
\vx
\arrs{
\ffd1{dx}
\\ \ffd1{dy}
\\ \ffd1{dz}
}\!
\right)\!
$$
#ceq
&br;成分表示&br;
#ceq
$$ = $ \inte[S] $ d^{-2} $ d\:F $ \sx $$
$$
\!\arrs{
dxdz \ffd1{dz} - dxdy \ffd1{dy}
\\ dxdy \ffd1{dx} - dydz \ffd1{dz}
\\ dydz \ffd1{dy} - dxdz \ffd1{dx}
}\!
$$
$$ = $ \inte[S] $ d^{-2} $ d\:F $ \sx $$
$$
\!\arrs{
dx - dx
\\ dy - dy
\\ dz - dz
}\!
$$
#ceq
&br;外積実行、除算実行&br;
#ceq
$$ = $ \inte[S] $ d^{-2} $ d\:F $ \sx $ \:0 $$
$$ = $ 0 $$
#ceq(end)
というわけで、外積と除算の結果、ゼロ。
//////////////////////////////////////////////////////////////
** ストークスの定理のベクトル演算（無理やり版） [#c24ff3cc]
上の計算は、実は初っぱなの微分の分離型からもう成立してない
((もっとも分離型は認められていない。これはガウスの定理でも同じである。))。
しかし、逆から計算すれば分かるが、減算の項さえなければ成立する、という非常に惜しい形で破綻している。
このため、計算を無理やりに通すため、次のイカサマ規則を導入する
#ceq(e)
''イカサマ外積： 微小要素間の外積では減算項を無視する''~
#ceq(end)
そもそも論がないが、証拠。
#ceq(e)
$$ \cdots $ \inte[S] $ d^{-2} $ d\:F $ \sx $$
$$
\!\left(
\!\arrs{
dydz \vphantom{\ddd{}{}}
\\ dxdz \vphantom{\ddd{}{}}
\\ dxdy \vphantom{\ddd{}{}}
}
\vx
\arrs{
\ffd1{dx}
\\ \ffd1{dy}
\\ \ffd1{dz}
}\!
\right)\!
$$
#ceq(e)
$$ \Rightarrow $ \inte[S] $ d^{-2} $ d\:F $ \sx $$
$$
\!\arrs{
dxdz \ffd1{dz} - \iro[ak]0
\\ dxdy \ffd1{dx} - \iro[ak]0
\\ dydz \ffd1{dy} - \iro[ak]0
}\!
$$
$$ = $ \inte[S] $ d^{-2} $ d\:F $ \sx $ \!\arrs{dx \\ dy \\ dz}\! $$
#ceq
イカサマ外積実行&br;除算実行
#ceq
$$ = $ \inte[S] $ d^{-2} $ d\:F $ \sx $ d\:r $$
#ceq
ベクトル表記記号
#ceq
$$ = $ \inte[S] $ d^{-1} $ d\:r $ \sx $ d^{-1} $ d\:F $$
#ceq
累次積分に変形
#ceq
$$ = $ \inte[R] $ d^{-1} $ d\:r $ \sx $ \:F $ = $$左辺
#ceq
$$ d^{-1} $ d\:F $$のみを積分実行
#ceq(end)
めでたしめでたし
%bodynote
//////////////////////////////////////////////////////////////
** まとめ・つなぎ [#jf94f7f3]
猫式の[[ベクトル微分演算子>ベクトル微分演算子]]と[[ベクトル積分演算子>../ベクトル積分演算子]]にイカサマ外積を使えば、
複雑な置換積分の公式が簡単なベクトル演算になる。
上では細かく書いているが、要はベクトル計算のみで
$$ d^3V $ \ffd{1}{d\:r} $ = $ d^2\:S $$、$$ d^2\:S $ \vx $ \ffd{1}{d\:r} $ = $ d\:r $$を導いているに等しい。
このセンスを持っていれば、ガウスの定理とストークスの定理を次のように飛ばすこともできるから、是非成立させたい。
#ceq(e)
$$ \inte[V] $ d^{-3} $ d^3V $ \!\Big(\! $ \ffd{1}{d\:r} $ \sx $ d\:F $ \!\Big)\! $$
#ceq(c)
$$ = $ \inte[V] $ d^{-2} $ \!\Big(\! $ d^3V $ \ffd{1}{d\:r} $ \!\Big)\! $ \sx $ \!\Big(\! $ d^{-1} d\:F $ \!\Big)\! $$
#ceq(c)
$$ = $ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \:F $$
#ceq(e)
$$ \inte[S] $ d^{-2} $ d^2\:S $ \sx $ \!\Big(\! $ \ffd{1}{d\:r} $ \vx $ d\:F $ \!\Big)\! $$
#ceq(c)
$$ = $ \inte[S] $ d^{-1} $ \!\Big(\! $ d^2V $ \vx $ \ffd{1}{d\:r} $ \!\Big)\! $ \sx $ \!\Big(\! $ d^{-1} d\:F $ \!\Big)\! $$
#ceq(c)
$$ = $ \inte[R] $ d^{-1} $ d^1\:r $ \sx $ \:F $$
#ceq(end)
導入したイカサマ規則は、外積と別の計算と言えるほど外積の計算規則を破壊しているが、
ストークスの法則自体は成立が保障されているから、$$ d^2\:S $ \vx $ \ffd{1}{d\:r} $ = $ d\:r $$が何らかの形で成立しているはず。
また、今の表記では式が成立して当然のようには見えないため、まだ改良余地がある。
そのため、次回はまずベクトル積分を正しく扱うために必要な微分形式を導入する。
- [[基底成分表記>../基底成分表記]]
////////////////////////////////////////////////////////////////
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
