デル演算子を含む乗法則
📂数理物理学デル演算子を含む乗法則
公式
f=f(x,y,z)をスカラー関数とする。A=Axx^+Ayy^+Azz^,B=Bxx^+Byy^+Bzz^をベクター関数とする。すると、次の式が成り立つ。
グラディエント勾配
(a) ∇(fg)=f∇g+g∇f
(b) ∇(A⋅B)=A×(∇×B)+B×(∇×A)+(A⋅∇)B+(B⋅∇)A
ダイバージェンス発散
(c) ∇⋅(fA)=f(∇⋅A)+A⋅(∇f)
(d) ∇⋅(A×B)=B⋅(∇×A)−A⋅(∇×B)
カール回転
(e) ∇×(fA)=(∇f)×A+f(∇×A)
(f) ∇×(A×B)=(B⋅∇)A−(A⋅∇)B+A(∇⋅B)−B(∇⋅A)
説明
証明全体でアインシュタインの表記法を使用しているので、混乱しないよう注意。つまり、一つの式に同じインデックスが二回出る場合は次のような意味である。
xiyi=i=1∑3xiyi=x1y1+x2y2+x3y3
また、クロネッカーのデルタとレビ・チビタ記号を使用することに慣れ、その二つの関係を知っている必要がある。
証明
(a)
グラディエントの定義と微分の性質で簡単に示すことができる。
∇(fg)==== ∂x∂(fg)x^+∂y∂(fg)y^+∂z∂(fg)z^ (g∂x∂f+f∂x∂g)x^+(g∂y∂f+f∂y∂g)y^+(g∂z∂f+f∂z∂g)z^ g(∂x∂fx^+∂y∂fy^+∂z∂fz^)+f(∂x∂gx^+∂y∂gy^+∂z∂gz^) g∇f+f∇g
■
(b)
左辺を直接計算してみると以下のようになる。
∇(A⋅B)==== ∂x1∂(A⋅B)e1+∂x2∂(A⋅B)e2+∂x3∂(A⋅B)e3 i=1∑3∂xi∂(A⋅B)ei i=1∑3∂xi∂(∑j=13AjBj)ei i=1∑3j=1∑3∂xi∂(AjBj)ei
これをアインシュタイン表記法で簡潔に表すと以下のようになる。
∇(A⋅B)=∂xi∂(AjBj)ei=∂xi∂AjBjei+Aj∂xi∂Bjei
さらにクロネッカーのデルタを使って上記式をXiYi=XiYjδijのように表せば以下のようになる。
⟹∂xi∂AjBjei+Aj∂xi∂Bjei===∇(A⋅B)= δjm∂xi∂AjBmei+δjmAm∂xi∂Bjeiδilδjm∂xi∂AjBmel+δilδjmAm∂xi∂Bjelδjlδjm(∂xi∂AjBmel+Am∂xi∂Bjel) δjlδjm(∂xi∂AjBmel+Am∂xi∂Bjel)
また、ϵijkϵklm=δilδjm−δimδjlであるため、上記式を以下のように展開できる。
∇(A⋅B)== (ϵijkϵklm+δimδjl)(∂xi∂AjBmel+Am∂xi∂Bjel) ϵijkϵklm∂xi∂AjBmel+ϵijkϵklmAm∂xi∂Bjel+δimδjl∂xi∂AjBmel+δimδjlAm∂xi∂Bjel
ここでレビ・チビタ記号の定義によりϵijk∂xi∂Aj=(∇×A)k、ϵijk∂xi∂Bj=(∇×B)kであるため、次の結果を得る。
∇(A⋅B)== ϵklm(∇×A)kBmel^+ϵklmAm(∇×B)kel^+∂xi∂AjBiej^+Ai∂xi∂Bjej^ B×(∇×A)+A×(∇×B)+(B⋅∇)A+(A⋅∇)B
■
(c)
∇⋅(fA)==== δij∇i(fAj) δij(∇if)Aj+δijf(∇iAj) (∇if)Ai+f(∇iAi) (∇f)⋅A+f(∇⋅A)
■
(d)
∇⋅(A×B)=δij∇i(A×B)j=δij∇i(ϵjklAkBl)=δijϵjkl∇i(AkBl)=δijϵjkl(∇iAk)Bl+δijϵjklAk(∇iBl)=(ϵjkl∇jAk)Bl+Ak(ϵjkl∇jBl)=(∇×A)lBl−Ak(∇×B)k=(∇×A)⋅B−A⋅(∇×B)
■
(e)
∇×(fA)=ϵijk∇i(fAj)ek=ϵijk(∇if)Ajek+ϵijkf(∇iAj)ek=(∇f)×A+fϵijk(∇iAj)ek=(∇f)×A+f(∇×A)=f(∇×A)−A×(∇f)
■
(f)
アインシュタイン表記法に慣れていなければ、証明についていくのが難しいかもしれない。
=========∇×(A×B) ϵijk∇i(A×B)jek ϵijk∇i(ϵjlmAlBm)ek ϵijkϵjlm∇i(AlBm)ek ϵjkiϵjlm[Bm(∇iAl)ek+Al(∇iBm)ek] (δklδim−δkmδil)[Bm(∇iAl)ek+Al(∇iBm)ek] δklδimBm(∇iAl)ek−δkmδilBm(∇iAl)ek+δklδimAl(∇iBm)ek−δkmδilAl(∇iBm)ek Bi(∇iAk)ek−Bk(∇iAi)ek+Ak(∇iBi)ek−Ai(∇iBk)ek (B⋅∇)A−(∇⋅A)B+A(∇⋅B)−(A⋅∇)B (B⋅∇)A−(A⋅∇)B+A(∇⋅B)−B(∇⋅A)
四行目はϵjkiϵjlm=δklδim−δkmδilにより成立する。七行目はアインシュタイン表記法により成立する。
■