4 ベクトル場の性質

4.1 ベクトル場を決めるもの

定理 4.1
任意の領域のベクトル場は，その内部で発散と回転を与え，そして領域の境 界での法線方向の成分を与えれば，一意に決まる．

【証明】 2   この定理は，発散と回転と境界条件を決めればベクトル場が決まると言っている．これは，次のようにして証明できる．発散 $\rho(x,y,z)$と回転 $\boldsymbol{j}(x,y,z)$とした場合

$$\div{\boldsymbol{V}_1}=\rho$$ (29)

$$\nabla\times \boldsymbol{V}_1=\boldsymbol{j}$$ (30)

とする．問題は，この発散 $\rho(x,y,z)$と回転 $\boldsymbol{j}(x,y,z)$を与えた場合，ベクトル場が一意に決まるかということである．

$\boldsymbol{V}_1$と同一の境界条件で式(29)と(30)を満たす他のベクトル場$\rm {V}_2$があるとする．ここで， $\boldsymbol{V}_1-\boldsymbol{V}_2$がゼロならば，ベクトル場は一意に決まると言える．これらの式を満たすベクトル場は無いと言えるからである．そこで，

$$\boldsymbol{W}=\boldsymbol{V}_1-\boldsymbol{V}_2$$ (31)

とおく．このベクトル場 $\boldsymbol{W}$発散は，

$$\div{\boldsymbol{W}} =\div{(\boldsymbol{V}_1-\boldsymbol{V}_2)}$$

$$=\div{\boldsymbol{V}_1}-\div{\boldsymbol{V}_2}$$

$$=0$$ (32)

である．すなわち，ベクトル場 $\boldsymbol{W}$は湧き出しが無い．また，ベクトル場 $\boldsymbol{W}$の回転は，

$$\nabla\times \boldsymbol{W} =\nabla\times (\boldsymbol{V}_1-\boldsymbol{V}_2)$$

$$=\nabla\times \boldsymbol{V}_1-\nabla\times \boldsymbol{V}_2$$

$$=0$$ (33)

となる．すなわち，ベクトル場 $\boldsymbol{W}$には回転が無い．ベクトル場 $\boldsymbol{W}$は回転がないので，

$$\boldsymbol{W}=-\nabla \phi$$ (34)

とスカラー場を用いて記述ができる．ベクトル場 $\boldsymbol{W}$には湧き出しが無い ( $\div{\boldsymbol{W}}=0$)ことから，

$$\nabla^2\phi=0$$ (35)

である．

これで準備が整った． $\boldsymbol{W}$が考えている空間$V$にわたってゼロであることを証明し たい．そのためには，

$$\int_V\boldsymbol{W}\cdot\boldsymbol{W}\mathrm{d}V=0$$ (36)

が言えればよい． $\boldsymbol{W}\cdot\boldsymbol{W}$はベクトル $\boldsymbol{W}$の大きさの2乗で必ずゼロ以上 である³．従って，その積分がゼロとなるた めには，いたるところで $\boldsymbol{W}\cdot\boldsymbol{W}$がゼロとならなくてはならない．従って， $\boldsymbol{W}$が積分区間で全てゼロの場合のみ，式(36)が成り立つ．

与えられた条件で式(36)の右辺を計算して，それがゼロにな ることを確認する．取り合えず，左辺に分かっている条件を入れて計算してみよう．

$$\int_V\boldsymbol{W}\cdot\boldsymbol{W}\mathrm{d}V =\int\left(-\nabla \phi \right)\cdot\left(-\nabla \phi \right)\mathrm{d}V$$

$$=\int\nabla \phi \cdot\nabla \phi \mathrm{d}V$$    グリーンの公式の(22)から

$$=\int_S\phi\nabla \phi \cdot\boldsymbol{n}\mathrm{d}S-\int_V\phi\nabla^2\phi\mathrm{d}V$$    式(34)と(35)から

$$=-\int_S\phi\boldsymbol{W}\cdot\boldsymbol{n}\mathrm{d}S$$

$$=-\int_S\phi\left(\boldsymbol{V}_1-\boldsymbol{V}_2\right)\cdot\boldsymbol{n}\mathrm{d}S$$

$$=-\int_S\phi\left(\boldsymbol{V}_1\cdot\boldsymbol{n}-\boldsymbol{V}_2\cdot\boldsymbol{n}\right)\mathrm{d}S$$

$$\boldsymbol{V}_1と\boldsymbol{V}_2$$

$$=0$$ (37)

となる．従って，定理が証明できた．

この定理のなにがうれしいかというと，ベクトル場を記述する微分方程式は，回転と発散 で良いと言うことを示していることである．いろいろな法則は微分方程式で記述しなくて はならないが，ベクトル場の場合は回転と発散の値を決めれば，ベクトル場が決まると言 うことである．境界条件は必要であることは言うまでもない．

4.2 ヘルムホルツの定理

定理 4.2 (ヘルムホルツの定理)
ベクトル場は渦無し(irrotational)と管状(solenoidal)の和であらわすことができる．すなわち，次のようにである．

$$\boldsymbol{V}=-\nabla \phi +\nabla\times \boldsymbol{A}$$ (38)

【証明】 3   式(38)の証明の前に，渦無しと管状の意味を述べておこう． $\nabla \phi$から作られるベクトル場は渦無しである．これは

$$\nabla\times \nabla \phi = \begin{vmatrix}\boldsymbol{i} & \boldsymbol{j} & \boldsymbol{k}... ...hi}{\partial z} \else \frac{\partial^{1} \phi}{\partial z^{1}}\fi \end{vmatrix}$$

$$= \left(\frac{\partial^2\phi}{\partial z\partial y}- \frac{\parti... ... y\partial x}- \frac{\partial^2\phi}{\partial x\partial y}\right)\boldsymbol{k}$$

$$=0$$ (39)

から，わかる．回転がゼロなので，渦無しである．一方，

$$\div{(\nabla\times A)} =\nabla\cdot \begin{vmatrix}\boldsymbol{i} & \boldsymbol{j} & \bo... ... \else \frac{\partial^{1} }{\partial z^{1}}\fi \\ A_x & A_y & A_z \end{vmatrix}$$

$$= \if 11 \frac{\partial }{\partial x} \else \frac{\partial^{1} }{... ...rtial A_x}{\partial y} \else \frac{\partial^{1} A_x}{\partial y^{1}}\fi \right)$$

$$=0$$ (40)

であるから， $\nabla\times \boldsymbol{B}$から作られるベクトルは管状である．

ここで，任意のベクトルが式(38)を満たすことを証明しなくて はならない．

ちゃんと証明するとなると，もう少し，いろいろと説明する必要が分かった．簡単に説 明する方法が分かったら，webに載せる．

ホームページ: Yamamoto's laboratory
著者: 山本昌志