定理 4.1
任意の領域のベクトル場は、その内部で発散と回転を与え、そして領域の境
界での法線方向の成分を与えれば、一意に決まる。
この定理は、発散と回転と境界条件を決めればベクトル場が決まると言っている。これは、次のようにして証明できる。発散
と回転
とした場合
とする。問題は、この発散
と回転
を与えた場合、ベクトル場が一意に決まるかということである。
と同一の境界条件で式(11)と(12)を満たす他のベクトル場があるとする。ここで、
がゼロならば、ベクトル場は一意に決まると言える。これらの式を満たすベクトル場は無いと言えるからである。そこで、
|
(13) |
とおく。このベクトル場
発散は、
である。すなわち、ベクトル場
は湧き出しが無い。また、ベクトル場
の回転は、
となる。すなわち、ベクトル場
には回転が無い。ベクトル場
は回転がないので、
とスカラー場を用いて記述ができる。ベクトル場
には湧き出しが無い
(
)ことから、
である。
これで準備が整った。
が考えている空間にわたってゼロであることを証明し
たい。そのためには、
が言えればよい。
はベクトル
の大きさの2乗で必ずゼロ以上
である
2。従って、その積分がゼロとなるた
めには、いたるところで
がゼロとならなくてはならない。従って、
が積分区間で全てゼロの場合のみ、式(
18)が成り立つ。
与えられた条件で式(18)の右辺を計算して、それがゼロにな
ることを確認する。取り合えず、左辺に分かっている条件を入れて計算してみよう。
|
|
|
|
|
|
|
グリーンの公式の(4)から |
|
|
|
|
|
式(16)と(17)から |
|
|
|
|
|
|
|
|
|
|
|
法線方向の値が等しければ |
|
|
|
(19) |
となる。従って、定理が証明できた。
この定理のなにがうれしいかというと、ベクトル場を記述する微分方程式は、回転と発散
で良いと言うことを示していることである。いろいろな法則は微分方程式で記述しなくて
はならないが、ベクトル場の場合は回転と発散の値を決めれば、ベクトル場が決まると言
うことである。境界条件は必要であることは言うまでもない。
この証明までの時間がないので、興味ある諸君は調べよ。ポテンシャルの話をするときに
これは重要な定理である。
ホームページ:
Yamamoto's laboratory著者:
山本昌志
Yamamoto Masashi
平成19年6月24日