この項目では、数学におけるベクトルポテンシャルについて説明しています。電磁気学におけるベクトルポテンシャルについては「電磁ポテンシャル」を、流体力学におけるベクトルポテンシャルについては「流れ関数」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}
この記事には複数の問題があります。改善
やノートページでの議論にご協力ください。数学のうちベクトル解析において、3次元ベクトル場A が、3次元ベクトル場v のベクトルポテンシャル[1][2](英: vector potential)であるとは、 rot A = v {\displaystyle \operatorname {rot} {\boldsymbol {A}}={\boldsymbol {v}}}
であることを意味する。3次元以外のベクトル場については、微分形式を用いた拡張(例えば、ポアンカレの補題[3])が考えられる。 D を、R3 の領域とする。v : R3 → R3 を、D の近傍で定義された、微分可能な3次元ベクトル場とする。 このとき、3次元ベクトル場A が、v のベクトルポテンシャルであるとは、 rot A = v {\displaystyle \operatorname {rot} {\boldsymbol {A}}={\boldsymbol {v}}} であることを意味する。 3次元ベクトル場 A が、v のベクトルポテンシャルであるとき、ベクトル解析の恒等式 div rot = 0 {\displaystyle \operatorname {div} \operatorname {rot} =0} を考えあわせると、 0 = div ( rot A ) = div v {\displaystyle 0=\operatorname {div} (\operatorname {rot} {\boldsymbol {A}})=\operatorname {div} {\boldsymbol {v}}} が成立する。従って、div v = 0 でない限り、v はベクトルポテンシャルを持たない[注 1]。 3次元ベクトル場A が、v のベクトルポテンシャルであるとする。このとき、rot X = 0 となるようなベクトル場に対し、 rot ( A + X ) = v {\displaystyle \operatorname {rot} ({\boldsymbol {A}}+{\boldsymbol {X}})={\boldsymbol {v}}} が成立する。従って、以下の定理が成り立つ。 定理 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 ) = ∫ 0 1 s ( ( x − p ) × ( X ( s x + ( 1 − s ) p ) ) d s {\displaystyle {\boldsymbol {F}}({\boldsymbol {x}})=\int _{0}^{1}s(({\boldsymbol {x}}-{\boldsymbol {p}})\times ({\boldsymbol {X}}(s{\boldsymbol {x}}+(1-s){\boldsymbol {p}}))\ ds} とすると、F は、X のベクトルポテンシャルである。 ビオ・サバールの法則のアナロジーにより以下の定理が成り立つ。以下のベクトルポテンシャルは、電流密度と、磁場との関係を表しているので、電流ベクトルポテンシャルといわれる。 定理 j を、無限遠で 0 であり、かつ、div j = 0 を満たす、単連結領域V 上で定義されている3次元ベクトル場とする。このとき、 H = ∫ V j ( s ) × ( r − s ) 4 π 。 r − s 。 3 d 3 s {\displaystyle {\boldsymbol {H}}=\int _{V}{\frac {{\boldsymbol {j}}({\boldsymbol {s}})\times ({\boldsymbol {r}}-{\boldsymbol {s}})}{4\pi |{\boldsymbol {r}}-{\boldsymbol {s}}|^{3}}}d^{3}{\boldsymbol {s}}} は、j のベクトルポテンシャルである。 証明: 両辺にrotを作用させると、 rot H = 1 4 π ∫ V rot ( j × r ^ r 2 ) d 3 s {\displaystyle \operatorname {rot} {\boldsymbol {H}}={\frac {1}{4\pi }}\int _{V}\operatorname {rot} \left({\boldsymbol {j}}\times {\frac {\hat {\boldsymbol {r}}}{r^{2}}}\right)d^{3}{\boldsymbol {s}}} となる。ここで、ベクトル解析の恒等式より rot ( j × r ^ r 2 ) = ( div r ^ r 2 ) j − ( div j ) r ^ r 2 {\displaystyle \operatorname {rot} \left({\boldsymbol {j}}\times {\frac {\hat {\boldsymbol {r}}}{r^{2}}}\right)=\left(\operatorname {div} {\frac {\hat {\boldsymbol {r}}}{r^{2}}}\right){\boldsymbol {j}}-(\operatorname {div} {\boldsymbol {j}}){\frac {\hat {\boldsymbol {r}}}{r^{2}}}} また、 div r ^ r 2 = 4 π δ ( r ) {\displaystyle \operatorname {div} {\frac {\hat {\boldsymbol {r}}}{r^{2}}}=4\pi \delta (r)} なので、 rot H = 1 4 π ∫ V 4 π δ ( r ) j d 3 s {\displaystyle \operatorname {rot} {\boldsymbol {H}}={\frac {1}{4\pi }}\int _{V}4\pi \delta (r){\boldsymbol {j}}d^{3}{\boldsymbol {s}}} となる。積分を実行して、最終的に rot H = j {\displaystyle \operatorname {rot} {\boldsymbol {H}}={\boldsymbol {j}}} が得られる。
定義
性質
ベクトルポテンシャルが存在する必要条件
不定性
求め方
その1
その2
その3
Size:17 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef