![曖昧さ回避](//up.wiki.x.io/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png) |
この項目では、数学におけるベクトルポテンシャルについて説明しています。電磁気学におけるベクトルポテンシャルについては「電磁ポテンシャル」を、流体力学におけるベクトルポテンシャルについては「流れ関数」をご覧ください。 |
数学のうちベクトル解析において、3次元ベクトル場A が、3次元ベクトル場v のベクトルポテンシャル[1][2](英: vector potential)であるとは、
![{\displaystyle \operatorname {rot} {\boldsymbol {A}}={\boldsymbol {v}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e2a0713babe19ee223b6e85fcf78aa804c17334)
であることを意味する。3次元以外のベクトル場については、微分形式を用いた拡張(例えば、ポアンカレの補題[3])が考えられる。
D を、R3 の領域とする。v : R3 → R3 を、D の近傍で定義された、微分可能な3次元ベクトル場とする。
このとき、3次元ベクトル場A が、v のベクトルポテンシャルであるとは、
-
であることを意味する。
3次元ベクトル場 A が、v のベクトルポテンシャルであるとき、ベクトル解析の恒等式
-
を考えあわせると、
-
が成立する。従って、div v = 0 でない限り、v はベクトルポテンシャルを持たない[注 1]。
3次元ベクトル場A が、v のベクトルポテンシャルであるとする。このとき、rot X = 0 となるようなベクトル場に対し、
-
が成立する。従って、以下の定理が成り立つ。
定理
A が、v のベクトルポテンシャルであるとき、ベクトル場X が
- rot X = 0
を満たせば、A + X もまた、v のベクトルポテンシャルである。
ベクトルポテンシャルの求め方には様々な方法がある。一般には、ベクトルポテンシャルは、求め方によって異なるものが得られる。しかし、いずれの解法で得られたものも、互いにゲージ変換で移りあう。
本項では、他の項目を見る際に混乱しないよう、敢えて、ベクトルポテンシャルを求められる方のベクトル場も、得られたベクトルポテンシャルも、それぞれの解法がよく用いられる分野でよく用いられる記法を採用した。
以下の定理は物理学的な意味づけに乏しいが、微分形式論の、ポアンカレの補題の証明において、よく使われる手法に基づいている。
定理(ホモトピー法によるベクトルポテンシャルの求め方)[1]
p を、R3 の一点とする。M はR3 の領域であり、かつ、点p を中心に星形(英語版)とする。
また、X を、M 上で定義された3次元ベクトル場で、div X = 0 とする。
このとき、3次元ベクトル場 F (x ) を、
-
とすると、F は、X のベクトルポテンシャルである。
ビオ・サバールの法則のアナロジーにより以下の定理が成り立つ。以下のベクトルポテンシャルは、電流密度と、磁場との関係を表しているので、電流ベクトルポテンシャルといわれる。
定理
j を、無限遠で 0 であり、かつ、div j = 0 を満たす、単連結領域V 上で定義されている3次元ベクトル場とする。このとき、
-
は、j のベクトルポテンシャルである。
証明:
両辺にrotを作用させると、
-
となる。ここで、ベクトル解析の恒等式より
-
また、
-
なので、
-
となる。積分を実行して、最終的に
-
が得られる。
以下の定理は、ヘルムホルツの定理の特殊な場合であり、時間変動のない磁場から電磁ベクトルポテンシャル(物理学では、単にベクトルポテンシャルといったらこれを指す)を求める際によく用いられる手法である。
定理
H を、無限遠で 0 であり、かつ、div H = 0 を満たす、単連結領域V 上で定義されている3次元ベクトル場とする。このとき、
-
は、H のベクトルポテンシャルである。
- ^ div v = 0 でない場合、ヘルムホルツの定理より v はベクトルポテンシャルの回転とスカラーポテンシャルの勾配との和で表される。
- ^ a b 藤本 淳夫『ベクトル解析 (現代数学レクチャーズ C- 1)』培風館、1979年1月。
- ^ 深谷 賢治『電磁場とベクトル解析 (現代数学への入門)』岩波書店、2004年1月7日。
- ^ 岩堀 長慶; 近藤 武, 他『微分積分学』裳華房、1993年1月。