Editing Appendix/Ramblings/DirectionCosines

__FORCETOC__ 
<!-- __NOTOC__ will force TOC off -->

=Direction Cosines=

Following [<b>[[User:Tohline/Appendix/References#MF53|<font color="red">MF53</font>]]</b>], a generalized coordinate system consists of a threefold family of surfaces whose equations in terms of Cartesian coordinates are, <math>~\xi_1(x,y,z) = </math> constant, <math>~\xi_2(x,y,z) = </math> constant, and <math>~\xi_3(x,y,z) =</math> constant.  The lines of intersection of these surfaces constitute three families of lines, in general curved.  At any point <math>~(x, y, z)</math> or <math>~(\xi_1, \xi_2, \xi_3)</math> we can place three unit vectors &#8212; <math>~(\hat\imath, \hat\jmath, \hat{k})</math> or <math>~(\hat{e}_1, \hat{e}_2, \hat{e}_3)</math>, respectively &#8212; each tangent to the corresponding coordinate line of the curvilinear system which goes through the point.

The three angles measured between any one of these unit vectors, <math>~\hat{e}_n</math>, and the three unit vectors of the Cartesian coordinate system, <math>~\hat\imath, \hat\jmath, \hat{k}</math>, are referred to as the ''direction cosines'' of the unit vector, <math>~\hat{e}_n</math>.  Specifically,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\gamma_{n1}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\hat{e}_n \cdot \hat\imath \, ,</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_{n2}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\hat{e}_n \cdot \hat\jmath \, ,</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and, &nbsp; &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_{n3}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\hat{e}_n \cdot \hat{k} \, .</math>
  </td>
</tr>
</table>

==Basic Definitions and Relations==
The three direction cosines that are associated with the unit vector, <math>~\hat{e}_n</math>, can be obtained from the defining functional relationship, <math>~\xi_n(x, y, z)</math>, and an associated "scale factor," <math>~h_n</math>, (discussed immediately below) via the expressions,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\gamma_{ni}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~h_n \frac{\partial\xi_n}{\partial x_i} \, ;</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; or, &nbsp; &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_{ni}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~h_n \frac{\partial\xi_n}{\partial x_i} \, ;</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="7">[ [[User:Tohline/Appendix/References#MF53|MF53]], <font color="#00CC00">&sect;1.3, p. 25, Eq. (1.3.5)</font> ]</td>
</tr>
</table>
depending on whether the <math>~\xi</math>'s are given in terms of <math>~x, y, z</math> or ''visa versa''.  This means that the following inverse relationship applies in general:
<div align="center">
<math>
\frac{\partial x_i}{\partial \xi_n} = h_n^2 \frac{\partial\xi_n}{\partial x_i} .
</math>
</div>

The coordinate system <math>~(\xi_1, \xi_2, \xi_3)</math> is orthogonal if all the direction cosines obey the following &hellip;

<span id="DC.01"><table align="right" border="1" cellpadding="10" width="10%">
<tr><th><font color="darkblue">DC.01</font></th></tr>
</table></span>
<table align="center" border="1" cellpadding="10" width="50%">
<tr>
  <th align="center">
<font color="blue">
General Orthogonality Condition
</font>
  </th>
</tr>
<tr>
  <td align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\sum_s \gamma_{ms}\gamma_{ns}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="right">
<math>~\sum_s \gamma_{sm}\gamma_{sn}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\delta_{mn} \, ,</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="5">[ [[User:Tohline/Appendix/References#MF53|MF53]], <font color="#00CC00">&sect;1.3, p. 23, Eq. (1.3.1)</font> ]</td>
</tr>
</table>
  </td>
</tr>
</table>

where the ''[http://en.wikipedia.org/wiki/Kronecker_delta Kronecker delta function]'', <math>~\delta_{mn}</math>, is defined such that <math>~\delta_{mn} = 1</math> if <math>~m = n</math> but <math>~\delta_{mn}=0</math> if <math>~m \ne n</math>.

==Usage==

===Scale Factors===
The above relations can be used to define the scale factors <math>~(h_1, h_2, h_3)</math>.  For example,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\sum_s \gamma_{1s}\gamma_{1s}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_s \biggl( h_1 \frac{\partial\xi_1}{\partial x_s} \biggr)^2 = 1</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow~~~ h_1^2</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl[ \biggl(\frac{\partial\xi_1}{\partial x} \biggr)^2 + \biggl(\frac{\partial\xi_1}{\partial y} \biggr)^2 + \biggl(\frac{\partial\xi_1}{\partial z} \biggr)^2 \biggr]^{-1} ;</math>
  </td>
</tr>
</table>
or,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\sum_s \gamma_{1s}\gamma_{1s}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_s \biggl( \frac{1}{h_1} \frac{\partial x_s}{\partial\xi_1} \biggr)^2 = 1</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow ~~~ h_1^2</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl[ \biggl(\frac{\partial x}{\partial\xi_1} \biggr)^2 + \biggl(\frac{\partial y}{\partial\xi_1} \biggr)^2 + \biggl(\frac{\partial z}{\partial\xi_1} \biggr)^2 \biggr] \, .</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="3">[ [[User:Tohline/Appendix/References#MF53|MF53]], <font color="#00CC00">&sect;1.3, p. 24, Eq. (1.3.4)</font> ]</td>
</tr>
</table>

===Unit Vectors===
Direction cosines can be used to switch between the basis vectors of different orthogonal coordinate systems. The defining expressions are:
<div align="center">
<math>
\hat{e}_n = \hat\imath \gamma_{n1} + \hat\jmath \gamma_{n2} + \hat{k}\gamma_{n3} ;
</math>
</div>
and,
<div align="center">
<math>
\hat\imath = \sum_{n=1,3}\hat{e}_n \gamma_{n1} ; ~~~~\mathrm{etc.}
</math>
</div>

More explicitly, this last expression(s) implies,
<table align="center" border="0" cellpadding="5">
<tr>
  <td align="right">
<math>
\hat\imath
</math>
  </td>
  <td align="center">
<math>
=
</math>
  </td>
  <td align="left">
<math>
\hat{e}_1 \gamma_{11} + \hat{e}_2 \gamma_{21} + \hat{e}_3 \gamma_{31} ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>
\hat\jmath
</math>
  </td>
  <td align="center">
<math>
=
</math>
  </td>
  <td align="left">
<math>
\hat{e}_1 \gamma_{12} + \hat{e}_2 \gamma_{22} + \hat{e}_3 \gamma_{32} ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>
\hat{k}
</math>
  </td>
  <td align="center">
<math>
=
</math>
  </td>
  <td align="left">
<math>
\hat{e}_1 \gamma_{13} + \hat{e}_2 \gamma_{23} + \hat{e}_3 \gamma_{33} ;
</math>
  </td>
</tr>
</table>
notice that we have liberally used the idea that, for orthogonal systems, <math>~\gamma_{nm} = \gamma_{mn}</math>.

===Orthogonality===
How can we check to make sure that the coordinate <math>\xi_1</math> is everywhere orthogonal to the coordinate <math>\xi_2</math>?  Well, for an orthogonal system, the unit vectors should be everywhere perpendicular to one another, that is, the dot product of two (different) unit vectors should be zero at all coordinate positions.  Drawing on the above unit-vector transformation expressions, this means that, for <math>m \ne n</math>,
<div align="center">
<math>
\hat{e}_m \cdot \hat{e}_n = \biggl[ \hat\imath \gamma_{m1} + \hat\jmath \gamma_{m2} + \hat{k}\gamma_{m3} \biggr] \cdot \biggl[ \hat\imath \gamma_{n1} + \hat\jmath \gamma_{n2} + \hat{k}\gamma_{n3} \biggr] = \gamma_{m1}\gamma_{n1} + \gamma_{m2}\gamma_{n2} + \gamma_{m1}\gamma_{n2} = 0 
</math><br />

<math>
\Rightarrow ~~~~~ \sum_{s=1}^3 \gamma_{ms}\gamma_{ns} = 0 .
</math>
</div>
This is precisely the condition enforced on direction cosines in conjunction with their definition, shown above as [[User:Tohline/Appendix/Ramblings/DirectionCosines#DC.01|Equation DC.01]].  Notice as well that, when <math>~m = n</math>, Equation DC.01 is equivalent to the statement, <math>~\hat{e}_m\cdot \hat{e}_m = 1</math>.

Here we'll illustrate how orthogonality can be checked for any axisymmetric coordinate system; that is, we'll examine behavior only in the <math>~(\varpi,z)</math> plane.  First, note that,
<div align="center">
<math>
\frac{\partial\varpi}{\partial x} = \frac{\partial}{\partial x} (x^2 + y^2)^{1/2} = \frac{x}{\varpi} ,
</math>
</div>
and,
<div align="center">
<math>
\frac{\partial\varpi}{\partial y} = \frac{\partial}{\partial x} (x^2 + y^2)^{1/2} = \frac{y}{\varpi} ,
</math>
</div>
Hence,
<div align="center">
<math>
\frac{\partial\xi_i}{\partial x} = \frac{\partial\xi_i}{\partial \varpi}\frac{\partial\varpi}{\partial x} = \biggl(\frac{x}{\varpi}\biggr) \frac{\partial\xi_i}{\partial \varpi} ,
</math>
</div>
and,
<div align="center">
<math>
\frac{\partial\xi_i}{\partial y} = \frac{\partial\xi_i}{\partial \varpi}\frac{\partial\varpi}{\partial y} = \biggl(\frac{y}{\varpi}\biggr) \frac{\partial\xi_i}{\partial \varpi} .
</math>
</div>
Therefore also,
<div align="center">
<math>
\biggl( \frac{\partial\xi_i}{\partial x}  \biggr)^2 + \biggl( \frac{\partial\xi_i}{\partial y }  \biggr)^2 = \biggl( \frac{\partial\xi_i}{\partial\varpi} \biggr)^2
</math><br />

<math>
\Rightarrow ~~~~~ h_i^2 =  \biggl[ \biggl(\frac{\partial\xi_i}{\partial \varpi} \biggr)^2 + \biggl(\frac{\partial\xi_i}{\partial z} \biggr)^2 \biggr]^{-1} .
</math>

</div>

The relationship between the direction cosines when <math>m \ne n</math> gives a key orthogonality condition.  Take, for example, <math>~m=1</math> and <math>~n=2</math>:
<div align="center">
<math>~\sum_s \gamma_{1s}\gamma_{2s} = 0 .</math>
</div>
This means that if <math>~\xi_1</math> is orthogonal to <math>~\xi_2</math>,
<div align="center">
<math>~
h_1 \frac{\partial\xi_1}{\partial x} \cdot h_2 \frac{\partial\xi_2}{\partial x} + 
h_1 \frac{\partial\xi_1}{\partial y} \cdot h_2 \frac{\partial\xi_2}{\partial y} + 
h_1 \frac{\partial\xi_1}{\partial z} \cdot h_2 \frac{\partial\xi_2}{\partial z}= 0
</math><br /><br />

<math>
\Rightarrow ~~~~~ 
h_1 h_2\biggl[ \biggl( \frac{x^2}{\varpi^2} \biggr) \frac{\partial\xi_1}{\partial \varpi} \cdot  \frac{\partial\xi_2}{\partial \varpi} + 
\biggl( \frac{y^2}{\varpi^2} \biggr) \frac{\partial\xi_1}{\partial \varpi} \cdot \frac{\partial\xi_2}{\partial \varpi} + 
\frac{\partial\xi_1}{\partial z} \cdot \frac{\partial\xi_2}{\partial z} \biggr] = 0 .

</math>
</div>

Hence,
<span id="DC.02"><table align="right" border="1" cellpadding="10" width="10%">
<tr><th><font color="darkblue">DC.02</font></th></tr>
</table></span>
<table align="center" border="1" cellpadding="10">
<tr>
  <th align="center">
<font color="blue">
An Example Orthogonality Condition
</font>
  </th>
</tr>
<tr>
  <td align="center">
<math>
\frac{\partial\xi_1}{\partial \varpi} \cdot  \frac{\partial\xi_2}{\partial \varpi} = - 
\frac{\partial\xi_1}{\partial z} \cdot \frac{\partial\xi_2}{\partial z} .
</math>
  </td>
</tr>
</table>

===Position Vector===
Employing the unit-vector transformation relations tells us that in general the position vector is,
<table align="center" border="0" cellpadding="5">
<tr>
  <td align="right">
<math>
\vec{x}
</math>
  </td>
  <td align="center">
<math>
=
</math>
  </td>
  <td align="left">
<math>
\hat\imath x + \hat\jmath y + \hat{k}z
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>
=
</math>
  </td>
  <td align="left">
<math>
(\hat{e}_1 \gamma_{11} + \hat{e}_2 \gamma_{21} + \hat{e}_3 \gamma_{31}) x + (\hat{e}_1 \gamma_{12} + \hat{e}_2 \gamma_{22} + \hat{e}_3 \gamma_{32})y + (\hat{e}_1 \gamma_{13} + \hat{e}_2 \gamma_{23} + \hat{e}_3 \gamma_{33})z
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>
=
</math>
  </td>
  <td align="left">
<math>
\hat{e}_1(x\gamma_{11} + y\gamma_{12} + z\gamma_{13} ) + \hat{e}_2(x\gamma_{21}  +  y\gamma_{22} + z\gamma_{23} ) + \hat{e}_3 (x\gamma_{31}  + y\gamma_{32}  + z \gamma_{33}) .
</math>
  </td>
</tr>
</table>

=See Also=

<ul>
<li>[[User:Tohline/Appendix/Ramblings/EllipticCylinderCoordinates|Elliptic Cylinder Coordinates]]</li>
</ul>


{{ SGFfooter }}