1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
| | /ベクトル置換積分
%indent
猫式の[[ベクトル微分演算子>ベクトル微分演算子]]と[[ベクトル積分演算子>../ベクトル積分演算子]]を使うと置換積分公式は次のように書ける。
|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} $$|
こうなれば、右辺のベクトル微分を分離形に変形してから、微分を無視して純粋にベクトル演算として計算したくなる。
しかし、ガウスの定理は曲りなりにも通るが、ストークスの定理では破綻する。
ただ、ストークスの定理でも簡単な法則を１つ導入することで計算を通すことができる。
以下では、先に成立するガウス定理の計算を示し、続いて破綻するストークス定理の計算を晒す。
その後、イカサマ規則を導入して破綻する計算を無理やり通す。
ガウスの定理の右辺$$ = $ \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)
続いて、同じ手順をストークスの定理に。
ストークスの定理の右辺$$ = $ \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)
というわけで、外積と除算の結果、ゼロ。
上の計算は、実は初っぱなの微分の分離型からもう成立してない
((もっとも分離型は認められていない。これはガウスの定理でも同じである。))。
しかし、逆から計算すれば分かるが、減算の項さえなければ成立する、という非常に惜しい形で破綻している。
このため、計算を無理やりに通すため、次のイカサマ規則を導入する
#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
猫式の[[ベクトル微分演算子>ベクトル微分演算子]]と[[ベクトル積分演算子>../ベクトル積分演算子]]にイカサマ外積を使えば、
複雑な置換積分の公式が簡単なベクトル演算になる。
上では細かく書いているが、要はベクトル計算のみで
$$ 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]")
