직교좌표계에서의 벡터, 내적, 외적의 미분
📂수리물리직교좌표계에서의 벡터, 내적, 외적의 미분
공식
A=Axx^+Ayy^+Azz^,B=Bxx^+Byy^+Bzz^를 3차원 직교좌표계에서의 벡터라고 하자. n을 임의의 스칼라라고 하자. 그러면 다음의 식이 성립한다.
(a) dtd(nA)=dtdnA+ndtdA
(b) dtd(A⋅B)=dtA⋅B+A⋅dtdB
(c) dtd(A×B)=dtdA×B+A×dtdB
설명
고등학생 때부터 알고 있던 곱의 미분법을 떠올려보면 결과를 자연스럽게 받아들일 수 있을 것이다. 우선 A의 도함수를 계산해보자.
dtdA====dtd(Axx^+Ayy^+Azz^)dtdAxx^+Axdtdx^+dtdAyy^+Aydtdy^+dtdAzz^+Azdtdz^dtdAxx^+dtdAyy^+dtdAzz^(dtdAx,dtdAy,dtdAz)
각 방향의 단위벡터는 시간에 따라서 변하지 않으므로 미분했을 때 0이다. 위 결과로부터 벡터함수의 도함수는 여전히 벡터함수인 것을 알 수 있다. 또한 다음의 식도 성립함을 알 수 있다.
(dtdA)x=dtdAx
하지만 위 식은 일반적으로 성립하는 것이 아니라 직교좌표계에서만 성립하므로 주의해야 한다. 단위벡터가 시간에 따라 변할 경우에는 성립하지 않는다. 가령 극좌표계에서 속도와 가속도는 다음과 같다.
v=a=r˙r^+rθ˙θ^(r¨−rθ˙2)r^+(2r˙θ˙+rθ¨)θ^
그러면 아래와 같이 등식이 성립하지 않음을 알 수 있다.
(dtdv)θ=aθ=2r˙θ˙+rθ¨=r˙θ˙+rθ¨=dtdvθ
증명
(a)
dtd(nA)====dtd(nAxx^+nAyy^+nAzz^)(dtdnAx+ndtdAx)x^+(dtdnAy+ndtdAy)y^+(dtdnAz+ndtdAz)z^dtdn(Axx^+Ayy^+Azz^)+n(dtdAxx^+dtdAyy^+dtdAzz^)dtdnA+ndtdA
■
(b)
dtd(A⋅B)=====dtd(AxBx+AyBy+AzBz)(dtdAxBx+AxdtdBx)+(dtdAyBy+AydtdBy)+(dtdAzBz+AzdtdBz)(dtdAxBx+dtdAyBy+dtdAzBz)+(AxdtdBx+AydtdBy+AzdtdBz)[(dtdA)xBx+(dtdA)yBy+(dtdA)zBz]+[Ax(dtdB)x+Ay(dtdB)y+Az(dtdB)z]dtdA⋅B+A⋅dtdB
■
(c)
dtd(A×B)====dtd[x^(AyBz−AzBy)+y^(AzBx−AxBz)+z^(AxBy−AyBx)]x^(dtdAyBz+AydtdBz−dtdAzBy–AzdtBy)+y^(dtdAzBx+AzdtdBx−dtdAxBz–AxdtBz)+z^(dtdAxBy+AxdtdBy−dtdAyBx–AydtBx)[x^(dtdAyBz−dtdAzBy)+y^(dtdAzBx−dtdAxBz)+z^(dtdAxBy−dtdAyBx)]+[x^(AydtdBz−AzdtdBy)+y^(AzdtdBx−AxdtdBz)+z^(AxdtdBy−AydtdBx)]dtdA×B+A×dtdB
■