6.3 直交曲線座標系
直交曲線座標の定義
直交曲線座標(orthogonal curvilinear coordinates)
$(u_1, u_2, u_3)$ における位置ベクトルを$\VEC{r}$とすると,この点から微小量$du_1$,$du_2$,$du_3$だけ変位した点
$(u_1 + du_1, u_2 + du_2, u_3 + du_3)$
までの変位ベクトル$d \VEC{r}$は,次のようになる.
\begin{gather}
d\VEC{r} = \frac{\partial \VEC{r}}{\partial u_1} du_1
+ \frac{\partial \VEC{r}}{\partial u_2} du_2 + \frac{\partial \VEC{r}}{\partial u_3} du_3
\end{gather}
いま,
\begin{gather}
\VEC{a}_i \equiv \frac{\partial \VEC{r}}{\partial u_i} \ \ \ \ \ (i = 1,2,3)
\end{gather}
とおくと,$d\VEC{r}$は,
\begin{eqnarray}
d\VEC{r} = \VEC{a}_1 du_1 + \VEC{a}_2 du_2 + \VEC{a}_3 du_3
\end{eqnarray}
このようにして定義した$\VEC{a}_i$は,直交曲線座標の成分$u_i$に沿うベクトルであるが,単位ベクトルとは限らない.
ここでは,直交性
$\VEC{a} _i \cdot \VEC{a} _j = 0 \ (i \neq j)$
は成り立つものとする.まず,$\VEC{a}_i $の大きさを1とした単位ベクトル$\VEC{i}_i$を
\begin{gather}
\VEC{i}_i \equiv \frac{\VEC{a}_i}{ \sqrt{\VEC{a}_i \cdot \VEC{a}_i }} \ \ \ \ \ (i = 1,2,3)
\end{gather}
で定義する.互いに直交するので,
\begin{gather}
\VEC{i} _i \cdot \VEC{i} _j = \delta _{ij}
\end{gather}
また,$\VEC{a}_i$の大きさ$h_i (i = 1,2,3)$は,
\begin{eqnarray}
h_i
&=& \sqrt{ \VEC{a}_i \cdot \VEC{a}_i }
\nonumber \\
&=& \sqrt{\frac{\partial \VEC{r}}{\partial u_i}
\cdot \frac{\partial \VEC{r}}{\partial u_i} } \ \ \ \ \ (i = 1,2,3)
\end{eqnarray}
ここで,$h_i$は$u_i$の測度係数(metrical coefficients, metric coefficients)という.これより,
\begin{gather}
\VEC{a}_i = h_i \VEC{i}_i \ \ \ \ \ (i = 1,2,3)
\end{gather}
さて,$\VEC{i}_i \ (i = 1,2,3)$に関するベクトル積は,
\begin{gather}
\VEC{i}_1 \times \VEC{i}_2 = \VEC{i}_3
\\
\VEC{i}_2 \times \VEC{i}_3 = \VEC{i}_1
\\
\VEC{i}_3 \times \VEC{i}_1 = \VEC{i}_2
\end{gather}
であるから,$\VEC{a}_i \ (i = 1,2,3)$に関するベクトル積は,
\begin{eqnarray}
\VEC{a}_1 \times \VEC{a}_2
&=& h_1 \VEC{i}_1 \times h_2 \VEC{i}_2
\nonumber \\
&=& h_1 h_2 \VEC{i}_3
\\
\VEC{a}_2 \times \VEC{a}_3
&=& h_2 \VEC{i}_2 \times h_3 \VEC{i}_3
\nonumber \\
&=& h_2 h_3 \VEC{i}_1
\\
\VEC{a}_3 \times \VEC{a}_1
&=& h_3 \VEC{i}_3 \times h_1 \VEC{i}_1
\nonumber \\
&=& h_3 h_1 \VEC{i}_2
\end{eqnarray}
また,
\begin{eqnarray}
d\VEC{r}
&=& h_1 \VEC{i}_1 du_1 + h_2 \VEC{i}_2 du_2 + h_3 \VEC{i}_3 du_3
\nonumber \\
&=& \sum _{i=1}^3 h_i \VEC{i}_i du_i
\nonumber \\
&=& \sum _{i=1}^3 d \VEC{s}_i
\label{eq:dr}
\end{eqnarray}
上式の$d\VEC{s}_i$はベクトル線要素$d\VEC{s}_i$を示し,
\begin{eqnarray}
d\VEC{s}_i
&=& h_i \VEC{i}_i du_i
\nonumber \\
&\equiv& \VEC{i}_i ds_i \ \ \ \ \ (i = 1,2,3)
\end{eqnarray}
とおけば,線要素(line element)$ds_i \ (i = 1,2,3)$が定義できる.
\begin{eqnarray}
ds_1 &=& h_1 du_1
\\
ds_2 &=& h_2 du_2
\\
ds_3 &=& h_3 du_3
\end{eqnarray}
これより,
\begin{eqnarray}
d\VEC{r} \cdot d\VEC{r}
&=& ds_1^2 + ds_2^2 + ds_3^2
\nonumber \\
&=& h_1^2 du_1^2 + h_2 du_2^2 + h_3^2 du_3^2
\end{eqnarray}
また,ベクトル面要素$d\VEC{a}_i \ (i = 1,2,3)$は,
\begin{eqnarray}
d\VEC{a}_1
&=& d\VEC{s}_2 \times d\VEC{s}_3
\nonumber \\
&=& h_2 \VEC{i}_2 du_2 \times h_3 \VEC{i}_3 du_3
\nonumber \\
&=& h_2 h_3 \VEC{i}_1 du_2 du_3
\nonumber \\
&\equiv& da_1 \VEC{i}_1
\\
d\VEC{a}_2
&=& d\VEC{s}_3 \times d\VEC{s}_1
\nonumber \\
&=& h_3 \VEC{i}_3 du_3 \times h_1 \VEC{i}_1 du_1
\nonumber \\
&=& h_3 h_1 \VEC{i}_2 du_3 du_1
\nonumber \\
&\equiv& da_2 \VEC{i}_2
\\
d\VEC{a}_3
&=& d\VEC{s}_1 \times d\VEC{s}_2
\nonumber \\
&=& h_1 \VEC{i}_1 du_1 \times h_2 \VEC{i}_2 du_2
\nonumber \\
&=& h_1 h_2 \VEC{i}_3 du_1 du_2
\nonumber \\
&\equiv& da_3 \VEC{i}_3
\end{eqnarray}
面要素(surface element)$da_i \ (i = 1,2,3)$は,
\begin{eqnarray}
da_1 &=& h_2 h_3 du_2 du_3
\\
da_2 &=& h_3 h_1 du_3 du_1
\\
da_3 &=& h_1 h_2 du_1 du_2
\end{eqnarray}
また,体積要素(volume element)$dv$は,
\begin{eqnarray}
dv
&=& d\VEC{s}_1 \cdot (d\VEC{s}_2 \times d\VEC{s}_3 )
\nonumber \\
&=& h_1 \VEC{i}_1 du_1 \cdot h_2 h_3 \VEC{i}_1 du_2 du_3
\nonumber \\
&=& h_1 h_2 h_3 du_1 du_2 du_3
\end{eqnarray}
いま,直交曲線座標系$(u_1 , u_2 , u_3)$の各成分が,
直角座標系$(x, y, z)$の各成分の関数として次のように与えられている場合を考える.
\begin{gather}
u_1 = f_1 (x,y,z)
\\
u_2 = f_2 (x,y,z)
\\
u_3 = f_3 (x,y,z)
\end{gather}
$(x, y, z)$の代わりに$(x_1, x_2, x_3)$とすると,
\begin{gather}
u_1 = f_1 (x_1,x_2,x_3)
\\
u_2 = f_2 (x_1,x_2,x_3)
\\
u_3 = f_3 (x_1,x_2,x_3)
\end{gather}
逆の関係が次のように一価関数として
\begin{gather}
x_1 = x_1 (u_1,u_2,u_3)
\\
x_2 = x_2 (u_1,u_2,u_3)
\\
x_3 = x_3 (u_1,u_2,u_3)
\end{gather}
で与えられているとき,位置ベクトル$\VEC{r}$は,
\begin{gather}
\VEC{r} = x_1(u_1,u_2,u_3) \VEC{i} + x_2(u_1,u_2,u_3) \VEC{j}
+ x_3(u_1,u_2,u_3) \VEC{k}
\end{gather}
ただし,$\VEC{i}$,$\VEC{j}$,$\VEC{k}$は,
$x_1$,$x_2$,$x_3$
方向の各々単位ベクトルである.これより,
$u_i \ (i = 1,2,3)$
で微分すると,
\begin{gather}
\frac{\partial \VEC{r}}{\partial u_i}
= \frac{\partial x_1}{\partial u_i} \VEC{i}
+ \frac{\partial x_2}{\partial u_i} \VEC{j}
+ \frac{\partial x_3}{\partial u_i} \VEC{k} \ \ \ \ \ (i = 1,2,3)
\end{gather}
したがって,$h_i \ (i = 1,2,3)$は,
\begin{eqnarray}
h_i
&=& \sqrt{\frac{\partial \VEC{r}}{\partial u_i} \cdot \frac{\partial \VEC{r}}{\partial u_i} }
\nonumber \\
&=& \sqrt{\left( \frac{\partial x_1}{\partial u_i} \right)^2
+ \left( \frac{\partial x_2}{\partial u_i} \right)^2
+ \left( \frac{\partial x_3}{\partial u_i} \right)^2 }
\nonumber \\
&=& \sqrt{ \sum _{j=1}^3 \left( \frac{\partial x_j}{\partial u_i} \right)^2 }
\end{eqnarray}
勾配(gradient)
勾配は,スカラ場の変化の割合をベクトルで表したもので,スカラ関数を$\Phi $とすると,
$\nabla \Phi$ あるいは$\mbox{grad} \ \Phi$
と書く.勾配
$\nabla \Phi$(あるいは$\mbox{grad} \ \Phi$)
の方向は,スカラ関数の変化の割合が最大となる向きを示し,等高線表示においてはその等高線に垂直にとった方向となる.また,大きさは,変化の割合の最大値を意味している.
直交曲線座標$(u_1, u_2, u_3)$の関数としてスカラー$\Phi (u_1, u_2, u_3)$が与えられているとき,
$d\VEC{r}$
だけ微小変位したときの$\Phi$の微小変化$d\Phi$は,次のように表すことができる.
\begin{eqnarray}
d \Phi
&=& \frac{\partial \Phi}{\partial u_1} du_1
+ \frac{\partial \Phi}{\partial u_2} du_2 + \frac{\partial \Phi}{\partial u_3} du_3
\nonumber \\
&=& \sum _{i=1}^3 \frac{\partial \Phi}{\partial u_i} du_i
\end{eqnarray}
一方,勾配(gradient)の定義より,
$d \Phi = \nabla \Phi \cdot d\VEC{r}$.
よって,
\begin{gather}
\nabla \Phi \cdot d\VEC{r} = \sum _{i=1}^3 \frac{\partial \Phi}{\partial u_i} du_i
\end{gather}
ただし,$d\VEC{r}$は,式\eqref{eq:dr}より,
\begin{gather}
d\VEC{r} = \sum _{i=1}^3 h_i \VEC{i}_i du_i
\end{gather}
両辺に$\VEC{i}_j$のスカラー積をとると,
\begin{eqnarray}
\VEC{i}_j \cdot d\VEC{r}
&=& \VEC{i}_j \cdot \sum _{i=1}^3 h_i \VEC{i}_i du_i
\nonumber \\
&=& h_j du_j
\end{eqnarray}
これより,$du_i$は,
\begin{gather}
du_i = \frac{\VEC{i}_i \cdot d\VEC{r}}{h_i}
\end{gather}
したがって,
\begin{gather}
\nabla \Phi \cdot d\VEC{r}
= \sum _{i=1}^3 \frac{\partial \Phi}{\partial u_i} \frac{\VEC{i}_i \cdot d\VEC{r}}{h_i}
\\
\therefore
\left( \nabla \Phi - \sum _{i=1}^3 \frac{\VEC{i}_i}{h_i} \frac{\partial \Phi}{\partial u_i} \right) \cdot d\VEC{r}
= 0
\end{gather}
上式が任意の$d\VEC{r}$に対して成り立つためには,
\begin{gather}
\nabla \Phi - \sum _{i=1}^3 \frac{\VEC{i}_i}{h_i} \frac{\partial \Phi}{\partial u_i} = 0
\end{gather}
よって,スカラー関数$\Phi$の勾配$\nabla \Phi$は,
\begin{eqnarray}
\nabla \Phi = \sum _{i=1}^3 \frac{1}{h_i} \frac{\partial \Phi}{\partial u_i} \VEC{i}_i
\end{eqnarray}
発散(divergence)
発散は,ベクトル場の源がどのように分布しているかを表す目安で,ベクトル関数を$\VEC{F} $とすると,
$\nabla \cdot \VEC{F}$
あるいは
$\mbox{div} \ \VEC{F}$
と書く.発散の定義式は,
\begin{gather}
\nabla \cdot \VEC{F}
= \lim _{S \to 0} \frac{1}{V} \oiint _S \VEC{F} \cdot \VEC{n} dS
\end{gather}
で与えられ,単位体積当たり閉曲面の表面を通り抜ける正味のfluxの量(流束)を求めるものである.
ただし,$\VEC{n}$は曲面の法線ベクトル,積分記号$\oiint$は閉曲面$S$にわたる面積分を表している.
いま,ベクトル$\VEC{F}$が,
直交曲線座標系の単位ベクトル$\VEC{i}_i \ (i=1,2,3)$を用いて,次式で与えられているとする.
\begin{gather}
\VEC{F} = F_1 \VEC{i}_1 + F_2 \VEC{i}_2 + F_3 \VEC{i}_3
= \sum _{i=1}^3 F_i \VEC{i}_i
\end{gather}
このとき,
$u_1$-曲面($u_1$一定),$u_2$-曲面($u_2$一定),$u_3$-曲面($u_3$一定)
で囲まれる微小体積から出るこのベクトル$\VEC{F}$の流束を考えてみる.
まず,$u_2$曲面上の面要素から出るベクトル$\VEC{F}$の流束は,
\begin{eqnarray}
&&\VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 ) \Big| _{u_2 + du_2}
+ \VEC{F} \cdot (- d\VEC{s}_3 \times d\VEC{s}_1 ) \Big| _{u_2}
\nonumber \\
&\simeq& \VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 ) \Big| _{u_2}
+ \frac{\partial }{\partial u_2} \{ \VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 ) \} du_2
- \VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 ) \Big| _{u_2}
\nonumber \\
&=& \frac{\partial }{\partial u_2} \{ \VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 ) \} du_2
\end{eqnarray}
ただし,$du_2$は座標の増分を意味するもので,直接,線要素になるわけではない.
ここで,
\begin{eqnarray}
\VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 )
&=& \left\{ \sum _{i=1}^3 F_i \VEC{i}_i \right\} \cdot (h_3 h_1 \VEC{i}_2 du_3 du_1)
\nonumber \\
&=& F_2 h_3 h_1 du_3 du_1
\end{eqnarray}
より,
\begin{gather}
\frac{\partial }{\partial u_2} \{ \VEC{F} \cdot (d\VEC{s}_3 \times d\VEC{s}_1 ) \} du_2
= \frac{\partial }{\partial u_2} \left\{ F_2 h_3 h_1 \right\} du_1 du_2 du_3
\end{gather}
同様にして,$u_3$曲面上の面要素から出るベクトル$\VEC{F}$の流束は,
\begin{gather}
\frac{\partial }{\partial u_3} \left\{ F_3 h_1 h_2 \right\} du_1 du_2 du_3
\nonumber
\end{gather}
また,$u_1$曲面上の面要素から出るベクトル$\VEC{F}$の流束は,
\begin{gather}
\frac{\partial }{\partial u_1} \left\{ F_1 h_2 h_3 \right\} du_1 du_2 du_3
\nonumber
\end{gather}
よって,$u_1$-曲面,$u_2$-曲面,$u_3$-曲面で囲まれる微小体積から出るベクトル$\VEC{F}$の流束は,これらの総和をとって次のようになる.
\begin{eqnarray}
&&\left[ \frac{\partial }{\partial u_1} \left\{ h_2 h_3 F_1 \right\}
+ \frac{\partial }{\partial u_2} \left\{ h_3 h_1 F_2 \right\} \right.
\left.
+ \frac{\partial }{\partial u_3} \left\{ h_1 h_2 F_3 \right\} \right]
\cdot du_1 du_2 du_3
\nonumber \\
&=& \frac{1}{h_1 h_2 h_3}
\left[ \frac{\partial }{\partial u_1} \left\{ h_2 h_3 F_1 \right\}
+ \frac{\partial }{\partial u_2} \left\{ h_3 h_1 F_2 \right\} \right.
\left.
+ \frac{\partial }{\partial u_3} \left\{ h_1 h_2 F_3 \right\} \right] dv
\end{eqnarray}
発散の定義より,
\begin{equation}
\nabla \cdot \VEC{F}
= \frac{1}{h_1 h_2 h_3}
\left[
\frac{\partial }{\partial u_1} \left\{ h_2 h_3 F_1 \right\}
+ \frac{\partial }{\partial u_2} \left\{ h_3 h_1 F_2 \right\}
+ \frac{\partial }{\partial u_3} \left\{ h_1 h_2 F_3 \right\}
\right]
\end{equation}
ラプラシアン(Laplacian operator)
$\nabla \cdot \nabla \Phi = \nabla ^2 \Phi$の$\nabla ^2$
(ラプラシアン)を考える.いま,$\nabla \Phi$をベクトル$\VEC{F}'$とおき,
\begin{eqnarray}
\nabla \Phi
&=& \sum _{i=1}^3 \frac{1}{h_i} \frac{\partial \Phi}{\partial u_i} \VEC{i}_i
\nonumber \\
&\equiv& \sum _{i=1}^3 F'_i \VEC{i}_i
\nonumber \\
&\equiv& \VEC{F}'
\end{eqnarray}
ベクトル$\VEC{F}'$の成分$F'_i $は,
\begin{gather}
F'_i = \frac{1}{h_i} \frac{\partial \Phi}{\partial u_i} \ \ \ \ \ (i=1,2,3)
\end{gather}
ベクトル$\VEC{F}'$の発散を求めれば,
\begin{gather}
\nabla \cdot \VEC{F}'
= \frac{1}{h_1 h_2 h_3}
\left[ \frac{\partial }{\partial u_1} \left\{ h_2 h_3 F'_1 \right\} \right.
\left.
+ \frac{\partial }{\partial u_2} \left\{ h_3 h_1 F'_2 \right\}
+ \frac{\partial }{\partial u_3} \left\{ h_1 h_2 F'_3 \right\} \right]
\end{gather}
このとき,
\begin{gather}
\nabla \cdot \VEC{F}'
= \nabla \cdot \nabla \Phi
= \nabla ^2 \Phi
\end{gather}
したがって,
\begin{eqnarray}
\nabla ^2 \Phi
&=& \frac{1}{h_1 h_2 h_3} \left\{
\frac{\partial }{\partial u_1} \left( \frac{h_2 h_3}{h_1} \frac{\partial \Phi}{\partial u_1} \right) \right.
\nonumber \\
&&\left. + \frac{\partial }{\partial u_2} \left( \frac{h_3 h_1}{h_2} \frac{\partial \Phi}{\partial u_2} \right)
+ \frac{\partial }{\partial u_3} \left( \frac{h_1 h_2}{h_3} \frac{\partial \Phi}{\partial u_3} \right)
\right\}
\end{eqnarray}
回転(rotation)
回転は,ベクトル関数を$\VEC{F} $とすると,
$\nabla \times \VEC{F}$,$\mbox{rot} \ \VEC{F}$
あるいは
$\mbox{curl} \ \VEC{F}$
と書く.このベクトルの回転は,単位面積当たりの最大の回転量(渦)を与える面に垂直な方向をもち,回転量の最大値を大きさとするベクトルであり,この垂直な方向に沿う単位ベクトルを$\VEC{n}$とおくと,その大きさは,
\begin{gather}
( \nabla \times \VEC{F}) \cdot \VEC{n}
= \lim _{\Delta C \to 0} \frac{1}{S} \oiint _{C} \VEC{F} \cdot d\VEC{s}
\end{gather}
で与えられる.このとき,$\nabla \times \VEC{F}$を,
\begin{gather}
\nabla \times \VEC{F} = \sum _{i=1}^3 \{ ( \nabla \times \VEC{F} ) \cdot \VEC{i}_i \} \VEC{i}_i
\end{gather}
とおくと,次のように単位ベクトル$\VEC{i}_i$に直交する微小面$S_i$の周回積分路$C_i$に沿って計算すれば,
$\nabla \times \VEC{F}$
の各成分が得られる.
\begin{gather}
( \nabla \times \VEC{F}) \cdot \VEC{i}_i
= \lim _{\Delta C_i \to 0} \frac{1}{S_i} \oiint _{C_i} \VEC{F} \cdot d\VEC{s}
\ \ \ \ \ (i=1,2,3)
\end{gather}
そこで,まず,$( \nabla \times \VEC{F} ) \cdot \VEC{i}_1$について求めることにする.このとき,周回積分路$C_1$のうち,
同図の(1)の
$(u_1 , u_2 +du_2 , u_3)$から$(u_1 , u_2 +du_2 , u_3 + du_3)$
までの線積分($u_3$-曲線上)は,線要素$ds_3 = h_3 du_3$より,
\begin{gather}
F_3 ds_3 \Big| _{u_2 +du_2}
\simeq F_3 h_3 du_3 + \frac{\partial }{\partial u_2 } (F_3 h_3 du_3) du_2 \nonumber
\end{gather}
また,同図の(2)の $(u_1 , u_2 , u_3 +du_3)$から$(u_1 , u_2 , u_3)$までの線積分($u_3$-曲線上)は,
\begin{gather}
-F_3 ds_3 \Big| _{u_2} = - F_3 h_3 du_3 \nonumber
\end{gather}
同図の(3)の$(u_1 , u_2 +du_2 , u_3 +du_3)$から$(u_1 , u_2 , u_3 + du_3)$までの線積分($u_2$-曲線上)は,
線要素$ds_2 = h_2 du_2$より,
\begin{gather}
-F_2 ds_2 \Big| _{u_3 +du_3} \simeq -F_2 h_2 du_2 - \frac{\partial }{\partial u_3 } (F_2 h_2 du_2) du_3 \nonumber
\end{gather}
同図の(4)の$(u_1 , u_2 , u_3)$から$(u_1 , u_2 +du_2 , u_3)$までの線積分は,
\begin{gather}
F_2 ds_2 \Big| _{u_3} = F_2 h_2 du_2 \nonumber
\end{gather}
これらの総和をとれば,$C_1$の周回積分が得られ次のようになる.
\begin{gather}
\left\{ \frac{\partial (h_3 F_3)}{\partial u_2 } -\frac{\partial (h_2 F_2) }{\partial u_3 } \right\} du_2 du_3
\nonumber
\end{gather}
また,$C_1$に囲まれた面積は,面要素$da_1$に対応し,再記すると,
$da_1 = h_2 h_3 du_2 du_3$.
したがって,
\begin{eqnarray}
( \nabla \times \VEC{F}) \cdot \VEC{i}_1
&=& \frac{\left\{ \frac{\partial (h_3 F_3)}{\partial u_2 } -\frac{\partial (h_2 F_2)}{\partial u_3 } \right\} du_2 du_3}{
h_2 h_3 du_2 du_3}
\nonumber \\
&=& \frac{1}{h_2 h_3} \left\{ \frac{\partial (h_3 F_3)}{\partial u_2 } -\frac{\partial (h_2 F_2)}{\partial u_3 }
\right\}
\end{eqnarray}
同様にして,
\begin{eqnarray}
( \nabla \times \VEC{F}) \cdot \VEC{i}_2
&=& \frac{1}{h_3 h_1} \left\{ \frac{\partial (h_1 F_1)}{\partial u_3 }
-\frac{\partial (h_3 F_3)}{\partial u_1 } \right\}
\\
( \nabla \times \VEC{F}) \cdot \VEC{i}_3
&=& \frac{1}{h_1 h_2} \left\{ \frac{\partial (h_2 F_2)}{\partial u_1 }
-\frac{\partial (h_1 F_1)}{\partial u_2 } \right\}
\end{eqnarray}
よって,$\nabla \times \VEC{F}$は次のようになる.
\begin{eqnarray}
\nabla \times \VEC{F}
&=& \frac{1}{h_2 h_3} \left\{ \frac{\partial (h_3 F_3)}{\partial u_2 }
-\frac{\partial (h_2 F_2)}{\partial u_3 } \right\} \VEC{i}_1
\nonumber \\
&&+ \frac{1}{h_3 h_1} \left\{ \frac{\partial (h_1 F_1)}{\partial u_3 }
-\frac{\partial (h_3 F_3)}{\partial u_1 } \right\} \VEC{i}_2
\nonumber \\
&&+ \frac{1}{h_1 h_2} \left\{ \frac{\partial (h_2 F_2)}{\partial u_1 }
-\frac{\partial (h_1 F_1)}{\partial u_2 } \right\} \VEC{i}_3
\nonumber \\
&=& \frac{1}{h_1 h_2 h_3}
\begin{vmatrix}
h_1 \VEC{i}_1 & h_2 \VEC{i}_2 & h_3 \VEC{i}_3 \Big. \\
\displaystyle{ \frac{\partial }{\partial u_1} } &
\displaystyle{ \frac{\partial }{\partial u_2} } &
\displaystyle{ \frac{\partial }{\partial u_3} } \\
h_1 F_1 & h_2 F_2 & h_3 F_3 \Big.
\end{vmatrix}
\end{eqnarray}
まとめ
\begin{eqnarray}
\nabla \Phi
&=& \frac{1}{h_1} \frac{\partial \Phi}{\partial u_1} \VEC{i}_1
+ \frac{1}{h_2} \frac{\partial \Phi}{\partial u_2} \VEC{i}_2
+ \frac{1}{h_3} \frac{\partial \Phi}{\partial u_3} \VEC{i}_3
\nonumber \\
&=& \sum _{i=1}^3 \frac{1}{h_i} \frac{\partial \Phi}{\partial u_i} \VEC{i}_i
\end{eqnarray}
\begin{eqnarray}
\nabla \cdot \VEC{F}
&=& \frac{1}{h_1 h_2 h_3}
\left[
\frac{\partial }{\partial u_1} \left\{ h_2 h_3 F_1 \right\}
+ \frac{\partial }{\partial u_2} \left\{ h_3 h_1 F_2 \right\}
+ \frac{\partial }{\partial u_3} \left\{ h_1 h_2 F_3 \right\}
\right]
\nonumber \\
&=& \frac{1}{h_1 h_2 h_3} \sum_{i=1}^3
\frac{\partial }{\partial u_i} \left\{ h_j h_k F_i \right\}
\end{eqnarray}
\begin{eqnarray}
\nabla ^2 \Phi
&=& \frac{1}{h_1 h_2 h_3} \left\{
\frac{\partial }{\partial u_1} \left( \frac{h_2 h_3}{h_1} \frac{\partial \Phi}{\partial u_1} \right) \right.
\nonumber \\
&&\left. + \frac{\partial }{\partial u_2} \left( \frac{h_3 h_1}{h_2} \frac{\partial \Phi}{\partial u_2} \right)
+ \frac{\partial }{\partial u_3} \left( \frac{h_1 h_2}{h_3} \frac{\partial \Phi}{\partial u_3} \right)
\right\}
\nonumber \\
&=& \frac{1}{h_1 h_2 h_3} \sum_{i=1}^3
\frac{\partial }{\partial u_i} \left( \frac{h_j h_k}{h_i} \frac{\partial \Phi}{\partial u_i} \right)
\end{eqnarray}
\begin{eqnarray}
\nabla \times \VEC{F}
&=& \frac{1}{h_2 h_3} \left\{ \frac{\partial (h_3 F_3)}{\partial u_2 }
-\frac{\partial (h_2 F_2)}{\partial u_3 } \right\} \VEC{i}_1
\nonumber \\
&&+ \frac{1}{h_3 h_1} \left\{ \frac{\partial (h_1 F_1)}{\partial u_3 }
-\frac{\partial (h_3 F_3)}{\partial u_1 } \right\} \VEC{i}_2
\nonumber \\
&&+ \frac{1}{h_1 h_2} \left\{ \frac{\partial (h_2 F_2)}{\partial u_1 }
-\frac{\partial (h_1 F_1)}{\partial u_2 } \right\} \VEC{i}_3
\nonumber \\
&=& \frac{1}{h_1 h_2 h_3} \sum_{i=1}^3 h_i \left\{ \frac{\partial (h_k F_k)}{\partial u_j }
-\frac{\partial (h_j F_j)}{\partial u_k } \right\} \VEC{i}_i
\end{eqnarray}
また,$(u_1, u_2)$に関する2次元微分演算子$\nabla_s$の場合(導出省略),
\begin{equation}
\nabla_s \cdot \VEC{F}
= \frac{1}{h_1 h_2}
\left[
\frac{\partial }{\partial u_1} \left\{ h_2 F_1 \right\}
+ \frac{\partial }{\partial u_2} \left\{ h_1 F_2 \right\}
\right]
\end{equation}
\begin{eqnarray}
\nabla_s \times \VEC{F}
&=& \frac{1}{h_1 h_2} \left\{ \frac{\partial (h_2 \VEC{i}_1 \times \VEC{F})}{\partial u_1 }
-\frac{\partial (h_1 \VEC{i}_2 \times \VEC{F})}{\partial u_2 } \right\}
\end{eqnarray}
球座標系
球座標系(Spherical coordinates system)$(r, \theta, \varphi)$ では,
\begin{gather}
u_1=r, \ \ \ \ \ u_2=\theta, \ \ \ \ \ u_3=\varphi
\end{gather}
とおくと,
位置ベクトル$\VEC{r}$は次のようになる.
\begin{eqnarray}
\VEC{r} =
r \big\{ \sin \theta ( \cos \varphi \ \VEC{i} + \sin \varphi \ \VEC{j} ) + \cos \theta \ \VEC{k} \big\}
\end{eqnarray}
これより,
\begin{eqnarray}
\frac{\partial \VEC{r}}{\partial u_1} = \frac{\partial \VEC{r}}{\partial r}
&=& \sin \theta ( \cos \varphi \ \VEC{i} + \sin \varphi \ \VEC{j} ) + \cos \theta \ \VEC{k}
\\
\frac{\partial \VEC{r}}{\partial u_2} = \frac{\partial \VEC{r}}{\partial \theta}
&=& r \big\{ \cos \theta ( \cos \varphi \ \VEC{i} + \sin \varphi \ \VEC{j} ) - \sin \theta \ \VEC{k} \big\}
\\
\frac{\partial \VEC{r}}{\partial u_3} = \frac{\partial \VEC{r}}{\partial \varphi}
&=& r \sin \theta ( -\sin \varphi \ \VEC{i} + \cos \varphi \ \VEC{j} )
\end{eqnarray}
よって,$h_1$,$h_2$,$h_3$は,
\begin{eqnarray}
h_1
&=& \sqrt{\frac{\partial \VEC{r}}{\partial u_1} \cdot \frac{\partial \VEC{r}}{\partial u_1} }
\nonumber \\
&=& \sqrt{\frac{\partial \VEC{r}}{\partial r} \cdot \frac{\partial \VEC{r}}{\partial r} }
\nonumber \\
&=& 1
\\
h_2
&=& \sqrt{\frac{\partial \VEC{r}}{\partial u_2} \cdot \frac{\partial \VEC{r}}{\partial u_2} }
\nonumber \\
&=& \sqrt{\frac{\partial \VEC{r}}{\partial \theta} \cdot \frac{\partial \VEC{r}}{\partial \theta} }
\nonumber \\
&=& r
\\
h_3
&=& \sqrt{\frac{\partial \VEC{r}}{\partial u_3} \cdot \frac{\partial \VEC{r}}{\partial u_3} }
\nonumber \\
&=& \sqrt{\frac{\partial \VEC{r}}{\partial \varphi} \cdot \frac{\partial \VEC{r}}{\partial \varphi} }
\nonumber \\
&=& r \sin \theta
\end{eqnarray}
また,$r, \theta, \varphi$ に沿う単位ベクトル
$\VEC{u}_r$,$\VEC{u}_\theta$,$\VEC{u}_\varphi$
は,上の結果を基にして各単位ベクトルを求めると次のようになる.
\begin{eqnarray}
\VEC{u}_r
&=& \VEC{i}_1
= \frac{1}{h_1} \frac{\partial \VEC{r}}{\partial u_1}
\nonumber \\
&=& \frac{\partial \VEC{r}}{\partial r}
\nonumber \\
&=& \sin \theta ( \cos \varphi \ \VEC{i} + \sin \varphi \ \VEC{j} ) + \cos \theta \ \VEC{k}
\\
\VEC{u}_\theta
&=& \VEC{i}_2
= \frac{1}{h_2} \frac{\partial \VEC{r}}{\partial u_2}
\nonumber \\
&=& \frac{1}{r} \frac{\partial \VEC{r}}{\partial \theta}
\nonumber \\
&=& \cos \theta ( \cos \varphi \ \VEC{i} + \sin \varphi \ \VEC{j} ) - \sin \theta \ \VEC{k}
\\
\VEC{u}_\varphi
&=& \VEC{i}_3
= \frac{1}{h_3} \frac{\partial \VEC{r}}{\partial u_3}
\nonumber \\
&=& \frac{1}{r \sin \theta } \frac{\partial \VEC{r}}{\partial \varphi}
\nonumber \\
&=& -\sin \varphi \ \VEC{i} + \cos \varphi \ \VEC{j}
\end{eqnarray}
スカラ関数
$\Phi$,
ベクトル関数
$\VEC{F} = F_r \VEC{u}_r + F_\theta \VEC{u}_\theta + F_\varphi \VEC{u}_\varphi$
について,次式が成り立つ.
\begin{eqnarray}
\nabla \Phi
&=& \frac{\partial \Phi}{\partial r} \VEC{u}_r
+ \frac{1}{r} \ \frac{\partial \Phi}{\partial \theta} \VEC{u}_\theta
+ \frac{1}{r\sin \theta } \ \frac{\partial \Phi}{\partial \varphi} \VEC{u}_\varphi
\\
\nabla ^2 \Phi
&=& \frac{1}{r^2} \frac{\partial }{\partial r}
\left( r^2 \frac{\partial \Phi}{\partial r} \right)
+ \frac{1}{r^2 \sin \theta } \ \frac{\partial }{\partial \theta}
\left( \sin \theta \frac{\partial \Phi }{\partial \theta} \right)
+ \frac{1}{r^2 \sin ^2 \theta } \ \frac{\partial ^2 \Phi}{\partial \varphi ^2}
\\
\nabla \cdot \VEC{F}
&=& \frac{1}{r^2} \frac{\partial }{\partial r} \left( r^2 F_r \right)
+ \frac{1}{r \sin \theta } \ \frac{\partial }{\partial \theta} \left( \sin \theta \cdot F_\theta \right)
+ \frac{1}{r\sin \theta } \ \frac{\partial F_\varphi}{\partial \varphi}
\\
\nabla \times \VEC{F}
&=& \frac{1}{r\sin \theta } \left\{ \frac{\partial }{\partial \theta} (\sin \theta F_\varphi )
- \frac{\partial F_\theta}{\partial \varphi} \right\} \VEC{u}_r
\nonumber \\
&&+ \left\{ \frac{1}{r\sin \theta} \frac{\partial F_r}{\partial \varphi}
- \frac{1}{r} \frac{\partial }{\partial r} (r F_\varphi) \right\} \VEC{u}_\theta
\nonumber \\
&&+ \frac{1}{r} \left\{ \frac{\partial }{\partial r} (r F_\theta )
- \frac{\partial F_r}{\partial \theta} \right\} \VEC{u}_\varphi
\nonumber \\
&=&
\begin{vmatrix}
\VEC{u}_r & r\VEC{u}_\theta & r \sin \theta \VEC{u}_\varphi \Big. \\
\displaystyle{ \frac{\partial }{\partial r} } &
\displaystyle{ \frac{\partial }{\partial \theta} } &
\displaystyle{ \frac{\partial }{\partial \varphi} } \\
F_r & r F_\theta & r \sin \theta F_\varphi \Big.
\end{vmatrix}
\end{eqnarray}
円筒座標系
円筒座標系(Cylindrical coordinates system)$(\rho, \phi, z)$ では,
\begin{gather}
u_1=\rho, \ \ \ \ \ u_2=\phi, \ \ \ \ \ u_3=z
\end{gather}
とおくと,
位置ベクトル$\VEC{r}$は次のようになる.
\begin{eqnarray}
\VEC{r} = \rho ( \cos \phi \ \VEC{i} + \sin \phi \ \VEC{j} ) + z \ \VEC{k}
\end{eqnarray}
これより,
\begin{eqnarray}
\frac{\partial \VEC{r}}{\partial u_1}
&=& \frac{\partial \VEC{r}}{\partial \rho}
\nonumber \\
&=& \cos \phi \ \VEC{i} + \sin \phi \ \VEC{j}
\\
\frac{\partial \VEC{r}}{\partial u_2}
&=& \frac{\partial \VEC{r}}{\partial \phi}
\nonumber \\
&=& \rho ( -\sin \phi \ \VEC{i} + \cos \phi \ \VEC{j} )
\\
\frac{\partial \VEC{r}}{\partial u_3}
&=& \frac{\partial \VEC{r}}{\partial z}
\nonumber \\
&=& \VEC{k}
\end{eqnarray}
よって,$h_1$,$h_2$,$h_3$は,
\begin{gather}
h_1
= \sqrt{\frac{\partial \VEC{r}}{\partial u_1} \cdot \frac{\partial \VEC{r}}{\partial u_1} }
= \sqrt{\frac{\partial \VEC{r}}{\partial \rho} \cdot \frac{\partial \VEC{r}}{\partial \rho} }
= 1 \\
h_2
= \sqrt{\frac{\partial \VEC{r}}{\partial u_2} \cdot \frac{\partial \VEC{r}}{\partial u_2} }
= \sqrt{\frac{\partial \VEC{r}}{\partial \phi} \cdot \frac{\partial \VEC{r}}{\partial \phi} }
= \rho \\
h_3
= \sqrt{\frac{\partial \VEC{r}}{\partial u_3} \cdot \frac{\partial \VEC{r}}{\partial u_3} }
= \sqrt{\frac{\partial \VEC{r}}{\partial z} \cdot \frac{\partial \VEC{r}}{\partial z} }
= 1
\end{gather}
また,$\rho, \phi, z$ に沿う単位ベクトル$\VEC{u}_\rho$,$\VEC{u}_\phi$,$\VEC{u}_z$は,
上の結果より,
\begin{eqnarray}
\VEC{u}_\rho
&=& \VEC{i}_1 = \frac{1}{h_1} \frac{\partial \VEC{r}}{\partial u_1}
= \frac{\partial \VEC{r}}{\partial \rho}
= \cos \phi \ \VEC{i} + \sin \phi \ \VEC{j}
\\
\VEC{u}_\phi
&=& \VEC{i}_2 = \frac{1}{h_2} \frac{\partial \VEC{r}}{\partial u_2}
= \frac{1}{\rho} \frac{\partial \VEC{r}}{\partial \phi}
= -\sin \phi \ \VEC{i} + \cos \phi \ \VEC{j}
\\
\VEC{u}_z
&=& \VEC{i}_3 = \frac{1}{h_3} \frac{\partial \VEC{r}}{\partial u_3}
= \frac{\partial \VEC{r}}{\partial z}
= \VEC{k}
\end{eqnarray}
スカラ関数$\Phi$,
ベクトル関数$
\VEC{F} = F_\rho \VEC{u}_\rho + F_\phi \VEC{u}_\phi + F_z \VEC{u}_z$
について,
\begin{eqnarray}
\nabla \Phi
&=& \frac{\partial \Phi}{\partial \rho} \VEC{u}_\rho
+ \frac{1}{\rho} \ \frac{\partial \Phi}{\partial \phi} \VEC{u}_\phi
+ \frac{\partial \Phi}{\partial z} \VEC{u}_z
\\
\nabla ^2 \Phi
&=& \frac{1}{\rho} \ \frac{\partial }{\partial \rho}
\left( \rho \frac{\partial \Phi}{\partial \rho} \right)
+ \frac{1}{\rho ^2} \ \frac{\partial ^2 \Phi}{\partial \phi ^2}
+ \frac{\partial ^2 \Phi}{\partial z^2}
\\
\nabla \cdot \VEC{F}
&=& \frac{1}{\rho} \ \frac{\partial }{\partial \rho} \left( \rho F_\rho \right)
+ \frac{1}{\rho} \ \frac{\partial F_\phi}{\partial \phi}
+ \frac{\partial F_z}{\partial z}
\\
\nabla \times \VEC{F}
&=& \left( \frac{1}{\rho} \frac{\partial F_z}{\partial \phi}
- \frac{\partial F_\phi}{\partial z} \right) \VEC{u}_\rho
\nonumber \\
&&+ \left( \frac{\partial F_\rho}{\partial z} - \frac{\partial F_z}{\partial \rho} \right) \VEC{u}_\phi
+ \frac{1}{\rho} \left\{ \frac{\partial }{\partial \rho} (\rho F_\phi )
- \frac{\partial F_\rho}{\partial \phi} \right\} \VEC{u}_z
\nonumber \\
&=&
\begin{vmatrix}
\VEC{u}_\rho & \rho \VEC{u}_\phi & \VEC{u}_z \Big. \\
\displaystyle{ \frac{\partial }{\partial \rho} } &
\displaystyle{ \frac{\partial }{\partial \phi} } &
\displaystyle{ \frac{\partial }{\partial z} } \\
F_\rho & \rho F_\phi & F_z \Big.
\end{vmatrix}
\end{eqnarray}
直角座標系
直角座標系(Rectangular coordinates system)$(x, y, z)$ では,
\begin{gather}
u_1=x, \ \ \
u_2=y, \ \ \
u_3=z
\end{gather}
よって,
\begin{gather}
h_1=1, \ \ \
h_2=1, \ \ \
h_3=1
\end{gather}
スカラ関数$\Phi$,
ベクトル関数
$\VEC{F} = F_x \VEC{u}_x + F_y \VEC{u}_y + F_z \VEC{u}_z$
について,
\begin{eqnarray}
\nabla \Phi
&=& \frac{\partial \Phi}{\partial x} \VEC{u}_x
+ \frac{\partial \Phi}{\partial y} \VEC{u}_y
+ \frac{\partial \Phi}{\partial z} \VEC{u}_z
\\
\nabla ^2 \Phi
&=& \frac{\partial ^2 a_x}{\partial x^2}
+ \frac{\partial ^2 a_y}{\partial y^2} + \frac{\partial ^2 a_z}{\partial z^2}
\\
\nabla \cdot \VEC{F}
&=& \frac{\partial F_x}{\partial x}
+ \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}
\\
\nabla \times \VEC{F}
&=& \left( \frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z} \right) \VEC{u}_x
\nonumber \\
&&+ \left( \frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x} \right) \VEC{u}_y
+ \left( \frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y} \right) \VEC{u}_z
\nonumber \\
&=&
\begin{vmatrix}
\VEC{u}_x & \VEC{u}_y & \VEC{u}_z \Big. \\
\displaystyle{ \frac{\partial }{\partial x} } &
\displaystyle{ \frac{\partial }{\partial y} } &
\displaystyle{ \frac{\partial }{\partial z} } \\
F_x & F_y & F_z \Big.
\end{vmatrix}
\end{eqnarray}