記事ソース/スカラーポテンシャルと層状ベクトル場
メニュー現在 8 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/スカラーポテンシャルと層状ベクトル場†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容
===============================================================
スカラーポテンシャル場と層状ベクトル場
===============================================================
ベクトル場 $\bm{A}$ が、スカラーポテンシャル $\phi$ によって $\bm{A} = \nabla \phi$ と表わせるとき、 $\bm{A}$ を *スカラーポテンシャル場* と呼びました。（ $\bm{A} = - \nabla \phi$ と定義しても構いません。物理学での応用上は $-$ をつけることの方が多いと思いますが、符号は数学的には本質的ではありません。ここでは、マイナスはつけないで議論します。）スカラーポテンシャルを定義すると、たった一つのスカラー関数からベクトル場の成分が求められるという便利さがありました。
<tex>
A_{1}= \frac{\partial \phi}{\partial x_{1}}, \ \ A_{2}= \frac{\partial \phi}{\partial x_{2}}, \ \ A_{3}= \frac{\partial \phi}{\partial x_{3}}
</tex>
また、スカラーポテンシャル場に著しい特徴として、 *線積分が経路によらない* というものがありました。さらに、スカラーポテンシャル場の周回積分は常に $0$ になるのでした。（詳しくは スカラーポテンシャル_ を参照して下さい。）
<tex>
\int_{M_{0}}^{M_{1}} \bm{A}\cdot d\bm{r}=\int_{M_{0}}^{M_{1}} \nabla \phi \cdot d\bm{r} \phi (M_{1}) - \phi (M_{0}) \tag{1}
</tex>
<tex>
\ointop \bm{A}\cdot d\bm{r} &= \ointop \nabla \phi \cdot d\bm{r} = 0 \tag{2}
</tex>
ここまでは復習事項です。一般に、至るところ $\nabla \times \bm{A}=\bm{0}$ であるベクトル場を、 *層状ベクトル場* もしくは *渦なし場* などと呼びます。スカラーポテンシャル場は、 `rotgrad=0`_ によって自動的に層状になります。また、層状ベクトル場の概念は 管状ベクトル場_ と一緒に対概念としてよく使われますので、両方同時に勉強すると良いと思います。次の定理が非常に重要です。
.. admonition:: theorem
単連結領域 $D$ で定義されるベクトル場 $\bm{A}$ がスカラーポテンシャル場であるための必要十分条件は、 $\nabla \times \bm{A} = \bm{0}$ となることです。
つまり、スカラーポテンシャル場と層状ベクトル場もしくは渦なし場は、同義だと考えても良いということですね。この定理は、 電磁気や流体力学といった応用分野でポテンシャル関数を考える際にも必須の定理ですので、よく身に付けてください。
.. admonition:: proof
必要条件は ${\rm rotgrad}=\bm{0}$ より明らかです。（ `rotgrad=0, divrot=0`_ を参照ください。）十分条件を示します。領域 $D$ 内に閉曲線 $L$ を取り、 $L$ の囲む領域を $S$ とします。 $D$ 内の至るところ $\nabla \times \bm{A}=\bm{0}$ と仮定します。すると、 $D$ として単連結領域を考えていますのでストークスの定理がなりたち、 $\ointop \limits_{L} \bm{A} \cdot d\bm{r} = \int \int \limits_{S} (\nabla \times S) \cdot d\bm{S} $ がなりたちます $(*)$ 。ここで、任意の線積分 $\int_{M_{0}}^{M_{1}} \bm{A} \cdot d\bm{r}$ を考えると、 $M_{0},M_{1}$ を通る曲線は幾らでも引けることと式 $(*)$ より、線積分は経路によらず端点の値だけで決まると言えます。そこで、積分区間の端点 $M=(x_{1},x_{2},x_{3})$ だけを変数とする関数 $\phi (x_{1},x_{2},x_{3})$ を考え、 $A_{i}=\frac{\partial \phi}{\partial x_{i}}$ のように表記することにします。この表記が可能なことは、次のように示せます。まず $\frac{\partial \phi}{\partial x_{1}}$ という量を考えますが、これは次のように変形できます。 $\frac{\partial \phi}{\partial x_{1}}=\lim \limits _{\Delta x_{1}\rightarrow 0}\frac{1}{\Delta x_{1}}\int_{M}^{M+\Delta x_{1}}\bm{A} \cdot d\bm{r}=\lim \limits_{\Delta x_{1}\rightarrow 0}\frac{1}{\Delta x_{1}}\int \limits_{\sigma} A_{1}dx_{1}$ .ただし、 $\sigma$ は $M=(x_{1},x_{2},x_{3})$ と $M+\Delta x_{1}=(x_{1}+\Delta x_{1},x_{2},x_{3})$ を結ぶ曲線とします。ここで中間値の定理を使うと、次式を満たすような $\theta$ が必ず存在するはずです。 $\lim \limits_{\Delta x_{1}\rightarrow 0}\frac{1}{\Delta x_{1}}\int \limits_{\sigma} A_{1}(x_{1},x_{2},x_{3})dx_{1}=\lim \limits_{\Delta x_{1}\rightarrow 0}\frac{1}{\Delta x_{1}} A_{1}(x_{1}+\theta \Delta x_{1},x_{2},x_{3})\Delta x_{1}$ .ここで $\theta$ は $0<\theta <\Delta x_{1}$ なので、最後の極限は $A_{1}(x_{1},x_{2},x_{3})$ に収束し、確かに $\frac{\partial \phi}{\partial x_{1}}=A_{1}$ が示されます。他の成分も同様ですので、 $\bm{A}$ にはスカラーポテンシャル $\phi$ が存在することが示されました。■
.. _スカラーポテンシャル: http://www12.plala.or.jp/ksp/vectoranalysis/ScalarPotential/
.. _`rotgrad=0, divrot=0`: http://www12.plala.or.jp/ksp/vectoranalysis/ddw=0/
.. _管状ベクトル場: http://www12.plala.or.jp/ksp/vectoranalysis/Solenoidal/
.. _`rotgrad=0`: http://www12.plala.or.jp/ksp/vectoranalysis/ddw=0/
@@author:Joh@@
@@accept: 2006-10-11@@
@@category: ベクトル解析@@
@@id: PotentialIrrotational@@
|
